The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase uniform equivalence (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-2007 (16) 2008-2019 (6)
Publication types (Num. hits)
article(3) inproceedings(19)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 7 keywords

Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
98Thomas Eiter, Michael Fink 0001 Uniform Equivalence of Logic Programs under the Stable Model Semantics. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics
85Michael Fink 0001 Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF uniform equivalence, knowledge representation, program optimization, answer-set programming
58Stefan Woltran Characterizations for Relativized Notions of Equivalence in Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Katsumi Inoue, Chiaki Sakama Equivalence of Logic Programs Under Updates. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Yehoshua Sagiv Optimizing Datalog Programs. Search on Bibsonomy PODS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF DATALOG
44Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40David Pearce 0001, Agustín Valverde Uniform Equivalence for Equilibrium Logic and Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Miroslaw Truszczynski Strong and uniform equivalence of nonmonotonic theories - an algebraic approach. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 06B99
30Johannes Oetsch, Hans Tompits Program Correspondence under the Answer-Set Semantics: The Non-ground Case. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. Search on Bibsonomy FoIKS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Peter T. Wood On the Equivalence of XML Patterns. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Thomas Eiter, Michael Fink 0001, Stefan Woltran Semantical characterizations and complexity of equivalences in answer set programming. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
20Hans Tompits, Stefan Woltran Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Wolfgang Faber 0001, Michael Morak, Stefan Woltran On Uniform Equivalence of Epistemic Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Johannes Oetsch, Hans Tompits, Stefan Woltran Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
17Miroslaw Truszczynski Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
17Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
14Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran Simplifying Logic Programs Under Uniform and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Agustín Valverde tabeql: A Tableau Based Suite for Equilibrium Logic. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
9Miroslaw Truszczynski, Stefan Woltran Relativized Hyperequivalence of Logic Programs for Modular Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license