Sciweavers

857 search results - page 63 / 172
» A Logic of Emotions for Intelligent Agents
Sort
View
ECAI
2004
Springer
15 years 7 months ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz
CCIA
2008
Springer
15 years 4 months ago
On Partial Deduction and Conversational Agents
Agents are situated autonomous entities that perceive and act in their environment, and communicate with other agents. An agent usually starts a conversation by querying another a...
M. Mariela Morveli-Espinoza, Josep Puyol-Gruart
JELIA
2004
Springer
15 years 7 months ago
Practical Reasoning for Uncertain Agents
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe ...
ATAL
2007
Springer
15 years 8 months ago
On the Multimodal Logic of Normative Systems
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
Pilar Dellunde
DALT
2009
Springer
15 years 6 months ago
Tableaux for Acceptance Logic
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
Mathijs de Boer, Andreas Herzig, Tiago De Lima, Em...