Sciweavers

2920 search results - page 285 / 584
» Finite information logic
Sort
View
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
15 years 1 months ago
A distributed joint-learning and auction algorithm for target assignment
We consider an agent-target assignment problem in an unknown environment modeled as an undirected graph. Agents do not know this graph or the locations of the targets on it. Howeve...
Teymur Sadikhov, Minghui Zhu, Sonia Martíne...
COMMA
2010
15 years 1 months ago
Expanding Argumentation Frameworks: Enforcing and Monotonicity Results
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...
Ringo Baumann, Gerhard Brewka
CCIA
2007
Springer
16 years 28 days ago
Reasoning about actions under uncertainty: A possibilistic approach
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
Juan Carlos Nieves, Mauricio Osorio, Ulises Cort&e...
SUM
2007
Springer
16 years 26 days ago
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
Mónica Caniupán Marileo, Leopoldo E....
TRUSTBUS
2007
Springer
16 years 26 days ago
Usage Control in Service-Oriented Architectures
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
Alexander Pretschner, Fabio Massacci, Manuel Hilty