Sciweavers

8228 search results - page 145 / 1646
» Structural Logical Relations
Sort
View
ICML
2004
IEEE
14 years 11 months ago
Bellman goes relational
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
Kristian Kersting, Martijn Van Otterlo, Luc De Rae...
APAL
2004
84views more  APAL 2004»
13 years 10 months ago
Finite, integral, and finite-dimensional relation algebras: a brief history
Relation were invented by Tarski and his collaborators in the middle of the twentieth century. The concept of integrality arose naturally early in the history of the subject, and s...
Roger D. Maddux
SEKE
2005
Springer
14 years 3 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
JSYML
2006
76views more  JSYML 2006»
13 years 10 months ago
Diagonal actions and Borel equivalence relations
We investigate diagonal actions of Polish groups and the related intersection operator on closed subgroups of the acting group. The Borelness of the diagonal orbit equivalence rela...
Longyun Ding, Su Gao
ACL
2008
13 years 11 months ago
Learning Semantic Links from a Corpus of Parallel Temporal and Causal Relations
Finding temporal and causal relations is crucial to understanding the semantic structure of a text. Since existing corpora provide no parallel temporal and causal annotations, we ...
Steven Bethard, James H. Martin