Synonymous theories and knowledge representations in answer set programming

DOI10.1016/J.JCSS.2011.02.013zbMATH Open1250.68254OpenAlexW2008292271MaRDI QIDQ414849FDOQ414849

Authors: D. Pearce, A. Valverde 

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

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

zbMATH Keywords

answer set programmingequilibrium logicBeth propertyinterpretability theorysynonymous theories

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Logic in computer science (03B70)

Cites Work

• Extending and implementing the stable model semantics
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Weight constraints as nested expressions
• The DLV system for knowledge representation and reasoning
• 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)
• Strongly equivalent logic programs
• Equilibrium logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistic logic and implicit definability
• Title not available (Why is that?)
• Logic programming. 19th international conference, ICLP 2003, Mumbai, India, December 9--13, 2003. Proceedings
• 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
• Interpolation in superintuitionistic predicate logics with equality
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
• Title not available (Why is that?)
• Synonymous theories and knowledge representations in answer set programming
• Properties Preserved under Definitional Equivalence and Interpretations
• Title not available (Why is that?)
• Characterization of strongly equivalent logic programs in intermediate logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diagnostic reasoning with A-Prolog
• Logic Programming
• Unfolding partiality and disjunctions in stable model semantics
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Measurement: An essay in philosophy of science1
• Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17--19, 2001. Proceedings
• A first order nonmonotonic extension of constructive logic

Cited In (8)

• Synonymous theories and knowledge representations in answer set programming
• Abstraction for non-ground answer set programs
• A first order nonmonotonic extension of constructive logic
• On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy
• Title not available (Why is that?)
• Meta-logic programming for a synonymy logic
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
• Reducible Theories and Amalgamations of Models

Uses Software

• f2lp

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)