Synonymous theories and knowledge representations in answer set programming
From MaRDI portal
Publication:414849
Recommendations
- 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
Cites work
- 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?)
- $\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
- 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
Cited in
(8)- A first order nonmonotonic extension of constructive logic
- Synonymous theories and knowledge representations in answer set programming
- scientific article; zbMATH DE number 4166918 (Why is no real title available?)
- Abstraction for non-ground answer set programs
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
- On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy
- Reducible Theories and Amalgamations of Models
- Meta-logic programming for a synonymy 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)
