СТ |
SLDNFA: an Abductive Procedure for Normal Abductive Programs |
1992 |
Denecker M., De Scherye D. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
СТ |
Representing Incomplete Knowledge in Abductive Logic Programming |
1993 |
Denecker M., De Schreye D. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
СТ |
Abstracting s-semantics Using a Model-Theoretic Approach |
1994 |
Boulanger D., Bruynooghe M., Denecker M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
СТ |
The Abductive Event Calculus as a General Framework for Temporal Databases |
1994 |
Van Belleghem K., Denecker M., De Schreye D. |
|
|
|
Lecture Notes in Artificial Intelligence |
12.08.1994 |
СТ |
Combining Situation Calculus and Event Calculus |
1995 |
Van Belleghem K., Denecker M., De Schreye D. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
06.05.1996 |
СТ |
A Terminological Interpretation of (Abductive) Logic Programming |
1995 |
Denecker M. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
СТ |
A Strong Correspondence between Description Logics and Open Logic Programming |
1997 |
Van Belleghem K., Denecker M., De Schreye D. |
|
|
|
Logic Programming |
11.03.1998 |
СТ |
Compositionality of Normal Open Logic Programs |
1997 |
Verbaeten S., Denecker M., De Schreye D. |
|
|
|
Logic Programming |
05.03.1998 |
СТ |
Detecting Unsolvable Queries for Definite Logic Programs |
1998 |
Bruynooghe M., Vandecasteele H., De Waal D. A., Denecker M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
СТ |
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates |
2001 |
Denecker M., Pelov N., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
СТ |
On the Transformation of Object-Oriented Conceptual Models to Logical Theories |
2002 |
Bekaert P., Van Nuffelen B., Bruynooghe M., Gilis D., Denecker M. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
СТ |
Data Integration Using ID-Logic |
2004 |
Van Nuffelen B., Cortes-Calabuig A., Denecker M., Arieli O., Bruynooghe M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
13.07.2004 |