3481 search results - page 292 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
140
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
132
click to vote
LICS
1989
IEEE
15 years 8 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
203
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
162
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
170
click to vote
COMPASS
1994
15 years 8 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...