Correct Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642307423, 9783642307430
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Gearing Up for Effective ASP Planning

2012 ◽  
pp. 296-310 ◽  
Author(s):  
Martin Gebser ◽  
Roland Kaufmann ◽  
Torsten Schaub

Bi-state Logic

2012 ◽  
pp. 265-278
Author(s):  
Luis Fariñas del Cerro ◽  
David Pearce ◽  
Agustín Valverde

Strong Equivalence of RASP Programs

2012 ◽  
pp. 149-163
Author(s):  
Stefania Costantini ◽  
Andrea Formisano ◽  
David Pearce

scholarly journals Stepwise Debugging of Description-Logic Programs

2012 ◽  
pp. 492-508 ◽  
Author(s):  
Johannes Oetsch ◽  
Jörg Pührer ◽  
Hans Tompits
Keyword(s):  
Description Logic ◽  
Logic Programs

scholarly journals The Intelligent Grounder of DLV

2012 ◽  
pp. 247-264 ◽  
Author(s):  
Wolfgang Faber ◽  
Nicola Leone ◽  
Simona Perri
Load More ...
Sign in / Sign up

Export Citation Format

Share Document