1061 search results - page 102 / 213 » Dependently Sorted Logic |
133
click to vote
OTM
2009
Springer
15 years 9 months ago
2009
Springer
We present ontology databases with not-gadgets, a method for detecting inconsistencies in an ontology with large numbers of annotated instances by using triggers and exclusion depe...
116
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be...
146
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
150
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
152
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...