Sciweavers

166 search results - page 5 / 34
» Nonmonotonic Modes of Inference
Sort
View
JAIR
2007
146views more  JAIR 2007»
13 years 7 months ago
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
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....
IJCAI
1989
13 years 8 months ago
The Logic of Time Structures: Temporal and Nonmonotonic Features
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
Mira Balaban, Neil V. Murray
IJCAI
1989
13 years 8 months ago
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
Didier Dubois, Henri Prade
APWEB
2011
Springer
13 years 2 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
TABLEAUX
2000
Springer
13 years 11 months ago
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
Alberto Artosi, Guido Governatori, Antonino Rotolo