3776 search results - page 463 / 756 » Partition-Based Logical Reasoning |
112
Voted
ICWS
2003
IEEE
15 years 4 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 ...
116
click to vote
AAAI
1994
15 years 3 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 ...
125
Voted
SLP
1994
15 years 3 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...
133
Voted
CORR
2010
Springer
15 years 2 months 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...
114
Voted
ICRA
2010
IEEE
15 years 15 days 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...