Sciweavers

5086 search results - page 61 / 1018
» The Power of Comparative Reasoning
Sort
View
RSEISP
2007
Springer
14 years 2 months ago
Rough Sets and Approximation Schemes
Abstract. Approximate reasoning is used in a variety of reasoning tasks in Logicbased Artificial Intelligence. In this abstract we compare a number of such reasoning schemes and s...
Victor W. Marek, Miroslaw Truszczynski
FLAIRS
2008
13 years 11 months ago
Preference-Based Default Reasoning
It is well-known that default reasoning and preference-based decision making both make use of preferential relations between possible worlds resp. alternatives. In this paper, we ...
Manuela Ritterskamp, Gabriele Kern-Isberner
DLOG
2003
13 years 10 months ago
Reasoning about Nominals with FaCT and RACER
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
Jan Hladik
FOSSACS
2004
Springer
14 years 2 months ago
Reasoning about Dynamic Policies
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
Riccardo Pucella, Vicky Weissman
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 3 months ago
Incremental Reasoning for Multiple Inheritance
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Mart...