Program Correspondence under the Answer-Set Semantics: The Non-ground Case

DOI10.1007/978-3-540-89982-2_49zbMATH Open1185.68173OpenAlexW1523341975MaRDI QIDQ5504682FDOQ5504682

Authors: Johannes Oetsch, Hans Tompits 

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_49

Recommendations

• On structural analysis of non-ground answer-set programs
• Abstraction for non-ground answer set programs
• Abstraction for non-ground answer set programs
• scientific article; zbMATH DE number 6536279
• Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
• Answer set programming in intuitionistic logic
• The power of non-ground rules in Answer Set Programming
• A Tarskian informal semantics for answer set programming
• Semantical characterizations and complexity of equivalences in answer set programming
• Equivalence Between Answer-Set Programs Under (Partially) Fixed Input

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Strong equivalence made easy: nested expressions and weight constraints
• The DLV system for knowledge representation and reasoning
• Strongly equivalent logic programs
• Circumscription - a form of non-monotonic reasoning
• Logic Programming
• Unfolding partiality and disjunctions in stable model semantics
• Logics in Artificial Intelligence
• A Characterization of Strong Equivalence for Logic Programs with Variables
• Logics in Artificial Intelligence
• Logic Programming

Cited In (6)

• Exploring relations between answer set programs
• Model-based recasting in answer-set programming
• The power of non-ground rules in Answer Set Programming
• Abstraction for non-ground answer set programs
• Modular answer set programming as a formal specification language
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs

This page was built for publication: Program Correspondence under the Answer-Set Semantics: The Non-ground Case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504682)