Sciweavers

857 search results - page 53 / 172
» A Logic of Emotions for Intelligent Agents
Sort
View
ATAL
2007
Springer
15 years 6 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
ECAI
2006
Springer
15 years 5 months ago
Towards a Logic of Agency and Actions with Duration
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...
Nicolas Troquard, Laure Vieu
AAAI
2010
15 years 3 months ago
Ordered Completion for First-Order Logic Programs on Finite Structures
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
AAAI
1998
15 years 3 months ago
Logical Representation and Computation of Optimal Decisions in a Qualitative Setting
This paper describes a logical machineryfor computing decisions based on an ATMSprocedure, wherethe available knowledgeon the state of the world is describedbya possibilistic prop...
Didier Dubois, Daniel Le Berre, Henri Prade, R&eac...
ATAL
2010
Springer
15 years 3 months ago
On the logic of argumentation theory
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
Davide Grossi