2022 search results - page 93 / 405 » Complexity of Non-Monotonic Logics |
112
click to vote
DBISP2P
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
86
Voted
CLIMA
2004
15 years 2 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
76
Voted
WOA
2003
15 years 2 months ago
2003
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
140
click to vote
SEBD
2001
15 years 2 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...