Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540721994, 9783540722007
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Experimenting with Look-Back Heuristics for Hard ASP Programs

2007 ◽  
pp. 110-122 ◽  
Author(s):  
Wolfgang Faber ◽  
Nicola Leone ◽  
Marco Maratea ◽  
Francesco Ricca
Keyword(s):  
Look Back

scholarly journals Modularity Aspects of Disjunctive Stable Models

2007 ◽  
pp. 175-187 ◽  
Author(s):  
Tomi Janhunen ◽  
Emilia Oikarinen ◽  
Hans Tompits ◽  
Stefan Woltran
Keyword(s):  
Disjunctive Stable Models ◽  
Stable Models

clasp: A Conflict-Driven Answer Set Solver

2007 ◽  
pp. 260-265 ◽  
Author(s):  
Martin Gebser ◽  
Benjamin Kaufmann ◽  
André Neumann ◽  
Torsten Schaub
Keyword(s):  
Answer Set
Load More ...
Sign in / Sign up

Export Citation Format

Share Document