3440 search results - page 96 / 688 » Logics For Context-Free Languages |
181
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
188
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...
202
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
166
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
180
click to vote
PODS
1997
ACM
15 years 11 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...