The structure of norm conditions and nonmonotonic reasoning in law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Inheritance as sublation and its semantics
ACM SIGSOFT Software Engineering Notes
The systematization of legal meta-inference
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Semantics for update rule programs and implementation in a relational database management system
ACM Transactions on Database Systems (TODS)
Applying restriction constraints to deductive databases
Annals of Mathematics and Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Qualified Answers That Reflect User Needs and Preferences
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Representing defaults and negative information without negation-as-failure
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A rule based knowledge transaction model for mobile environments
Information Sciences: an International Journal
| Hi-index | 0.00 |