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

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540425939, 9783540454021
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

System Description: DLV

2001 ◽  
pp. 424-428 ◽  
Author(s):  
Tina Dell ’Armi ◽  
Wolfgang Faber ◽  
Giuseppe Ielpa ◽  
Christoph Koch ◽  
Nicola Leone ◽  
...  
Keyword(s):  
System Description

New Generation Systems for Non-monotonic Reasoning

2001 ◽  
pp. 309-321 ◽  
Author(s):  
Pascal Nicolas ◽  
Frédéric Saubion ◽  
Igor Stéphan
Keyword(s):  
New Generation

The USA-Advisor: A Case Study in Answer Set Planning

2001 ◽  
pp. 439-442 ◽  
Author(s):  
Marcello Balduccini ◽  
Micchael Gelfond ◽  
R. Watson ◽  
M. Nogueira
Keyword(s):  
The Usa ◽  
Answer Set
Load More ...
Sign in / Sign up

Export Citation Format

Share Document