3440 search results - page 108 / 688 » Logics For Context-Free Languages |
190
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
153
click to vote
ACL
2009
15 years 4 months ago
2009
The development of Dialog-Based ComputerAssisted Language Learning (DB-CALL) systems requires research on the simulation of language learners. This paper presents a new method for...
174
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
152
click to vote
FSTTCS
2007
Springer
16 years 29 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
152
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...