1792 search results - page 59 / 359 » What Are We Arguing About |
ENTCS
2010
13 years 10 months ago
2010
It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towar...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
Most existing work in agent programming assumes an execution model where an agent has a knowledge base (KB) about the current state of the world, and makes decisions about what to ...
AUSDM
2006
Springer
14 years 1 months ago
2006
Springer
During knowledge acquisition multiple alternative potential rules all appear equally credible. This paper addresses the dearth of formal analysis about how to select between such a...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
The research literature investigating the construction of tutorial dialogue and learning companion environments present parallel experiences in attempting to emulate what has been ...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...