Sciweavers

135 search results - page 12 / 27
» A New Logical Semantics for Agent Communication
Sort
View
CCIA
2007
Springer
15 years 3 months ago
On the Multimodal Logic of Elementary Normative Systems
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
Pilar Dellunde
LORI
2009
Springer
15 years 4 months ago
Dynamic Testimonial Logic
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
Wesley H. Holliday
AGP
2003
IEEE
15 years 2 months ago
Reasoning about the Semantic Web using Answer Set Programming
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
Giovambattista Ianni, Francesco Calimeri, Vincenzi...
AAAI
2007
14 years 12 months ago
Semantic Inference at the Lexical-Syntactic Level
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnar...
81
Voted
ECAI
2006
Springer
15 years 1 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr