Search Sciweavers | Sciweavers

1917 search results - page 10 / 384

» Experimenting with Nonmonotonic Reasoning

click to vote

LOGCOM
2002

105views more LOGCOM 2002»

Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations

13 years 7 months ago

Download espace.library.uq.edu.au

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

claim paper

Read More »

click to vote

LPNMR
2005
Springer

87views Automated Reasoning» more LPNMR 2005»

Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories

14 years 1 months ago

Download www.kr.tuwien.ac.at

Alberto Finzi, Thomas Lukasiewicz

claim paper

Read More »

click to vote

TARK
1998
Springer

111views Automated Reasoning» more TARK 1998»

Simulative Inference About Nonmonotonic Reasoners

13 years 11 months ago

Download www.cs.rochester.edu

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

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

112views Applied Computing» more BIRTHDAY 2005»

Nonmonotonic Reasoning

14 years 1 months ago

Download www.informatik.uni-leipzig.de

Alexander Bochman

claim paper

Read More »