The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Answer Set Programming (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2001 (54) 2002-2003 (57) 2004 (56) 2005 (88) 2006 (48) 2007 (49) 2008 (65) 2009 (69) 2010 (39) 2011 (69) 2012 (57) 2013 (66) 2014 (47) 2015 (51) 2016 (56) 2017 (54) 2018 (61) 2019 (51)
Publication types (Num. hits)
article(323) book(2) incollection(5) inproceedings(691) phdthesis(11) proceedings(5)
Venues (Conferences, Journals, ...)
CoRR(130) LPNMR(106) Answer Set Programming(85) ICLP(65) TPLP(65) AAAI(31) JELIA(27) IJCAI(23) ICLP (Technical Communications...(21) KR(18) Ann. Math. Artif. Intell.(16) KI(12) PADL(12) Fundam. Inform.(11) ASPOCP@LPNMR(10) Artif. Intell.(9) More (+10 of total 239)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 176 occurrences of 87 keywords

Results
Found 1037 publication records. Showing 1037 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
107Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Gerald Pfeifer, Stefan Woltran Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
101Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
91Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
91Rafal Grabos Answer Set Programming and Combinatorial Voting. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
91Axel Polleres Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
91Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski 05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
91Enrico Giunchiglia, Marco Maratea An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
91Hans Tompits, Stefan Woltran Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
91Luis Tari, Chitta Baral, Saadat Anwar A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
91Yuliya Lierler Disjunctive Answer Set Programming via Satisfiability. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
91Martin Brain, Richard Watson, Marina De Vos An Interactive Approach to Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
91Claudia Zepeda, Mauricio Osorio 0001, Juan Carlos Nieves, Christine Solnon, David Sol Applications of Preferences using Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
91Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro Answer Set Programming with Templates. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91Kathrin Konczak, Torsten Schaub, Thomas Linke Graphs and coloring for answer set programming: Preliminary Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman Using Criticalities as a Heuristics for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91Stijn Heymans, Dirk Vermeir Integrating Semantic Web Reasoning and Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub Lukaszewicz-style Answer Set Programming: A Preliminary Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91Thomas Linke Suitable Graphs for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91Thomas Linke Using Nested Logic Programs for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91Kathrin Konczak, Torsten Schaub, Thomas Linke Graphs and colorings for answer set programming: Abridged Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
91Mauricio Osorio 0001, Juan Carlos Nieves, Chris Giannella Useful Transformations in Answer set programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
91James D. Jones Sets as Terms for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
91Keijo Heljanko, Ilkka Niemelä Answer Set Programming and Bounded Model Checking. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
91Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski Tabular Constraint-Satisfaction Problems and Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
91Victor W. Marek, Jeffrey B. Remmel On the Foundations of Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
77Stijn 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
73Michael Gelfond The USA-Advisor: A Case Study in Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
70Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (eds.) Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
70Marina De Vos, Alessandro Provetti (eds.) Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005 Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Pascal Nicolas, Laurent Garcia, Igor Stéphan Possibilistic Stable Models. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
70Victor W. Marek, Jeffrey B. Remmel Normal Form Theorem for Logic Programs with Cardinality Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
70Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
70Jeffrey B. Remmel, Victor W. Marek Set Based Logic Programming. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
70Giovambattista Ianni, Claudio Panetta, Francesco Ricca Specification of Assessment-test Criteria through ASP Specifications. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Joost Vennekens, Marc Denecker An Algebraic Account of Modularity in ID-logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ Approach to Answer Set Solving. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Pedro Cabalar, David Pearce 0001, Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir Extending Conceptual Logic Programs with Arbitrary Rules. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Yin Chen, Fangzhen Lin, Lei Li SELP - A System for Studying Strong Equivalence between Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Sabrina Baselice, Piero A. Bonatti, Michael Gelfond A Preliminary Report on Integrating of Answer Set and Constraint Solving. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir Intelligence Analysis Using Quantitative Preferences. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto Exploiting ASP for Semantic Information Extraction. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Vladimir Lifschitz What is a Logic Program. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Martin 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
70Magdalena 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
70Giuliano Grossi, Massimo Marchi A New Algorithm for Answer Set Computation. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Kathrin Konczak, Ralf Vogel 0001 Abduction and Preferences in Linguistics. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Pascal Nicolas, Claire Lefèvre Possibilistic Stable Model Computing. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Chiaki Sakama, Katsumi Inoue Combining Answer Sets of Nonmonotonic Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Sandeep Chintabathina, Michael Gelfond, Richard Watson Modeling Hybrid Domains Using Process Description Language. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
70Marina De Vos, Alessandro Provetti (eds.) Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003 Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Nicola Leone, Simona Perri Parametric Connectives in Disjunctive Logic Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Marcello Balduccini, Veena S. Mellarkod CR-Prolog with Ordered Disjunction. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo OntoDLP: a Logic Formalism for Knowledge Representation. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Outlier Detection Using Default Logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Marc Denecker What's in a model? Epistemological analysis of Logic Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Tomi Janhunen A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Francesco Ricca A Java Wrapper for DLV. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Yuliya Lierler, Marco Maratea Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer Aggregate Functions in DLV. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Piero A. Bonatti Finitary Open Logic Program. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Mauricio Osorio 0001, Enrique Corona The A-Pol System. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Mauricio Osorio 0001, Fernando Zacarias New properties on the update operator\oplus. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Mauricio Osorio 0001, Claudia Zepeda Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Robert E. Mercer, Vincent Risch Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Translation of Aggregate Programs to Normal Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Martin Brain, Marina De Vos Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Richard Watson, Sandeep Chintabathina Modeling Hybrid Systems in Action Languages. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
70Alessandro Provetti, Tran Cao Son (eds.) Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001 Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Timo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen Representing Configuration Knowledge With Weight Constraint Rules. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Stefania 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
70Chiaki Sakama Learning by Answer Sets. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Pedro Cabalar Well Founded Semantics as Two dimensional Here and There. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Marc Denecker On the Epistemological foundations of Logic Programming and its Extensions. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Aarati Parmar A Declarative Implementation of Planning with Control. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Pascal Nicolas, Frédéric Saubion, Igor Stéphan Genes and Ants for Default Logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Marina De Vos, Dirk Vermeir Logic Programming Agents and Game Theory. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry An A Prolog decision support system for the Space Shuttle. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Jay Halcomb, Adam Pease On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70David Pearce 0001, Agustín Valverde Abduction in equilibrium logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Enrico Pontelli, Omar El-Khatib Exploiting Vertical Parallelism from Answer Set Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Le-Chi Tuan, Chitta Baral Effect of knowledge representation on model based planning: experiments using logic programming encodings. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski Computing stable models in parallel. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari The Prospect for Answer Sets Computation by a Genetic Model. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Ramón P. Otero Pertinence Logic Characterisation of Stable Models (Preliminary Report). Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Pinar Koksal, Nihan Kesim Cicekli, Ismail Hakki Toroslu Specification of Workflow Process Using the Action Description Language C. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Howard A. Blair Dynamical Properties of Answer Set Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Joohyung Lee, Vladimir Lifschitz Additive Fluents. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Tran Cao Son, Chitta Baral, Sheila A. McIlraith Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Michael Gelfond, Joel Galloway Diagnosing Dynamic Systems in A Prolog. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Deborah East, Miroslaw Truszczynski More on Wire Routing with ASP. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Tran Cao Son, Jorge Lobo 0001 Reasoning about Policies using Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
70Torsten Schaub, Kewen Wang A Comparative Study of Logic Programs with Preference: Preliminary Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
60Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig Modeling Biological Networks by Action Languages via Answer Set Programming. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Biological network model, Answer set programming, Action language
60Shujing Wang 0001, Yan Zhang Handling distributed authorization with delegation through answer set programming. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Access control, Knowledge representation, Authorization, Trust management, Delegation, Nonmonotonic reasoning, Answer set programming
60Gang Wu, Jia-Huai You, Guohui Lin Quartet-Based Phylogeny Reconstruction with Answer Set Programming. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quartet, Maximum Quartet Consistency (MQC), Answer Set Programming (ASP), ultrametric matrix, Phylogeny
59Enrico Giunchiglia, Yuliya Lierler, Marco Maratea Answer Set Programming Based on Propositional Satisfiability. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF answer set programming, propositional satisfiability
Displaying result #1 - #100 of 1037 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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