Search results for "03B70"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Tomasz Fryderyk Urbanski	On Deciding if Deterministic Rabin Language Is in Büchi Class.	ICALP	2000	DBLP DOI BibTeX RDF
25	Nils Bulling, Wojciech Jamroga, Jürgen Dix	Reasoning about temporal properties of rational play.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B70, 91A26
25	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
25	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
25	Melvin Fitting	Justification logics, logics of knowledge, and conservativity.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70
25	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
25	Johann A. Makowsky	From Hilbert's program to a logic tool box.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 01-08, 01A67, 68-01, 68-03, 97-03, 97D20, 03B70
25	Joachim Biskup, Piero A. Bonatti	Controlled query evaluation with open queries for a decidable relational submodel.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70
25	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
25	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
25	Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà	Exploiting multivalued knowledge in variable selection heuristics for SAT solvers.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B50, 03B05, 03B70
25	David Pearce 0001	Equilibrium logic.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55