1814 search results - page 251 / 363 » Extended First-Order Logic |
150
click to vote
OWLED
2008
15 years 5 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
168
click to vote
JAR
2006
15 years 4 months ago
2006
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the...
181
click to vote
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
207
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
124
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...