Sciweavers

14 search results - page 2 / 3
» atal 1997
Sort
View
ATAL
1997
Springer
13 years 9 months ago
A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
Michael Schroeder, Iara de Almeida Móra, Lu...
ATAL
1997
Springer
13 years 9 months ago
On the Epistemic Foundations of Agent Theories
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...
Ho Ngoc Duc
ATAL
1997
Springer
13 years 9 months ago
Toward the Specification and Design of Industrial Synthetic Ecosystems
Many agent-based systems rely for their effectiveness on the intelligence of individual agents, and interaction among agents is required simply to coordinate these individually com...
H. Van Dyke Parunak, John A. Sauter, Steve Clark
ATAL
1997
Springer
13 years 9 months ago
A Framework for Argumentation-Based Negotiation
Abstract. Many autonomous agents operate in domains in which the cooperation of their fellow agents cannot be guaranteed. In such domains negotiation is essential to persuade other...
Carles Sierra, Nicholas R. Jennings, Pablo Noriega...
ATAL
1997
Springer
13 years 9 months ago
Multi-Agent Coordination through Coalition Formation
Incorporating coalition formation algorithms into agent systems shall be advantageous due to the consequent increase in the overall quality of task performance. Coalition formatio...
Onn Shehory, Katia P. Sycara, Somesh Jha