The mathematics of inheritance systems
The mathematics of inheritance systems
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Signed data dependencies in logic programs
Journal of Logic Programming
A skeptical theory of inheritance in nonmonotonic semantic networks
Artificial Intelligence
Logic programming: systematic program development
Logic programming: systematic program development
Logic programs with classical negation
Logic programming
Formalization of inheritance reasoning in autoepistemic logic
Fundamenta Informaticae
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Resolving ambiguity in nonmonotonic inheritance hierarchies
Artificial Intelligence
A study of nonmonotonic reasoning
A study of nonmonotonic reasoning
Well founded semantics for logic programs with explicit negation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
A monotonicity theorem for extended logic programs
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
On consistency and completeness of autoepistemic theories
Fundamenta Informaticae
On the occur-check-free PROLOG programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some direct theories of nonmonotonic inheritance
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Proceedings of the eleventh international conference on Logic programming
Language independence and language tolerance in logic programs
Proceedings of the eleventh international conference on Logic programming
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Foundations of logic programming
Principles of knowledge representation
From functional specifications to logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Reasoning with Logic Programming
Reasoning with Logic Programming
Proving Termination of General Prolog Programs
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Nonmonotonic Inheritance, Argumentation and Logic Programming
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A default interpretation of defeasible network
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Temporal Many-Valued Logic for Real Time Control Systems
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
On Testing Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Annotating answer-set programs in lana*
Theory and Practice of Logic Programming
Hi-index | 0.00 |
The main goal of this paper is to illustrate applications of some recent developments in the theory of logic programming to knowledge representation and reasoning in common sense domains. We are especially interested in better understanding the process of development of such representations together with their specifications. We build on the previous work of Gelfond and Przymusinska in which the authors suggest that, at least in some cases, a formal specification of the domain can be obtained from specifications of its parts by applying certain operators on specifications called specification constructors and that a better understanding of these operators can substantially facilitate the programming process by providing the programmer with a useful heuristic guidance. We discuss some of these specification constructors and their realization theorems which allow us to transform specifications built by applying these constructors to declarative logic programs. Proofs of two such theorems, previously announced in a paper by Gelfond and Gabaldon, appear here for the first time. The method of specifying knowledge representation problems via specification constructors and of using these specifications for the development of their logic programming representations is illustrated by design of a simple, but fairly powerful program representing simple hierarchical domains.