Sciweavers

857 search results - page 21 / 172

» A Logic of Emotions for Intelligent Agents

14

AAAI
2006

96views Intelligent Agents» more AAAI 2006»

On the Update of Description Logic Ontologies at the Instance Level

13 years 9 months ago

On the Update of Description Logic Ontologies at the Instance Level

Download www.aaai.org

Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...

claim paper

Read More »

21

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

13 years 9 months ago

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

Download www.jair.org

Tran Cao Son, Enrico Pontelli, Phan Huy Tu

claim paper

Read More »

24

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

13 years 8 months ago

Improved bounded model checking for a fair branching-time temporal epistemic logic

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

17

ATAL
2010
Springer

119views Intelligent Agents» more ATAL 2010»

Logic of information flow on communication channels

13 years 8 months ago

Logic of information flow on communication channels

Download homepages.cwi.nl

Yanjing Wang, Floor Sietsma, Jan van Eijck

claim paper

Read More »

27

ECAI
2004
Springer

138views Artificial Intelligence» more ECAI 2004»

Applying Affective Tactics for a Better Learning

14 years 1 months ago

Applying Affective Tactics for a Better Learning

Download www.inf.unisinos.br

This paper describes the Mediating Agent, an animated pedagogical agent inserted in a computational system for distance learning, which has the goal of motivating the student to le...

Patrícia Augustin Jaques, Rosa Maria Vicari...

claim paper

Read More »

« Prev « First page 21 / 172 Last » Next »