The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"( http://dblp.L3S.de/Venues/Logic_Programming,_Knowledge_Representation,_and_Nonmonotonic_Reasoning )

URL (DBLP): http://dblp.uni-trier.de/db/conf/birthday

Publication years (Num. hits)
2011 (29)
Publication types (Num. hits)
inproceedings(28) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Phan Minh Dung, Phan Minh Thang Closure and Consistency Rationalities in Logic-Based Argumentation. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giovanni Grasso 0001, Nicola Leone, Marco Manna, Francesco Ricca ASP at Work: Spin-off and Applications of the DLV System. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Provetti Recollections on Michael Gelfond's 65th Birthday. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Answer Set; Programming? Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson, Yuanlin Zhang A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001 Applications of Answer Set Programming in Phylogenetic Systematics. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Thielscher Translating General Game Descriptions into an Action Language. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Chiaki Sakama Exploring Relations between Answer Set Programs. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jack Minker Opening: Homage to Michael Gelfond on His 65th Birthday. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefania Costantini Michael Gelfond: Essay in Honour of His 65th Birthday. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Alfredo Gabaldon, João Leite Evolving Logic Programs with Temporal Operators. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladik Kreinovich Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Challenges in Answer Set Solving. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris, Vladimir Lifschitz On the Minimality of Stable Models. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tommi Syrjänen On the Practical Side of Answer Set Programming. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, V. S. Subrahmanian PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Gregory Gelfond On Representing Actions in Multi-agent Domains. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Tran Cao Son (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Richard Watson, Marina De Vos ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman Refinement of History-Based Policies. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Veena S. Mellarkod Tea Times with Gelfond. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Sara Girotto ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Stefan Woltran Manifold Answer-Set Programs and Their Applications. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Revisiting Epistemic Specifications. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Thomas Eiter, Michael Fink 0001 Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Effectively Reasoning about Infinite Sets in Answer Set Programming. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #29 of 29 (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