The Automation of a Practical Reasoning System Based on Concepts in Deontic Logic
Title | The Automation of a Practical Reasoning System Based on Concepts in Deontic Logic PDF eBook |
Author | Michael Lewis |
Publisher | |
Pages | 48 |
Release | 1986 |
Genre | Deontic logic |
ISBN |
Artificial Intelligence Abstracts
Title | Artificial Intelligence Abstracts PDF eBook |
Author | |
Publisher | |
Pages | 660 |
Release | 1987 |
Genre | Artificial intelligence |
ISBN |
A User's Manual for D-Prolog
Title | A User's Manual for D-Prolog PDF eBook |
Author | Donald Nute |
Publisher | |
Pages | 70 |
Release | 1988 |
Genre | Prolog (Computer program language) |
ISBN |
Conference on Artificial Intelligence for Space Applications
Title | Conference on Artificial Intelligence for Space Applications PDF eBook |
Author | |
Publisher | |
Pages | 764 |
Release | 1986 |
Genre | Artificial intelligence |
ISBN |
NASA Conference Publication
Title | NASA Conference Publication PDF eBook |
Author | |
Publisher | |
Pages | 762 |
Release | 1986 |
Genre | Aeronautics |
ISBN |
Automation of Legal Reasoning
Title | Automation of Legal Reasoning PDF eBook |
Author | P. Wahlgren |
Publisher | Springer |
Pages | 448 |
Release | 1992-10-07 |
Genre | Computers |
ISBN |
This book provides an analysis of the development which has lead up to the formation of a joint field of artificial intelligence and law. It discusses the basic foundations and also addresses the future prospects of the discipline. The author formulates a design approach for advanced Artificial Intelligence systems for law, and concludes with a discussion about the potentialities and the consequences of future development.
Rules and Reasoning
Title | Rules and Reasoning PDF eBook |
Author | Guido Governatori |
Publisher | Springer Nature |
Pages | 310 |
Release | 2022-12-13 |
Genre | Computers |
ISBN | 3031215419 |
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation.