1917 search results - page 10 / 384 » Experimenting with Nonmonotonic Reasoning |
80
Voted
LOGCOM
2002
14 years 9 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
58
Voted
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
TARK
1998
Springer
15 years 1 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
JELIA
1990
Springer
15 years 1 months ago
1990
Springer
