Sciweavers

1143 search results - page 60 / 229
» Prospective Logic Agents
Sort
View
CLIMA
2011
14 years 6 months ago
A Dynamic Logic of Institutional Actions
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
JUCS
2010
114views more  JUCS 2010»
15 years 4 months ago
Deontic Logic-based Framework for Ontology Aligment in Agent Communities
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
Grzegorz Kolaczek, Krzysztof Juszczyszyn
AAAI
2007
15 years 8 months ago
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
Alfredo Gabaldon, Gerhard Lakemeyer
IDC
2009
Springer
16 years 23 days ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...
AIML
2008
15 years 7 months ago
Undecidability for arbitrary public announcement logic
Arbitrary public announcement logic (APAL) is an extension of multi-agent epistemic logic that allows agents' knowledge states to be updated by the public announcement of (pos...
Tim French, Hans P. van Ditmarsch