Synonymous theories and knowledge representations in answer set programming
From MaRDI portal
Publication:414849
DOI10.1016/j.jcss.2011.02.013zbMath1250.68254OpenAlexW2008292271MaRDI QIDQ414849
Publication date: 11 May 2012
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2011.02.013
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (5)
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ Abstraction for non-ground answer set programs ⋮ A first order nonmonotonic extension of constructive logic ⋮ Reducible Theories and Amalgamations of Models
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synonymous theories and knowledge representations in answer set programming
- A first order nonmonotonic extension of constructive logic
- Equilibrium logic
- Logic programming. 19th international conference, ICLP 2003, Mumbai, India, December 9--13, 2003. Proceedings
- Intuitionistic logic and implicit definability
- Extending and implementing the stable model semantics
- On the intertranslatability of non-monotonic logics
- Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings
- Logic programming and nonmonotonic reasoning. 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6--8, 2004. Proceedings
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
- Properties Preserved under Definitional Equivalence and Interpretations
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Characterization of strongly equivalent logic programs in intermediate logics
- Weight constraints as nested expressions
- Diagnostic reasoning with A-Prolog
- Logic Programming
- Unfolding partiality and disjunctions in stable model semantics
- The DLV system for knowledge representation and reasoning
- Open answer set programming with guarded programs
- Logics in Artificial Intelligence
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- A Characterization of Strong Equivalence for Logic Programs with Variables
- Partial Functions and Equality in Answer Set Programming
- Computable Functions in ASP: Theory and Implementation
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- Safe Formulas in the General Theory of Stable Models (Preliminary Report)
- Measurement: An essay in philosophy of science1
- Strongly equivalent logic programs
- Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17--19, 2001. Proceedings
This page was built for publication: Synonymous theories and knowledge representations in answer set programming
