3891 search results - page 400 / 779 » A logic for strategic reasoning |
162
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An approach to a multi-facet task of situation identification by Unmanned Aerial Vehicle (UAV) is presented. The concept of multi-layered identification system based on s...
173
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
166
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This paper is devoted to clarify the only theoretical result included in the controversial work of C. Elkan “The paradoxical success of fuzzy logic” (1994), by offering both a...
186
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
163
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...