2012 search results - page 17 / 403 » CORAL - Control, Relations and Logic |
138
Voted
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
110
click to vote
COLING
2008
15 years 3 months ago
2008
We propose a new integrated approach based on Markov logic networks (MLNs), an effective combination of probabilistic graphical models and firstorder logic for statistical relatio...
126
Voted
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
127
click to vote
JANCL
2006
15 years 1 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
120
click to vote
DLOG
2003
15 years 3 months ago
2003
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...