3319 search results - page 91 / 664 » Subshifts, Languages and Logic |
83
Voted
SYNTHESE
2008
15 years 15 days ago
2008
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
98
Voted
FOSSACS
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
115
Voted
CONTEXT
2007
Springer
15 years 6 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...
88
Voted
ACL
2009
14 years 10 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...
110
click to vote
KR
2000
Springer
15 years 4 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...