28 search results - page 1 / 6 » NoMoRe : A System for Non-Monotonic Reasoning under Answer S... |
LPNMR
2001
Springer
13 years 9 months ago
2001
Springer
CADE
2001
Springer
14 years 5 months ago
2001
Springer
ASP
2003
Springer
13 years 10 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
ASP
2005
Springer
13 years 10 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...
FLAIRS
2004
13 years 6 months ago
2004
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...