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 Head-Elementary-Set-Free Logic Programs

2007 ◽  
pp. 149-161 ◽  
Author(s):  
Martin Gebser ◽  
Joohyung Lee ◽  
Yuliya Lierler
Keyword(s):  
Free Logic ◽  
Logic Programs

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

GrinGo: A New Grounder for Answer Set Programming

2007 ◽  
pp. 266-271 ◽  
Author(s):  
Martin Gebser ◽  
Torsten Schaub ◽  
Sven Thiele
Keyword(s):  
Answer Set Programming ◽  
Answer Set

Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities

2007 ◽  
pp. 228-240 ◽  
Author(s):  
Jia-Huai You ◽  
Li Yan Yuan ◽  
Guohua Liu ◽  
Yi-Dong Shen
Keyword(s):  
Logic Programs

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

General Default Logic

2007 ◽  
pp. 241-253 ◽  
Author(s):  
Yi Zhou ◽  
Fangzhen Lin ◽  
Yan Zhang
Keyword(s):  
Default Logic

Enhancing ASP Systems for Planning with Temporal Constraints

2007 ◽  
pp. 309-314 ◽  
Author(s):  
Veena S. Mellarkod ◽  
Michael Gelfond
Keyword(s):  
Temporal Constraints

scholarly journals A Deductive System for PC(ID)

2007 ◽  
pp. 162-174 ◽  
Author(s):  
Ping Hou ◽  
Johan Wittocx ◽  
Marc Denecker
Keyword(s):  
Deductive System
Load More ...
Sign in / Sign up

Export Citation Format

Share Document