Sciweavers

433 search results - page 65 / 87
» Agent Communication Languages for Information-Centric Agent ...
Sort
View
ATAL
2011
Springer
13 years 11 months ago
Reasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
AAAI
2006
15 years 1 months ago
Inconsistencies, Negations and Changes in Ontologies
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimi...
WSC
2007
15 years 2 months ago
From domain ontologies to modeling ontologies to executable simulation models
Ontologies allow researchers, domain experts, and software agents to share a common understanding of the concepts and relationships of a domain. The past few years have seen the p...
Gregory A. Silver, Osama Al-Haj Hassan, John A. Mi...
AAI
2002
161views more  AAI 2002»
14 years 11 months ago
Scripting Affective Communication with Life-Like Characters in Web-Based Interaction Systems
In this paper, we discuss scripting tools that aim at facilitating the design of web-based interactions with animated characters capable of affective communication. Specifically, ...
Helmut Prendinger, Sylvain Descamps, Mitsuru Ishiz...
ATAL
2005
Springer
15 years 5 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...