The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Answer-set semantics (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-2002 (18) 2003-2004 (27) 2005 (16) 2006 (18) 2007 (24) 2008 (18) 2009 (17) 2010-2014 (15) 2015-2019 (5)
Publication types (Num. hits)
article(27) incollection(1) inproceedings(130)
Venues (Conferences, Journals, ...)
LPNMR(27) ICLP(21) JELIA(13) ACM Trans. Comput. Log.(7) CoRR(5) ECSQARU(5) SUM(5) RR(4) TPLP(4) Answer Set Programming(3) FoIKS(3) LPAR(3) RuleML(3) Ann. Math. Artif. Intell.(2) CILC(2) CLIMA(2) More (+10 of total 57)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 81 occurrences of 40 keywords

Results
Found 158 publication records. Showing 158 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
82Jie Wang, Chunnian Liu Fuzzy Constraint Logic Programming with Answer Set Semantics. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Logic Program, Fuzzy Constraint, Answer Set Semantics
72Emad Saad Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics. Search on Bibsonomy SUM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
71Thomas Lukasiewicz Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. Search on Bibsonomy RuleML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69Vernon Asuncion, Yan Zhang 0003 Translating Preferred Answer Set Programs to Propositional Logic. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF prioritized logic programs, answer set computations, answer set semantics
61Mingyi Zhang, Ying Zhang, Fangzhen Lin A characterization of answer sets for logic programs. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2007 DBLP  DOI  BibTeX  RDF nested logic programming, characterization of answer sets, completion semantics, tightness, loop formulas
61Yuting Zhao, Fangzhen Lin Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
52Thomas 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
52Enrico Pontelli, Tran Cao Son Justifications for Logic Programs Under Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits Well-Founded Semantics for Description Logic Programs in the Semantic Web. Search on Bibsonomy RuleML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. Search on Bibsonomy ASWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt Rule-Based Approaches for Representing Probabilistic Ontology Mappings. Search on Bibsonomy URSW (LNCS Vol.) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
41Johannes 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
41Christian Anger, Kathrin Konczak, Thomas Linke NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
41Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir Open answer set programming with guarded programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fixed-point logic, open domains, Answer set programming
40Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Johannes 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
39Yuliya Lierler, Marco Maratea Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Hirohisa Seki On Negative Unfolding in the Answer Set Semantics. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Thomas Lukasiewicz, Umberto Straccia Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir Guarded Open Answer Set Programming with Generalized Literals. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web. Search on Bibsonomy J. Data Semantics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
37Thomas Lukasiewicz Tractable Probabilistic Description Logic Programs. Search on Bibsonomy SUM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35David Pearce 0001 Simplifying Logic Programs Under Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir Guarded Open Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Martin 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
34Christian Anger, Kathrin Konczak, Thomas Linke NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Yuliya Lierler cmodels - SAT-Based Disjunctive Answer Set Solver. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Ilkka Niemelä Answer Set Programming: A Declarative Approach to Solving Search Problems. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Gerhard Brewka Preferences, Contexts and Answer Sets. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran Merging Logic Programs under Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strong equivalence, answer set programming, belief merging
30Davy Van Nieuwenborgh, Dirk Vermeir Preferred Answer Sets for Ordered Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael Reasoning About Actions and Change in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Nicolás Madrid, Manuel Ojeda-Aciego On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs. Search on Bibsonomy WILF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Nicolás Madrid, Manuel Ojeda-Aciego Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. Search on Bibsonomy Web Intelligence/IAT Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Martin Brain Declarative Problem Solving Using Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Esra Erdem 0001, Vladimir Lifschitz Fages' Theorem for Programs with Nested Expressions. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Thomas Lukasiewicz A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Description logic programs, normal logic programs, first-order rewritability, Semantic Web, algorithms, complexity, description logics, disjunctive logic programs, well-founded semantics, answer set semantics
29Andrea Calì, Thomas Lukasiewicz An Approach to Probabilistic Data Integration for the Semantic Web. Search on Bibsonomy URSW (LNCS Vol.) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Probabilistic data integration, probabilistic description logic programs, normal programs, probabilistic uncertainty, Semantic Web, description logics, well-founded semantics, answer set semantics
29Thomas 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
29Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Reasoning about evolving nonmonotonic knowledge bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence
29Emad Saad Incomplete Knowledge in Hybrid Probabilistic Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Chiaki Sakama, Katsumi Inoue Constructing Consensus Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir An Ordered Logic Program Solver. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Implementation, Preference, Answer Set Programming
28Chiaki Sakama, Katsumi Inoue Combining Answer Sets of Nonmonotonic Logic Programs. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir An introduction to fuzzy answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30, 68T37
28Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir Fuzzy Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Thomas Lukasiewicz Probabilistic Description Logic Programs. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Deborah East, Miroslaw Truszczynski Predicate-calculus-based logics for modeling and solving search problems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
27David Pearce 0001 Answer Sets and Nonmonotonic S4. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Emad Saad Probabilistic Planning in Hybrid Probabilistic Logic Programs. Search on Bibsonomy SUM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Emad Saad Probabilistic Reasoning by SAT Solvers. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Mauricio Osorio 0001, Juan Carlos Nieves Possibilistic Well-Founded Semantics. Search on Bibsonomy MICAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Omar El-Khatib, Enrico Pontelli, Tran Cao Son Justification and debugging of answer set programs in ASP. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF small answer set programming, logic programming, justifications
24Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir Weighted Answer Sets and Applications in Intelligence Analysis. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Computable Functions in ASP: Theory and Implementation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Hans 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
24Chiaki Sakama, Katsumi Inoue Coordination Between Logical Agents. Search on Bibsonomy CLIMA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Eric Würbel An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski Logic Programs with Abstract Constraint Atoms: The Role of Computations. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Thomas Linke, Vladimir Sarsakov Suitable Graphs for Answer Set Programming. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22James P. Delgrande, Torsten Schaub, Hans Tompits A Preference-Based Framework for Updating Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Giovanni Amendola, Francesco Ricca Paracoherent Answer Set Semantics meets Argumentation Frameworks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Stefania Costantini, Andrea Formisano Query Answering in Resource-Based Answer Set Semantics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
21Stefania Costantini, Andrea Formisano Query answering in resource-based answer set semantics. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir Characterizing and extending answer set semantics using possibility theory. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Stefania Costantini, Andrea Formisano Negation as a Resource: a Novel View on Answer Set Semantics. Search on Bibsonomy Fundam. Inform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink 0001, Christoph Redl, Thomas Krennwallner, Jun Deng FLP answer set semantics without circular justifications for general logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Stefania Costantini, Andrea Formisano Query Answering in Resource-Based Answer Set Semantics. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
21Tingting Zou, Yanpeng Qu, Ansheng Deng Tightly coupled fuzzy rough description logic programs under the answer set semantics for the semantic web. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir Characterizing and Extending Answer Set Semantics using Possibility Theory. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
21Martin Gebser, Torsten Schaub Tableau Calculi for Logic Programs under Answer Set Semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21N. V. Mayatskiy, Sergei P. Odintsov On deductive bases for paraconsistent answer set semantics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21James P. Delgrande, Pavlos Peppas, Stefan Woltran AGM-Style Belief Revision of Logic Programs under Answer Set Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Stefania Costantini, Andrea Formisano Negation as a Resource: A Novel View on Answer Set Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Stefania Costantini, Andrea Formisano Negation as a Resource: a Novel View on Answer Set Semantics. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
21Johannes Oetsch, Jörg Pührer, Hans Tompits An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Nicolás Madrid, Manuel Ojeda-Aciego Measuring Inconsistency in Fuzzy Answer Set Semantics. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21James P. Delgrande A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
21James P. Delgrande A program-level approach to revising logic programs under the answer set semantics. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Emad Saad Disjunctive Fuzzy Logic Programs with Fuzzy Answer Set Semantics. Search on Bibsonomy SUM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Enrico Pontelli, Tran Cao Son, Omar El-Khatib Justifications for logic programs under answer set semantics. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Enrico Pontelli, Tran Cao Son, Omar El-Khatib Justifications for Logic Programs under Answer Set Semantics Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
21Thomas Lukasiewicz, Umberto Straccia Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. Search on Bibsonomy Int. J. Semantic Web Inf. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Thomas Lukasiewicz Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
21James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran Belief Revision of Logic Programs under Answer Set Semantics. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
21Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
21Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Magdalena Ortiz, Mauricio Osorio 0001 Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
21Martin Brain, Marina De Vos Debugging Logic Programs under the Answer Set Semantics. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
21Hee-Jun Yoo, Mino Bai, Jin-Young Choi Answer Set Semantics for Prioritized Defaults Logic. Search on Bibsonomy IEICE Transactions The full citation details ... 2004 DBLP  BibTeX  RDF
21Stefania Costantini Comparing different graph representations of logic programs under the Answer Set semantics. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
21Emad Saad Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs. Search on Bibsonomy SUM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir On Programs with Linearly Ordered Multiple Preferences. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Roberto Confalonieri 0001, Juan Carlos Nieves, Javier Vázquez-Salceda Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski Hybrid Reasoning with Rules and Ontologies. Search on Bibsonomy REWERSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Michael 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
19Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Johannes 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
19Johannes 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
Displaying result #1 - #100 of 158 (100 per page; Change: )
Pages: [1][2][>>]
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