Sciweavers

619 search results - page 6 / 124
» A logical formalism for the subjective approach in a multi-a...
Sort
View
IJCAI
1997
13 years 8 months ago
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
Angelo Montanari, Alberto Policriti
ATAL
2003
Springer
13 years 12 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos
KR
2010
Springer
13 years 11 months ago
Probabilistic Description Logics for Subjective Uncertainty
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
Carsten Lutz, Lutz Schröder
ATAL
2003
Springer
13 years 12 months ago
Integrating evolutionary computing and the SADDE methodology
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
Carles Sierra, Jordi Sabater, Jaume Agustí-...
CORR
2010
Springer
185views Education» more  CORR 2010»
13 years 3 months ago
Analysing the behaviour of robot teams through relational sequential pattern mining
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
Grazia Bombini, Raquel Ros, Stefano Ferilli, Ramon...