Search results for "68N17"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 18C50, 68Q55
24	Ilkka Niemelä	Stable models and difference logic.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27
24	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
24	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
24	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
24	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
24	Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Stefan Woltran	Complexity results for answer set programming with bounded predicate arities and implications.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68Q17
24	David Pearce 0001	Equilibrium logic.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55
24	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
24	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
24	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
24	Birgit Elbl	Cut elimination for a calculus with context-dependent rules.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55