The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 68T27 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999 (1) 2005 (1) 2006 (7) 2007 (9) 2008 (13)
Publication types (Num. hits)
article(31)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 47 occurrences of 9 keywords

Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
21Ilkka Niemelä Stable models and difference logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27
21Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang 0002 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
21Aldo Franco Dragoni Mental states as multi-context systems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T01, 68T30, 68T27
21Ephraim Nissan, Giuseppina C. Gini, Marco Colombetti Guest editorial: Marco Somalvico memorial issue. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T01, 62B15, 62F15, 62-09, 68T50, 01A70, 00B15, 68T30, 68T27, 68T37
21Alexander 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
21Enrico Giunchiglia, Nicola Leone, Marco Maratea On the relation among answer set solvers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
21Jeffrey 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
21Nicos Angelopoulos, James Cussens Bayesian learning of Bayesian networks with informative priors. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T05, 68T27
21Michael Kaminski A non-preferential semantics of non-monotonic modal logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B42, 03B45, 68T30, 68T27
21Anil 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
21Thomas 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
21Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel Learning directed probabilistic logical models: ordering-search versus structure-search. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T05, 68T27, 68T37
21Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000). 68T30, 68T27
21Davy 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
21Thomas Eiter, Esra Erdem 0001, Michael Fink 0001, Ján Senko Comparing action descriptions based on semantic preferences. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T30, 68T27
21Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Francesco Ricca On look-ahead heuristics in disjunctive logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
21Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone Enhancing DLV instantiator by backjumping techniques. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27
21Silvio 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
21Tristan M. Behrens, Jürgen Dix Model checking multi-agent systems with logic based Petri nets. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B70, 68R10, 68T27
21Gianluigi 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
21Pedro 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
21Francesco 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
21Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz A generalization of the Lin-Zhao theorem. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T30, 68T27
21Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre Possibilistic uncertainty handling for answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PACS 68T30, 68N17, 68T27, 68T37
21Mikhail 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
21Wolfgang 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
21Miroslaw 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
21Stijn 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
21Michela Milano, Mark Wallace 0001 Integrating operations research in constraint programming. Search on Bibsonomy 4OR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MSC classifications 90C, 68T 68R99, 68T30, 68T27, 68T20
21Berilhes Borges Garcia New tractable classes for default reasoning from conditional knowledge bases. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AMS subject classification 68T27
21Toru Tsujishita Construction of universal modal worlds based on hyperset theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03B45, 68T27
Displaying result #1 - #31 of 31 (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