Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang 0002 |
Integrating answer set programming and constraint logic programming. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70 |
20 | Ephraim Nissan |
Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30, 68T50, 00B15 |
20 | Aldo Franco Dragoni |
Mental states as multi-context systems. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T01, 68T30, 68T27 |
20 | Ephraim Nissan, Giuseppina C. Gini, Marco Colombetti |
Guest editorial: Marco Somalvico memorial issue. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T01, 62B15, 62F15, 62-09, 68T50, 01A70, 00B15, 68T30, 68T27, 68T37 |
20 | Alexander Bochman |
Default logic generalized and simplified. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03B22, 68T30 |
20 | Krzysztof R. Apt, Francesca Rossi 0001, Kristen Brent Venable |
Comparing the notions of optimality in CP-nets, strategic games and soft constraints. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 91B10, 91B50, 68T01, 68T30 |
20 | Miroslaw Truszczynski, Stefan Woltran |
Hyperequivalence of logic programs with respect to supported models. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68Q17, 68T30 |
20 | Michael Kaminski |
A non-preferential semantics of non-monotonic modal logic. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B42, 03B45, 68T30, 68T27 |
20 | Robert Mateescu, Rina Dechter |
Mixed deterministic and probabilistic networks. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30, 62F30, 62F15, 68T37, 68T20 |
20 | Anil Nerode, Jeffrey B. Remmel |
Consistency properties and set based logic programming. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70 |
20 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer |
Exploiting conjunctive queries in description logic programs. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30 |
20 | Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak |
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. |
Math. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000). 68T30, 68T27 |
20 | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
An introduction to fuzzy answer set programming. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30, 68T37 |
20 | Thomas Eiter, Esra Erdem 0001, Michael Fink 0001, Ján Senko |
Comparing action descriptions based on semantic preferences. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30, 68T27 |
20 | Ivo Düntsch, Dimiter Vakarelov |
Region-based theory of discrete spaces: A proximity approach. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03G05, 06E25, 68T30 |
20 | Alessandro Artale, Christine Parent, Stefano Spaccapietra |
Evolving objects in temporal information systems. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68P15, 68T30 |
20 | Tran Hoai Nam, Chitta Baral |
Reasoning about non-immediate triggers in biological networks. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30 |
20 | Ofer Arieli, Marc Denecker, Maurice Bruynooghe |
Distance semantics for database repair. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T37, 68P15, 68T30 |
20 | Gianluigi Greco |
Solving abduction by computing joint explanations. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30 |
20 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
External sources of knowledge and value invention in logic programming. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30 |
20 | David Pearce 0001 |
Equilibrium logic. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55 |
20 | Paolo Ferraris, Joohyung Lee 0002, Vladimir Lifschitz |
A generalization of the Lin-Zhao theorem. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T30, 68T27 |
20 | Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre |
Possibilistic uncertainty handling for answer set programming. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
PACS 68T30, 68N17, 68T27, 68T37 |
20 | Eric Mjolsness, Guy Yosiphon |
Stochastic process semantics for dynamical grammars. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30, 68T37 |
20 | James P. Delgrande |
On a rule-based interpretation of default conditionals. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T30 |
20 | Guilin Qi, Weiru Liu, David H. Glass, David A. Bell |
A split-combination approach to merging knowledge bases in possibilistic logic. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30, 03B53, 68T37 |
20 | Wolfgang Faber 0001, Kathrin Konczak |
Strong order equivalence. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30, 68T15 |
20 | Marcello Balduccini, Michael Gelfond, Monica L. Nogueira |
Answer set based design of knowledge systems. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
PACS 68T30, 68T35, 68T20 |
20 | Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe |
Computational methods for database repair by signed formulae. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
62T37, 68U35, 68T30, AMS subject classifications 68P15 |
20 | Riccardo Rosati 0001 |
Multi-modal nonmonotonic logics of minimal knowledge. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T30 |
20 | Lavinia Egidi, Paolo Terenziani |
A mathematical framework for the semantics of symbolic languages representing periodic time. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
AMS subject classification 68T30 Knowledge representation |
20 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Conceptual logic programs. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68N17, 68T30 |
20 | Michela Milano, Mark Wallace 0001 |
Integrating operations research in constraint programming. |
4OR |
2006 |
DBLP DOI BibTeX RDF |
MSC classifications 90C, 68T 68R99, 68T30, 68T27, 68T20 |