258 search results - page 31 / 52 » Nonmonotonic Reasoning |
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
KI
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
AAAI
2008
13 years 9 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
IJCAI
2007
13 years 8 months ago
2007
Abduction is an important method of non-monotonic reasoning with many applications in artificial intelligence and related topics. In this paper, we concentrate on propositional ab...
LANMR
2004
13 years 8 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...