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

TOTAL DOCUMENTS

44
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540285380, 9783540318279
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Routley Semantics for Answer Sets

2005 ◽  
pp. 343-355 ◽  
Author(s):  
Sergei Odintsov ◽  
David Pearce
Keyword(s):  
Answer Sets

Loops: Relevant or Redundant?

2005 ◽  
pp. 53-65 ◽  
Author(s):  
Martin Gebser ◽  
Torsten Schaub

Halo I: A Controlled Experiment for Large Scale Knowledge Base Development

2005 ◽  
pp. 26-39
Author(s):  
Jürgen Angele ◽  
Eddie Moench ◽  
Henrik Oppermann ◽  
Dirk Wenke
Keyword(s):  
Knowledge Base ◽  
Large Scale ◽  
Controlled Experiment

Lookahead in Smodels Compared to Local Consistencies in CSP

2005 ◽  
pp. 266-278 ◽  
Author(s):  
Jia-Huai You ◽  
Guohua Liu ◽  
Li Yan Yuan ◽  
Curtis Onuczko

An Approximation of Action Theories of $\mathcal{AL}$ and Its Application to Conformant Planning

2005 ◽  
pp. 172-184 ◽  
Author(s):  
Tran Cao Son ◽  
Phan Huy Tu ◽  
Michael Gelfond ◽  
A. Ricardo Morales
Keyword(s):  
Conformant Planning ◽  
Action Theories

scholarly journals On the Local Closed-World Assumption of Data-Sources

2005 ◽  
pp. 145-157 ◽  
Author(s):  
Alvaro Cortés-Calabuig ◽  
Marc Denecker ◽  
Ofer Arieli ◽  
Bert Van Nuffelen ◽  
Maurice Bruynooghe
Keyword(s):  
Data Sources ◽  
Closed World Assumption ◽  
Closed World

scholarly journals SELP – A System for Studying Strong Equivalence Between Logic Programs

2005 ◽  
pp. 442-446 ◽  
Author(s):  
Yin Chen ◽  
Fangzhen Lin ◽  
Lei Li
Keyword(s):  
Logic Programs

scholarly journals Some Logical Properties of Nonmonotonic Causal Theories

2005 ◽  
pp. 198-210 ◽  
Author(s):  
Marek Sergot ◽  
Robert Craven
Keyword(s):  
Causal Theories

scholarly journals KMonitor– A Tool for Monitoring Plan Execution in Action Theories

2005 ◽  
pp. 416-421 ◽  
Author(s):  
Thomas Eiter ◽  
Michael Fink ◽  
Ján Senko
Keyword(s):  
Plan Execution ◽  
Monitoring Plan ◽  
Action Theories
Load More ...
Sign in / Sign up

Export Citation Format

Share Document