593 search results - page 36 / 119 » RDF and Logic: Reasoning and Extension |
149
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
79
Voted
CADE
2006
Springer
16 years 27 days ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
105
Voted
ECSQARU
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
128
Voted
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
117
click to vote
PERCOM
2004
ACM
16 years 6 days ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...