8228 search results - page 103 / 1646 » Structural Logical Relations |
ELPUB
2006
ACM
15 years 8 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
166
click to vote
LOGCOM
2010
14 years 9 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
120
click to vote
INLG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
126
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
104
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...