3481 search results - page 369 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
148
click to vote
PKDD
2004
Springer
15 years 10 months ago
2004
Springer
This paper proposes an efficient method to learn from multi source data with an Inductive Logic Programming method. The method is based on two steps. The first one consists in lea...
166
Voted
CADE
1992
Springer
15 years 9 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
153
click to vote
ICIW
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
151
click to vote
MICAI
2000
Springer
15 years 8 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
129
click to vote
APLAS
2008
ACM
15 years 7 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....