 | 1991 |
|---|
| 14 |       | M. A. Nait Abdallah:
Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach.
ICCI 1991: 675-686 |
| 13 | | M. A. Nait Abdallah:
Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning.
MFCS 1991: 357-366 |
| 1989 |
|---|
| 12 |  | M. A. Nait Abdallah:
An Extended Framework for Default Reasoning.
FCT 1989: 339-348 |
| 11 | | M. A. Nait Abdallah:
Logic Programming of Some Mathematical Paradoxes.
FCT 1989: 349-361 |
| 10 | | M. A. Nait Abdallah:
A Logico-Algebraic Approach to the Model Theory of Knowledge.
Theor. Comput. Sci. 66(2): 205-232 (1989) |
| 1988 |
|---|
| 9 | | M. A. Nait Abdallah:
Heuristic Logic and the Process of Discovery.
ICLP/SLP 1988: 859-875 |
| 1987 |
|---|
| 8 | | M. A. Nait Abdallah:
Logic Programming with Ions.
ICALP 1987: 11-20 |
| 1986 |
|---|
| 7 | | M. A. Nait Abdallah:
Procedures in Horn-Clause Programming.
ICLP 1986: 433-447 |
| 6 | | M. A. Nait Abdallah:
AL-Khowarizmi: A Formal System for Higher-Order Logic Programming.
MFCS 1986: 545-553 |
| 5 | | M. A. Nait Abdallah:
Icons and Local Definitions in Logic Programming.
STACS 1986: 60-72 |
| 1985 |
|---|
| 4 | | M. A. Nait Abdallah:
On some topological properties of logic programs.
FCT 1985: 310-319 |
| 3 | | Maarten H. van Emden,
M. A. Nait Abdallah:
Top-Down Semantics of Fair Computations of Logic Programs.
J. Log. Program. 2(1): 67-75 (1985) |
| 1984 |
|---|
| 2 | | M. A. Nait Abdallah:
On the Interpretation of Infinite Computations in Logic Programming.
ICALP 1984: 358-370 |
| 1 | | M. A. Nait Abdallah:
Data Types as Algorithms.
ITA 18(1): 3-22 (1984) |
