3773 search results - page 386 / 755 » Logical Reasoning |
163
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
152
click to vote
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
186
Voted
FLAIRS
2000
15 years 8 months ago
2000
In recent years, fuzzy logic has been applied successfully to a wide range of problems. This paper shows how it can be utilized in the area of spatial reasoning, in particular geo...
160
click to vote
JOLLI
2010
15 years 5 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
154
click to vote
DLOG
2004
15 years 8 months ago
2004
This paper proposes constructs that can be used to declaratively specify the disjoint nature of object properties or roles. These constructs may be a useful extension to the Descr...