3468 search results - page 183 / 694 » An open logical framework |
172
click to vote
CADE
2007
Springer
16 years 6 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...
155
click to vote
ICML
1994
IEEE
15 years 10 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...
172
click to vote
DLOG
2004
15 years 8 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 ...
191
click to vote
ADL
1998
Springer
15 years 10 months ago
1998
Springer
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
229
click to vote
SACMAT
2011
ACM
14 years 9 months ago
2011
ACM
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...