Sciweavers

4126 search results - page 135 / 826
» Relationships with other Formalisms
Sort
View
CONTEXT
2001
Springer
15 years 11 months ago
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
AGTIVE
1999
Springer
15 years 10 months ago
Creating Semantic Representations of Diagrams
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
Mark Minas
ATAL
1999
Springer
15 years 10 months ago
Reasoning about Visibility, Perception and Knowledge
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
Michael Wooldridge, Alessio Lomuscio
KR
1998
Springer
15 years 10 months ago
Using an Expressive Description Logic: FaCT or Fiction?
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
Ian Horrocks
ELPUB
1997
ACM
15 years 10 months ago
Generic Hypermedia Structure and Presentation Specification
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
Lloyd Rutledge, Jacco van Ossenbruggen, Lynda Hard...