3440 search results - page 90 / 688 » Logics For Context-Free Languages |
152
Voted
JOLLI
2008
15 years 6 months ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
174
click to vote
DATESO
2008
15 years 8 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
213
click to vote
JAIR
1998
15 years 6 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
167
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
152
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...