Sciweavers

191 search results - page 20 / 39
» Sound for A-Life Agents
Sort
View
AAAI
2012
11 years 10 months ago
A Multi-Path Compilation Approach to Contingent Planning
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
Ronen I. Brafman, Guy Shani
AAAI
2007
13 years 9 months ago
A Modal Logic for Beliefs and Pro Attitudes
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
IFIP
2004
Springer
14 years 26 days ago
A Logic for Auditing Accountability in Decentralized Systems
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
Ricardo Corin, Sandro Etalle, J. I. den Hartog, Ga...
LREC
2010
156views Education» more  LREC 2010»
13 years 9 months ago
The AVLaughterCycle Database
This paper presents the large audiovisual laughter database recorded as part of the AVLaughterCycle project held during the eNTERFACE'09 Workshop in Genova. 24 subjects parti...
Jérôme Urbain, Elisabetta Bevacqua, T...
HEURISTICS
2006
102views more  HEURISTICS 2006»
13 years 7 months ago
A logic of soft constraints based on partially ordered preferences
Representing and reasoning with an agent's preferences is important in many applications of constraints formalisms. Such preferences are often only partially ordered. One clas...
Nic Wilson