71 search results - page 2 / 15 » NoMoRe : A System for Non-monotonic Reasoning with Logic Pro... |
ASP
2005
Springer
13 years 11 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
ASP
2005
Springer
13 years 11 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
ASP
2001
Springer
13 years 10 months ago
2001
Springer
LPNMR
1999
Springer
13 years 9 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
WLP
2007
Springer
13 years 11 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...