Sciweavers

80 search results - page 3 / 16
» A Functional Program for Agents, Actions, and Deontic Specif...
Sort
View
ICLP
2010
Springer
13 years 11 months ago
HEX Programs with Action Atoms
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
Selen Basol, Ozan Erdem, Michael Fink, Giovambatti...
AAAI
1996
13 years 8 months ago
Generalizing Indexical-Functional Reference
The goals of situated agents generally do not specify particular objects: they require only that some suitable object should be chosen and manipulated (e.g. any red block). Situat...
Marcel Schoppers, Richard Shu
AAAI
2007
13 years 9 months ago
Optimal Multi-Agent Scheduling with Constraint Programming
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
Willem Jan van Hoeve, Carla P. Gomes, Bart Selman,...
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 7 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
CCIA
2009
Springer
13 years 8 months ago
J-MADeM, an open-source library for social decision-making
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
Francisco Grimaldo, Miguel Lozano, Fernando Barber