Sciweavers

1917 search results - page 10 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
105
Voted
LOGCOM
2002
105views more  LOGCOM 2002»
15 years 14 days ago
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
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...
Alberto Artosi, Guido Governatori, Antonino Rotolo
72
Voted
LPNMR
2005
Springer
15 years 6 months ago
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
Alberto Finzi, Thomas Lukasiewicz
104
Voted
TARK
1998
Springer
15 years 5 months ago
Simulative Inference About Nonmonotonic Reasoners
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...
Aaron N. Kaplan
60
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
Nonmonotonic Reasoning
Alexander Bochman
71
Voted
JELIA
1990
Springer
15 years 4 months ago
Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning
Nicholas Asher, Michael Morreau