M. A. Nait Abdallah

Publication Activity (10 Years)

Years Active: 1984-1991
Publications (10 Years): 0

Publications

M. A. Nait Abdallah
Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach. ICCI (1991)
M. A. Nait Abdallah
Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning. MFCS (1991)
M. A. Nait Abdallah
Logic Programming of Some Mathematical Paradoxes. FCT (1989)
M. A. Nait Abdallah
An Extended Framework for Default Reasoning. FCT (1989)
M. A. Nait Abdallah
A Logico-Algebraic Approach to the Model Theory of Knowledge. Theor. Comput. Sci. 66 (2) (1989)
M. A. Nait Abdallah
Heuristic Logic and the Process of Discovery. ICLP/SLP (1988)
M. A. Nait Abdallah
Logic Programming with Ions. ICALP (1987)
M. A. Nait Abdallah
Icons and Local Definitions in Logic Programming. STACS (1986)
M. A. Nait Abdallah
AL-Khowarizmi: A Formal System for Higher-Order Logic Programming. MFCS (1986)
M. A. Nait Abdallah
Procedures in Horn-Clause Programming. ICLP (1986)
M. A. Nait Abdallah
On some topological properties of logic programs. FCT (1985)
Maarten H. van Emden, M. A. Nait Abdallah
Top-Down Semantics of Fair Computations of Logic Programs. J. Log. Program. 2 (1) (1985)
M. A. Nait Abdallah
Data Types as Algorithms. RAIRO Theor. Informatics Appl. 18 (1) (1984)
M. A. Nait Abdallah
On the Interpretation of Infinite Computations in Logic Programming. ICALP (1984)