58 search results - page 7 / 12 » Intensional Sets in CLP |
116
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
113
click to vote
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
We demonstrate a system to automatically grab data from data intensive web sites. The system first infers a model that describes at the intensional level the web site as a collec...
109
Voted
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
118
click to vote
COLING
2008
15 years 3 months ago
2008
This paper elaborates a model for representing semantic calendar expressions (SCEs), which correspond to the intensional meanings of natural-language calendar phrases. The model u...
133
Voted
ACL
1992
15 years 3 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...