The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2006 (13) 2007 (8) 2008 (12)
Publication types (Num. hits)
article(33)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 46 occurrences of 9 keywords

Results
Found 33 publication records. Showing 33 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
20Veena 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
20Ephraim Nissan Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T30, 68T50, 00B15
20Aldo 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
20Ephraim 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
20Alexander 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
20Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable Comparing the notions of optimality in CP-nets, strategic games and soft constraints. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 91B10, 91B50, 68T01, 68T30
20Miroslaw Truszczynski, Stefan Woltran Hyperequivalence of logic programs with respect to supported models. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68Q17, 68T30
20Michael 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
20Robert Mateescu, Rina Dechter Mixed deterministic and probabilistic networks. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T30, 62F30, 62F15, 68T37, 68T20
20Anil 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
20Thomas 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
20Mehmet 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
20Davy 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
20Thomas 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
20Ivo Düntsch, Dimiter Vakarelov Region-based theory of discrete spaces: A proximity approach. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03G05, 06E25, 68T30
20Alessandro Artale, Christine Parent, Stefano Spaccapietra Evolving objects in temporal information systems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68P15, 68T30
20Tran Hoai Nam, Chitta Baral Reasoning about non-immediate triggers in biological networks. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T30
20Ofer Arieli, Marc Denecker, Maurice Bruynooghe Distance semantics for database repair. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T37, 68P15, 68T30
20Gianluigi 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
20Francesco 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
20David Pearce 0001 Equilibrium logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55
20Paolo 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
20Pascal 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
20Eric Mjolsness, Guy Yosiphon Stochastic process semantics for dynamical grammars. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T30, 68T37
20James P. Delgrande On a rule-based interpretation of default conditionals. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 68T30
20Guilin Qi, Weiru Liu, David H. Glass, David A. Bell A split-combination approach to merging knowledge bases in possibilistic logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T30, 03B53, 68T37
20Wolfgang 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
20Marcello Balduccini, Michael Gelfond, Monica Nogueira Answer set based design of knowledge systems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PACS 68T30, 68T35, 68T20
20Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe Computational methods for database repair by signed formulae. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 62T37, 68U35, 68T30, AMS subject classifications 68P15
20Riccardo Rosati Multi-modal nonmonotonic logics of minimal knowledge. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 68T30
20Lavinia Egidi, Paolo Terenziani A mathematical framework for the semantics of symbolic languages representing periodic time. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 68T30 Knowledge representation
20Stijn 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
20Michela 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
Displaying result #1 - #33 of 33 (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