Synonymous theories and knowledge representations in answer set programming
This work introduces the concept of synonymy and elaborates on it. In a first concise part, six general desiderata for synonymous theories in (possibly non-montonic) knowledge representation are given. The article then focuses on the particular formalism of first-order theories under the equilibrium (or answer set) semantics and develops a theory of synonymy for it. The Beth property, a condition under which two definitions of definability are equivalent for a logic and and which should allow for generalizing the obtained theory also to other formalisms, plays a central role. Finally, the authors also provide a case study in which the developed theory is used for showing that two formalizations of descriptions of dynamic systems are equivalent, which is in itself a nontrivial result.
- On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications
- On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy
- Logics of synonymy
- Propositional theories are strongly equivalent to logic programs
- Syntax versus semantics in knowledge bases – I
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
- A Characterization of Strong Equivalence for Logic Programs with Variables
- A first order nonmonotonic extension of constructive logic
- Characterization of strongly equivalent logic programs in intermediate logics
- Computable Functions in ASP: Theory and Implementation
- Diagnostic reasoning with A-Prolog
- Equilibrium logic
- Extending and implementing the stable model semantics
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 3821696 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 3550662 (Why is no real title available?)
- scientific article; zbMATH DE number 1215466 (Why is no real title available?)
- scientific article; zbMATH DE number 1884383 (Why is no real title available?)
- scientific article; zbMATH DE number 1890629 (Why is no real title available?)
- scientific article; zbMATH DE number 3250542 (Why is no real title available?)
- scientific article; zbMATH DE number 3349803 (Why is no real title available?)
- scientific article; zbMATH DE number 3349804 (Why is no real title available?)
- Interpolation in superintuitionistic predicate logics with equality
- Intuitionistic logic and implicit definability
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17--19, 2001. Proceedings
- Logic programming and nonmonotonic reasoning. 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6--8, 2004. Proceedings
- Logic programming. 19th international conference, ICLP 2003, Mumbai, India, December 9--13, 2003. Proceedings
- Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings
- Logics in Artificial Intelligence
- Measurement: An essay in philosophy of science1
- On the intertranslatability of non-monotonic logics
- Open answer set programming with guarded programs
- Partial Functions and Equality in Answer Set Programming
- Properties Preserved under Definitional Equivalence and Interpretations
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- Safe Formulas in the General Theory of Stable Models (Preliminary Report)
- Strongly equivalent logic programs
- Synonymous theories and knowledge representations in answer set programming
- The DLV system for knowledge representation and reasoning
- Unfolding partiality and disjunctions in stable model semantics
- Weight constraints as nested expressions
- Meta-logic programming for a synonymy logic
- scientific article; zbMATH DE number 4166918 (Why is no real title available?)
- Synonymous theories and knowledge representations in answer set programming
- Reducible Theories and Amalgamations of Models
- Abstraction for non-ground answer set programs
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
- An experiment with anthem: semantic equivalence of tiling programs
- Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
- On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy
- A first order nonmonotonic extension of constructive logic
This page was built for publication: Synonymous theories and knowledge representations in answer set programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q414849)
