2766 search results - page 32 / 554 » Hybridizing a Logical Framework |
143
click to vote
EH
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we perform a comparative study of different heuristics used to design combinational logic circuits. The use of local search hybridized with a genetic algorithm and ...
124
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
114
click to vote
REX
1989
15 years 7 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
140
click to vote
IJCAI
2003
15 years 5 months ago
2003
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar chy of decidable logics with multiple maximal el ements. It would be desirable to ...
138
click to vote
JOLLI
2002
15 years 3 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...