9145 search results - page 202 / 1829 » Description Logic Systems |
146
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
219
click to vote
TLCA
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
164
click to vote
ENTCS
2006
15 years 6 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
153
click to vote
IEAAIE
2005
Springer
16 years 7 hour ago
2005
Springer
When visiting cities as tourists, most users intend to explore the area looking for interesting things to see or for information about places, events, and so on. An adaptive inform...
163
click to vote
INLG
2004
Springer
15 years 12 months ago
2004
Springer
This discussion paper describes a sequence of experiments with human subjects aimed at finding out how an nlg system should choose between the different forms of a gradable adjec...