2766 search results - page 186 / 554 » Hybridizing a Logical Framework |
147
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
130
click to vote
ICML
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
139
Voted
DLOG
2004
15 years 6 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
120
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
126
click to vote
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...