Search results for "68T27"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Ilkka Niemelä	Stable models and difference logic.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27
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	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	Enrico Giunchiglia, Nicola Leone, Marco Maratea	On the relation among answer set solvers.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
20	Jeffrey B. Remmel	My work with Victor Marek: a mathematician looks at answer set programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03D80, 03B70
20	Nicos Angelopoulos, James Cussens	Bayesian learning of Bayesian networks with informative priors.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T05, 68T27
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	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	Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel	Learning directed probabilistic logical models: ordering-search versus structure-search.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T05, 68T27, 68T37
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	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Francesco Ricca	On look-ahead heuristics in disjunctive logic programming.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
20	Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone	Enhancing DLV instantiator by backjumping techniques.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27
20	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decision procedures for extensions of the theory of arrays.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
20	Tristan M. Behrens, Jürgen Dix	Model checking multi-agent systems with logic based Petri nets.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B70, 68R10, 68T27
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	Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde	Partial equilibrium logic.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55
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	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	Mikhail Prokopenko	A preferential semantics for causal reasoning about action.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B44, 06A06
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	Miroslaw Truszczynski	Strong and uniform equivalence of nonmonotonic theories - an algebraic approach.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 06B99
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
20	Berilhes Borges Garcia	New tractable classes for default reasoning from conditional knowledge bases.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	AMS subject classification 68T27
20	Toru Tsujishita	Construction of universal modal worlds based on hyperset theory.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03B45, 68T27