3481 search results - page 384 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
161
Voted
FUIN
2010
15 years 2 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
133
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
152
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
166
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
125
click to vote
ICS
2000
Tsinghua U.
15 years 8 months ago
2000
Tsinghua U.
One of the main concerns in today's processor design is the issue logic. Instruction-level parallelism is usually favored by an out-of-order issue mechanism where instruction...