3891 search results - page 480 / 779 » A logic for strategic reasoning |
99
Voted
ICWS
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
102
Voted
AAAI
1994
15 years 2 months ago
1994
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...
110
Voted
SLP
1994
15 years 2 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
116
click to vote
CORR
2010
Springer
15 years 27 days ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
103
Voted
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...