Sciweavers

15372 search results - page 366 / 3075
» The Semantics of Semantic Annotation
Sort
View
ENTCS
2007
98views more  ENTCS 2007»
15 years 6 months ago
Event Structures with Symmetry
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...
Glynn Winskel
177
Voted
TOIT
2008
115views more  TOIT 2008»
15 years 6 months ago
Resource space model, OWL and database: Mapping and integration
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
Hai Zhuge, Yunpeng Xing, Peng Shi
IPM
2000
99views more  IPM 2000»
15 years 6 months ago
Searching the web by constrained spreading activation
Intelligent Information Retrieval is concerned with the application of intelligent techniques, like for example semantic networks, neural networks and inference nets to Informatio...
Fabio Crestani, Puay Leng Lee
ECAI
2010
Springer
15 years 4 months ago
LTL Goal Specifications Revisited
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
Andreas Bauer 0002, Patrik Haslum
LPAR
2010
Springer
15 years 4 months ago
Graded Alternating-Time Temporal Logic
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
Marco Faella, Margherita Napoli, Mimmo Parente