Sciweavers

857 search results - page 45 / 172
» A Logic of Emotions for Intelligent Agents
Sort
View
ATAL
2010
Springer
15 years 3 months ago
A logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Shakil M. Khan, Yves Lespérance
EPIA
2001
Springer
15 years 6 months ago
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
AGI
2008
15 years 3 months ago
OSCAR: An Architecture for Generally Intelligent Agents
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
John L. Pollock
ATAL
2007
Springer
15 years 6 months ago
A grounded specification language for agent programs
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...
AAAI
2000
15 years 3 months ago
A Demand-Driven Algorithm for Generating Minimal Models
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
Rachel Ben-Eliyahu-Zohary