Extending constraint logic programming with open functions
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Intelligent Information Integration as a Constraint Handling Problem
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning with Open Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
Hi-index | 0.00 |