On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation

ISSN： 0924-8463

Source： Artificial Intelligence and Law, Vol.5, Iss.1-2, 1997-03, pp. : 77-96

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A predicate-ordered logic for knowledge representation on the web

By Qu Y.

Future Generation Computer Systems, Vol. 20, Iss. 1, 2004-01 ,pp. : 19-26

Elsevier

Access to resources Recommend Favorite

Knowledge representation with multiple logical theories and time

By Mancarella Paolo Raffaeta Alessandra Turini Franco

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 11, Iss. 1, 1999-01 ,pp. : 47-76

Taylor & Francis Ltd

Access to resources Recommend Favorite

Logical foundations of CafeOBJ

By Diaconescu R. Futatsugi K.

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 289-318

Elsevier

Access to resources Recommend Favorite

Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets

International Journal of Web Services Research (IJWSR), Vol. 3, Iss. 4, 2006-10 ,pp. : 1-31

IGI Global_journal

Access to resources Recommend Favorite

Knowledge Representation

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 13, Iss. 2, 2001-04 ,pp. : 163-168

Taylor & Francis Ltd

Access to resources Recommend Favorite