2012 search results - page 7 / 403 » CORAL - Control, Relations and Logic |
109
click to vote
ICMLA
2010
14 years 9 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
103
click to vote
ER
2007
Springer
15 years 4 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
JOLLI
2000
15 years 3 days ago
2000
128
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
Connectivity analysis methodology is suitable to find representative symptoms of a disease. This methodology describes connections between symptoms in particular way and then choos...
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...