Sciweavers

1316 search results - page 81 / 264
» Intelligent Agents: Issues and Logics
Sort
View
DALT
2008
Springer
15 years 8 months ago
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
Mehdi Dastani, Koen V. Hindriks, Peter Nová...
AUSAI
2003
Springer
15 years 11 months ago
A Defeasible Logic of Policy-Based Intention
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
Guido Governatori, Vineet Padmanabhan
HICSS
2002
IEEE
140views Biometrics» more  HICSS 2002»
15 years 11 months ago
Intelligent Student Profiling with Fuzzy Models
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
Dongming Xu, Huaiqing Wang, Kaile Su
ATAL
2003
Springer
15 years 11 months ago
Model checking agentspeak
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
Rafael H. Bordini, Michael Fisher, Carmen Pardavil...
AAMAS
2008
Springer
15 years 6 months ago
Dynamic intention structures I: a theory of intention representation
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
Luke Hunsberger, Charles L. Ortiz Jr.