Sciweavers

1316 search results - page 60 / 264
» Intelligent Agents: Issues and Logics
Sort
View
AAAI
2008
15 years 5 days ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran
AAAI
2007
15 years 5 days ago
Logic for Automated Mechanism Design - A Progress Report
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
Michael Wooldridge, Thomas Ågotnes, Paul E. ...
AUSAI
2005
Springer
15 years 3 months ago
A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
Kenneth A. Hawick, Heath A. James, C. J. Scogings
DALT
2009
Springer
15 years 1 months ago
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report
Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievemen...
Shakil M. Khan, Yves Lespérance
DALT
2004
Springer
15 years 3 months ago
On Modelling Multi-agent Systems Declaratively
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
Andrea Bracciali, Paolo Mancarella, Kostas Stathis...