The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Mathematics Subject Classifications (2000) 68T27 (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2006 (4) 2007 (5) 2008 (5)
Publication types (Num. hits)
article(14)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 7 keywords

Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
52Alexander Bochman Default logic generalized and simplified. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B22, 68T30
52Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang Integrating answer set programming and constraint logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70
52Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer Exploiting conjunctive queries in description logic programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30
52Anil Nerode, Jeffrey B. Remmel Consistency properties and set based logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70
52Jeffrey B. Remmel My work with Victor Marek: a mathematician looks at answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03D80, 03B70
52Davy 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
52Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde Partial equilibrium logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55
52Francesco Calimeri, Susanna Cozza, Giovambattista Ianni External sources of knowledge and value invention in logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30
52Gianluigi Greco Solving abduction by computing joint explanations. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30
52Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Decision procedures for extensions of the theory of arrays. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
52Miroslaw 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
52Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir Conceptual logic programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68N17, 68T30
52Mikhail Prokopenko A preferential semantics for causal reasoning about action. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B44, 06A06
52Wolfgang Faber 0001, Kathrin Konczak Strong order equivalence. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30, 68T15
Displaying result #1 - #14 of 14 (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