|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 8 keywords
|
|
|
Results
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(3), pp. 421-450, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 18C50, 68Q55 |
24 | Ilkka Niemelä |
Stable models and difference logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 53(1-4), pp. 313-329, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 53(1-4), pp. 169-204, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 53(1-4), pp. 331-365, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 51(2-4), pp. 229-266, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 51(2-4), pp. 195-228, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 51(2-4), pp. 123-165, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68Q17 |
24 | David Pearce 0001 |
Equilibrium logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 47(1-2), pp. 3-41, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 47(1-2), pp. 79-101, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 47(1-2), pp. 139-181, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PACS 68T30, 68N17, 68T27, 68T37 |
24 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Conceptual logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 47(1-2), pp. 103-137, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68N17, 68T30 |
24 | Birgit Elbl |
Cut elimination for a calculus with context-dependent rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(3), pp. 167-188, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55 |
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|