Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
A New Logical Characterisation of Stable Models and Answer Sets
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
A Tableau Calculus for Equilibrium Entailment
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Testing the Equivalence of Logic Programs under Stable Model Semantics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Strong Equivalence for Logic Programs and Default Theories (Made Easy)
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Equivalence in Answer Set Programming
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
A three-valued characterization for strong equivalence of logic programs
Eighteenth national conference on Artificial intelligence
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming
Strong equivalence made easy: nested expressions and weight constraints
Theory and Practice of Logic Programming
Characterization of strongly equivalent logic programs in intermediate logics
Theory and Practice of Logic Programming
Weight constraints as nested expressions
Theory and Practice of Logic Programming
Ordering default theories and nonmonotonic logic programs
Theoretical Computer Science
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
Annals of Mathematics and Artificial Intelligence
Updates in answer set programming: An approach based on basic structural properties
Theory and Practice of Logic Programming
A common view on strong, uniform, and other notions of equivalence in answer-set programming*
Theory and Practice of Logic Programming
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
Redundancy in logic III: Non-monotonic reasoning
Artificial Intelligence
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
Semantic forgetting in answer set programming
Artificial Intelligence
Guarded hybrid knowledge bases12
Theory and Practice of Logic Programming
Strongly Equivalent Temporal Logic Programs
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Meta Level Reasoning and Default Reasoning
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Rule Calculus: Semantics, Axioms and Applications
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Quo Vadis Answer Set Programming?
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Quantified Equilibrium Logic and Foundations for Answer Set Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Relativized Hyperequivalence of Logic Programs for Modular Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Program Correspondence under the Answer-Set Semantics: The Non-ground Case
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Strong equivalence of logic programs under the infinite-valued semantics
Information Processing Letters
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc T
Applications of Declarative Programming and Knowledge Management
Hyperequivalence of logic programs with respect to supported models
Annals of Mathematics and Artificial Intelligence
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
Skepticism relations for comparing argumentation semantics
International Journal of Approximate Reasoning
Formal Properties of Modularisation
Modular Ontologies
Modular Equivalence for Normal Logic Programs
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Modular Equivalence in General
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Merging Logic Programs under Answer Set Semantics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On Reductive Semantics of Aggregates in Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A Default Approach to Semantics of Logic Programs with Constraint Atoms
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Well-Founded and Partial Stable Semantics Logical Aspects
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Properties of programs with monotone and convex constraints
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Generality and equivalence relations in default logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The modal logic S4F, the default logic, and the logic here-and-there
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Hyperequivalence of logic programs with respect to supported models
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
What is answer set programming?
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Properties and applications of programs with monotone and convex constraints
Journal of Artificial Intelligence Research
Discovering classes of strongly equivalent logic programs
Journal of Artificial Intelligence Research
Sound and complete inference rules for SE-consequence
Journal of Artificial Intelligence Research
Complexity results for checking equivalence of stratified logic programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A logic program characterization of causal theories
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
From answer set logic programming to circumscription via logic of GK
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
On solution correspondences in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Strong equivalence for logic programs with preferences
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Equivalence in abductive logic
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Discovering classes of strongly equivalent logic programs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Solving logic program conflict through strong and weak forgettings
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence
Answer Sets in a Fuzzy Equilibrium Logic
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Relativized hyperequivalence of logic programs for modular programming
Theory and Practice of Logic Programming
Complexity of rule redundancy in non-ground answer-set programming over finite domains
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
A characterization of strong equivalence for logic programs with variables
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Modularity in SMODELS programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Quantified equilibrium logic and hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A stronger notion of equivalence for logic programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Annals of Mathematics and Artificial Intelligence
Towards closed world reasoning in dynamic open worlds
Theory and Practice of Logic Programming
A program-level approach to revising logic programs under the answer set semantics
Theory and Practice of Logic Programming
On Semantic Update Operators for Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A normal form for linear temporal equilibrium logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A logical semantics for description logic programs
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Parametrized logic programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Stable models and circumscription
Artificial Intelligence
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
A possibilistic intuitionistic logic
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
A logical characterisation of ordered disjunction
AI Communications - Answer Set Programming
Guarded resolution for answer set programming
Theory and Practice of Logic Programming
Thirteen definitions of a stable model
Fields of logic and computation
Exploring relations between answer set programs
Logic programming, knowledge representation, and nonmonotonic reasoning
Strong equivalence of logic programs with abstract constraint atoms
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Back and forth between rules and SE-models
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Termination of grounding is not preserved by strongly equivalent transformations
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Parametrized equilibrium logic
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Characterizing strong equivalence for argumentation frameworks
Artificial Intelligence
First-order satisfiability in Gödel logics: An NP-complete fragment
Theoretical Computer Science
Answer set programming at a glance
Communications of the ACM
The modal logic of equilibrium models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Synonymous theories and knowledge representations in answer set programming
Journal of Computer and System Sciences
Towards implementations for advanced equivalence checking in answer-set programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A sufficient condition for strong equivalence under the well-founded semantics
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
On modular translations and strong equivalence
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Guarded open answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Answer sets for propositional theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Nested epistemic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Routley semantics for answer sets
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Testing strong equivalence of datalog programs – implementation and examples
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
SELP – a system for studying strong equivalence between logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Answer set general theories and preferences
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
On the logic and computation of partial equilibrium models
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An implementation for recognizing rule replacements in non-ground answer-set programs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
cc⊤: a correspondence-checking tool for logic programs under the answer-set semantics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Reducing propositional theories in equilibrium logic to logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Strong negation in well-founded and partial stable semantics for logic programs
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Generality relations in answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Guarded open answer set programming with generalized literals
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Inductive equivalence of logic programs
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Possibilistic semantics for logic programs with ordered disjunction
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Datalog programs and their stable models
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Equivalence between extended datalog programs -- a brief survey
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Interpolable formulas in equilibrium logic and answer set programming
Journal of Artificial Intelligence Research
First-order extension of the FLP stable model semantics via modified circumscription
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Here and there among logics for logic programming
Correct Reasoning
Strong equivalence of RASP programs
Correct Reasoning
Correct Reasoning
Disjunctive programs with set constraints
Correct Reasoning
Journal of Artificial Intelligence Research
Dealing with explicit preferences and uncertainty in answer set programming
Annals of Mathematics and Artificial Intelligence
Deciding the bisimilarity relation between datalog goals
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Relational theories with null values and non-herbrand stable models
Theory and Practice of Logic Programming
A Model-Theoretic Approach to Belief Change in Answer Set Programming
ACM Transactions on Computational Logic (TOCL)
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Rule revision in normal DL logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Action language BC: preliminary report
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Forgetting for answer set programs revisited
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Strong equivalence of qualitative optimization problems
Journal of Artificial Intelligence Research
Nested Weight Constraints in ASP
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.02 |
A logic program P1 is said to be equivalent to a logic program P2 in the sense of the answer set semantics if P1 and P2 have the same answer sets. We are interested in the following stronger condition: for every logic program, P, P1, ∪ P has the same answer sets as P2 ∪ P. The study of strong equivalence is important, because we learn from it how one can simplify a part of a logic program without looking at the rest of it. The main theorem shows that the verification of strong equivalence can be accomplished by cheching the equivalence of formulas in a monotonic logic, called the logic of here-and-there, which is intermediate between classical logic and intuitionistic logic.