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

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319616599, 9783319616605
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

$$\mathsf {Harvey}$$ : A System for Random Testing in ASP

2017 ◽  
pp. 229-235 ◽  
Author(s):  
Alexander Greßler ◽  
Johannes Oetsch ◽  
Hans Tompits
Keyword(s):  
Random Testing

The ASP System DLV2

2017 ◽  
pp. 215-221 ◽  
Author(s):  
Mario Alviano ◽  
Francesco Calimeri ◽  
Carmine Dodaro ◽  
Davide Fuscà ◽  
Nicola Leone ◽  
...  

Modular Construction of Minimal Models

2017 ◽  
pp. 43-48
Author(s):  
Rachel Ben-Eliyahu-Zohary ◽  
Fabrizio Angiulli ◽  
Fabio Fassetti ◽  
Luigi Palopoli
Keyword(s):  
Modular Construction ◽  
Minimal Models

scholarly journals Foundations for a Probabilistic Event Calculus

2017 ◽  
pp. 57-63 ◽  
Author(s):  
Fabio Aurelio D’Asaro ◽  
Antonis Bikakis ◽  
Luke Dickens ◽  
Rob Miller
Keyword(s):  
Event Calculus

scholarly journals Answer Set Solving with Bounded Treewidth Revisited

2017 ◽  
pp. 132-145 ◽  
Author(s):  
Johannes K. Fichte ◽  
Markus Hecher ◽  
Michael Morak ◽  
Stefan Woltran
Keyword(s):  
Bounded Treewidth ◽  
Answer Set
Load More ...
Sign in / Sign up

Export Citation Format

Share Document