149 search results - page 5 / 30 » A Logical Semantics for Nonmonotonic Sorts |
JAIR
2007
13 years 8 months ago
2007
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...
EPIA
1995
Springer
14 years 4 days ago
1995
Springer
AMAI
2008
Springer
13 years 8 months ago
2008
Springer
PRICAI
2000
Springer
14 years 4 days ago
2000
Springer
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
TABLEAUX
2000
Springer
14 years 4 days ago
2000
Springer
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...