1814 search results - page 151 / 363 » Extended First-Order Logic |
156
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
119
click to vote
ICCAD
2008
IEEE
16 years 11 days ago
2008
IEEE
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
158
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
106
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for...
145
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...