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

TOTAL DOCUMENTS

55
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642405631, 9783642405648
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming

2013 ◽  
pp. 245-256 ◽  
Author(s):  
Guillaume Collet ◽  
Damien Eveillard ◽  
Martin Gebser ◽  
Sylvain Prigent ◽  
Torsten Schaub ◽  
...  
Keyword(s):  
Metabolic Network ◽  
Answer Set Programming ◽  
Ectocarpus Siliculosus ◽  
Answer Set

scholarly journals Linear Logic Programming for Narrative Generation

2013 ◽  
pp. 427-432 ◽  
Author(s):  
Chris Martens ◽  
Anne-Gwenn Bosser ◽  
João F. Ferreira ◽  
Marc Cavazza
Keyword(s):  
Logic Programming ◽  
Linear Logic ◽  
Narrative Generation

WASP: A Native ASP Solver Based on Constraint Learning

2013 ◽  
pp. 54-66 ◽  
Author(s):  
Mario Alviano ◽  
Carmine Dodaro ◽  
Wolfgang Faber ◽  
Nicola Leone ◽  
Francesco Ricca
Keyword(s):  
Constraint Learning

scholarly journals Combining Equilibrium Logic and Dynamic Logic

2013 ◽  
pp. 304-316 ◽  
Author(s):  
Luis Fariñas del Cerro ◽  
Andreas Herzig ◽  
Ezgi Iraz Su
Keyword(s):  
Dynamic Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document