Sciweavers

857 search results - page 74 / 172
» A Logic of Emotions for Intelligent Agents
Sort
View
AI
1998
Springer
15 years 5 months ago
The Logical Foundations of Goal-Regression Planning in Autonomous Agents
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
John L. Pollock
AAAI
2006
15 years 7 months ago
Finding Maximally Satisfiable Terminologies for the Description Logic ALC
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...
Thomas Andreas Meyer, Kevin Lee, Richard Booth, Je...
AAAI
2007
15 years 8 months ago
Prime Implicates and Prime Implicants in Modal Logic
The purpose of this paper is to extend the notions of prime implicates and prime implicants to the basic modal logic K. We consider a number of different potential definitions of...
Meghyn Bienvenu
AAAI
1998
15 years 7 months ago
A Fuzzy Description Logic
In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
Umberto Straccia
SBIA
1998
Springer
15 years 10 months ago
Argumentative and Cooperative Multi-agent System for Extended Logic Programming
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
Iara de Almeida Móra, José Jú...