Sciweavers

5198 search results - page 29 / 1040
» A Logic of Agent Programs
Sort
View
ACIIDS
2010
IEEE
170views Database» more  ACIIDS 2010»
14 years 15 days ago
Moral Hazard Resolved by Common-Knowledge in S5n Logic
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
Takashi Matsuhisa
ATAL
2005
Springer
14 years 28 days ago
A computationally grounded logic of knowledge, belief and certainty
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
Kaile Su, Abdul Sattar, Guido Governatori, Qinglia...
DALT
2003
Springer
14 years 18 days ago
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
Álvaro F. Moreira, Renata Vieira, Rafael H....
FUIN
2010
116views more  FUIN 2010»
13 years 4 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
WEBI
2007
Springer
14 years 1 months ago
Logic Programming to Address Issues of the Semantic Web
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
Isambo Karali