233 search results - page 34 / 47 » Knowledge and modality |
90
Voted
AAAI
1994
14 years 11 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
COLING
1996
14 years 11 months ago
1996
This paper proposes a method to resolve the reference of deictic Japanese zero pronouns which can be implemented in a practical machine translation system. This method focuses on ...
IJOE
2008
14 years 9 months ago
2008
: In this paper we investigated the role of motor-manipulatory behaviour in the learning modalities of thirty-five primary school children interacting with a Lego MindStorms kit. I...
105
Voted
DLOG
2009
14 years 7 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...