2585 search results - page 48 / 517 » Automating Coherent Logic |
109
click to vote
ACL
2010
15 years 16 hour ago
2010
One goal of natural language generation is to produce coherent text that presents information in a logical order. In this paper, we show that topological fields, which model high-...
114
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
103
click to vote
ISBI
2004
IEEE
16 years 2 months ago
2004
IEEE
A simple method is presented to reduce within-group inter-subject scatter in diffusion tensor magnetic resonance imaging (DT-MRI). By "borrowing strength" across co-regi...
126
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
120
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...