 | 2000 |
16 |  | Els Laenens,
Dirk Vermeir:
A Universal Fixpoint Semantics for Ordered Logic.
Computers and Artificial Intelligence 19(3): (2000) |
| 1993 |
15 |  | Els Laenens:
On the Semantics of Negations in Logic Programming.
ECSQARU 1993: 213-226 |
| 1992 |
14 |  | Els Laenens,
Dirk Vermeir,
Carlo Zaniolo:
Logic Programming Semantics Made Easy.
ICALP 1992: 499-508 |
13 |  | Els Laenens,
Dirk Vermeir:
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.
J. Log. Comput. 2(2): 133-172 (1992) |
| 1991 |
12 |  | Matts Ahlsen,
Alessandro D'Atri,
Paul Johannesson,
Els Laenens,
Nicola Leone,
Pasquale Rullo,
P. Rossi,
François Staes,
Laura Tarantino,
L. Van Beirendonck,
L. Van Cadsand,
W. Van Santvliet,
J. Vanslembrouck,
Brigitte Verdonk,
Dirk Vermeir:
The KIWIS Knowledge Base Management System.
CAiSE 1991: 79-97 |
11 |  | Dov M. Gabbay,
Els Laenens,
Dirk Vermeir:
Credulous vs. Sceptical Semantics for Ordered Logic Programs.
KR 1991: 208-217 |
10 |  | Els Laenens,
Dirk Vermeir:
On the Relationship between Well-Founded and Stable Partial Models.
MFDBS 1991: 59-73 |
| 1990 |
9 |  | Els Laenens,
Dirk Vermeir:
A Logical Basis for Object Oriented Programming.
JELIA 1990: 317-332 |
8 |  | Els Laenens,
Brigitte Verdonk,
Dirk Vermeir:
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.
LPNMR 1990: 62-72 |
7 |  | Els Laenens,
Domenico Saccà,
Dirk Vermeir:
Extending Logic Programming.
SIGMOD Conference 1990: 184-193 |
6 |  | François Staes,
Els Laenens,
Laura Tarantino:
Towards a Flexible User Interface for Knowledge Bases.
VL 1990: 143-148 |
5 |  | Els Laenens,
Dirk Vermeir:
A Fixpoint Semantics for Ordered Logic.
J. Log. Comput. 1(2): 159-185 (1990) |
4 |  | Els Laenens,
Dirk Vermeir:
Advanced knowledge-base environments for large database systems.
Knowl.-Based Syst. 3(4): 215-220 (1990) |
| 1989 |
3 |  | Els Laenens,
François Staes,
Dirk Vermeir:
A Customizable Window-Interface to Object-Oriented Databases.
ECOOP 1989: 367-381 |
2 |  | Els Laenens,
François Staes,
Dirk Vermeir:
Browsing à la Carte in Object-Oriented Databases.
Comput. J. 32(4): 333-340 (1989) |
| 1988 |
1 |  | Els Laenens,
Dirk Vermeir:
An Overview of OOPS+, An Object-Oriented Database Programming Language.
ECOOP 1988: 350-373 |