Sciweavers

857 search results - page 94 / 172
» A Logic of Emotions for Intelligent Agents
Sort
View
AAAI
2012
11 years 11 months ago
Goal Recognition with Markov Logic Networks for Player-Adaptive Games
Goal recognition in digital games involves inferring players’ goals from observed sequences of low-level player actions. Goal recognition models support player-adaptive digital ...
Eun Y. Ha, Jonathan P. Rowe, Bradford W. Mott, Jam...
AAAI
2012
11 years 11 months ago
Reformulating Temporal Action Logics in Answer Set Programming
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
Joohyung Lee, Ravi Palla
AAMAS
2008
Springer
13 years 9 months ago
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
AAAI
2008
13 years 11 months ago
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications, and has thus been studied by many auth...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
AAAI
2007
13 years 11 months ago
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...
Fatiha Saïs, Nathalie Pernelle, Marie-Christi...