3515 search results - page 204 / 703 » On the semantics of Strategy Logic |
201
click to vote
COMPSAC
1996
IEEE
15 years 11 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
151
click to vote
AAAI
2007
15 years 9 months ago
2007
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...
232
click to vote
JAIR
2007
15 years 7 months ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
190
click to vote
SSDBM
2003
IEEE
16 years 20 days ago
2003
IEEE
Accessing data stored in persistent memory represents a bottleneck for current visual exploration applications. Semantic caching of frequent queries at the client-side along with ...
208
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...