12194 search results - page 59 / 2439 » cans 2010 |
ENTCS
2006
13 years 8 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
SIGDIAL
2010
13 years 6 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
ICFCA
2010
Springer
14 years 3 months ago
2010
Springer
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...
AAAI
2010
13 years 10 months ago
2010
We carry out a comparative study of the expressive power of different ontologies of matter in terms of the ease with which simple physical knowledge can be represented. In particu...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The paper proposes an ancient landscape design as an example of graphic design for an age and place where no written documents existed. It is created by a network of earthworks, w...