Search Sciweavers | Sciweavers

258 search results - page 10 / 52

» Nonmonotonic Reasoning

click to vote

JAIR
2007

146views more JAIR 2007»

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

13 years 8 months ago

Download www.jair.org

Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....

claim paper

Read More »

click to vote

LOGCOM
2002

105views more LOGCOM 2002»

Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations

13 years 8 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

14 years 19 days 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 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers