Sebanyak 5 item atau buku ditemukan
Selected Papers
4.3 SPIRIT - LOG ( L ) In SPIRIT - LOG ( L ) , C ' specifies that each candidate logical sequence must be legal w.r.t. a ... ( except that we are reasoning on predicate symbols instead of items ) and mainly rely on the following fact .
Proceedings of the Fifth International Conference and Symposium
These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory.Logic Programming is included in the Logic Programming series Research Reports and Notes, edited by Ehud Shapiro.
495-572 in Computing Power and Legal Reasoning ( Ed . Charles Walter ) West Publishing Company , 1985. This contains a fuller account of the process of normalization and the features of the NORMALIZER program .
Proceedings of the ... International Workshop
The next example describes how MDLP can deal with collision principles , e.g. found in legal reasoning , such as Lex Superior ( Lex Superior Derogat Legi Inferiori ) according to which the rule issued by a higher hierarchical authority ...
... International Workshop, LOPSTR ... Selected Papers
To emphasize the " compositional reasoning " methodology followed , we have structured it in subsections . ... ( unif - legal - pr upl op ) , checking the conditions needed to apply a given operator op to a unification problem upl ( in ...
This feature seems to be particularly important in legal reasoning , since it is generally assumed that legal norms are generally incoherent and conflicting because legal norms can be issued by different authorities at different times ...
