260 search results - page 22 / 52 » Nonmonotonic Reasoning in FLORA-2 |
TKDE
2010
13 years 8 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
KR
2004
Springer
14 years 3 months ago
2004
Springer
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
SAT
2010
Springer
14 years 1 months ago
2010
Springer
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and s...
CL
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...