2766 search results - page 75 / 554 » Hybridizing a Logical Framework |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
ENTCS
2008
13 years 10 months ago
2008
This paper describes the Signature Compiler, which can compile an LF signature to a custom proof checker in either C++ or Java, specialized for that signature. Empirical results a...
ESWA
2008
13 years 10 months ago
2008
CP
2000
Springer
14 years 2 months ago
2000
Springer
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
RR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...