Search results for "68T30"

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