356 search results - page 25 / 72 » Axiomatizing Causal Reasoning |
CI
1998
14 years 11 months ago
1998
A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combi...
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
IJCAI
2001
15 years 1 months ago
2001
The Principle of Minimal Change is prevalent in various guises throughout the development of areas such as reasoning about action, belief change and nonmonotonic reasoning. Recent...
ER
2007
Springer
15 years 6 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
ECSQARU
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Although we can build a belief network starting from any ordering of its variables, its structure depends heavily on the ordering being selected: the topology of the netw...