The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
On the problem of computing the well-founded semantics
Theory and Practice of Logic Programming
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)
Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
A framework for representing and solving NP search problems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Satisfiability checking for PC(ID)
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
FO(ID) as an Extension of DL with Rules
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A logical framework for configuration software
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A Deductive System for FO(ID) Based on Least Fixpoint Logic
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Cp-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
SAT(ID): satisfiability of propositional logic extended with inductive definitions
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
FO(ID) as an extension of DL with rules
Annals of Mathematics and Artificial Intelligence
Grounding FO and FO(ID) with bounds
Journal of Artificial Intelligence Research
An approximative inference method for solving ∃∀SO satisfiability problems
Journal of Artificial Intelligence Research
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
Approximation theory is a fixpoint theory of general (monotone and non-monotone) operators which generalizes all main semantics of logic programming, default logic and autoepistemic logic. In this paper, we study inductive constructions using operators and show their confluence to the well-founded fixpoint of the operator. This result is one argument for the thesis that Approximation theory is the fixpoint theory of certain generalised forms of (non-monotone) induction. We also use the result to derive a new, more intuitive definition of the wellfounded semantics of logic programs and the semantics of ID-logic, which moreover is easier to implement in model generators.