Sebanyak 9 item atau buku ditemukan

Inductive Logic Programming

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 .

Logic Programming

Proceedings of the 1994 International Symposium

November 13-17, 1994, Ithaca, New York The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis. Logic Programming series, Research Reports and Notes

Journal of Automated Reasoning , 11 ( 1 ) : 43–81 , August 1993 . ... A linguage for legal discourse I : basic features . In Proceedings of the Second International Conference on Artificial Intelligence and Law , pages 180-189 .

Logic Programming and Automated Reasoning

International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : Proceedings

This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.The topics of interest covered by papers inthe volumeinclude automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics.LPAR '92 is the successor of the First and Second RussianConferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedinLNAI Vol. 592.

We require that all the di occur in t since all arguments of f were certainly meant for relevance . f must not be ... a candidate term means to check whether the outer structure of the term corresponds to a legal rule in the context of ...

Logic Programming and Automated Reasoning

... International Conference, LPAR ... : Proceedings

We require that all the ai occur in t since all arguments of f were certainly meant for relevance . f must not be ... a candidate term means to check whether the outer structure of the term corresponds to a legal rule in the context of ...

Logic Programming

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 .

Logic Programming

Proceedings of the 1990 North American Conference

OCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASOCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASTheory and Foundations. Metaprogramming. Constraints. Implementations, Architecture. Deductive Databases. Language Issues. Relation to Other Paradigms. Parallelism, Concurrency. Compilation Techniques. Applications.

Several researchers have investigated the properties of these " embedded implications ” [ 11 , 10 , 14 , 15 , 17 , 2 ) , and have shown them to be useful for hypothetical reasoning ( 3 ) , for legal reasoning ( 16 ) , for modular logic ...

Logic Programming and Non-monotonic Reasoning

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 ...

Non-monotonic Extensions of Logic Programming

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 ...

Logic Programming '86

Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.

LEGAL EXPERT SYSTEM LES - 2 H. Yoshino , S. Kagayama , S. Ohta , M. Kitahara , H. Kondoh , M. Nakakawaji ... It was the 1st version of this system and it was developed as a reasoning system for substantial law ( Japanese civil law ) .