Sciweavers

690 search results - page 51 / 138
» Logical Agents for Language and Action
Sort
View
DLOG
2006
13 years 9 months ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
Haiyan Che, Jigui Sun
ATAL
2010
Springer
13 years 9 months ago
Resource-bounded alternating-time temporal logic
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
AAAI
2007
13 years 10 months ago
Expressiveness of ADL and Golog: Functions Make a Difference
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...
Gabriele Röger, Bernhard Nebel
AOSE
2005
Springer
14 years 1 months ago
Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
Gerhard Weiß, Felix A. Fischer, Matthias Nic...
ECAI
2004
Springer
14 years 1 months ago
Expectation Reasoning Using Regret and Disappointment
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
Bình Vu Trân, James Harland, Margaret...