On the Interpretation of Infinite Computations in Logic Programming. - M. A. Nait Abdallah (ICALP, 1984)

Data Types as Algorithms. - M. A. Nait Abdallah (RAIRO Theor. Informatics Appl., 1984)

On some topological properties of logic programs. - M. A. Nait Abdallah (FCT, 1985)

Top-Down Semantics of Fair Computations of Logic Programs. - Maarten H. van Emden; M. A. Nait Abdallah (J. Log. Program., 1985)

Procedures in Horn-Clause Programming. - M. A. Nait Abdallah (ICLP, 1986)

AL-Khowarizmi: A Formal System for Higher-Order Logic Programming. - M. A. Nait Abdallah (MFCS, 1986)

Icons and Local Definitions in Logic Programming. - M. A. Nait Abdallah (STACS, 1986)

Logic Programming with Ions. - M. A. Nait Abdallah (ICALP, 1987)

Heuristic Logic and the Process of Discovery. - M. A. Nait Abdallah (ICLP/SLP, 1988)

An Extended Framework for Default Reasoning. - M. A. Nait Abdallah (FCT, 1989)

Logic Programming of Some Mathematical Paradoxes. - M. A. Nait Abdallah (FCT, 1989)

A Logico-Algebraic Approach to the Model Theory of Knowledge. - M. A. Nait Abdallah (Theor. Comput. Sci., 1989)

Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach. - M. A. Nait Abdallah (ICCI, 1991)

Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning. - M. A. Nait Abdallah (MFCS, 1991)

The Logic of Partial Information - Areski Nait Abdallah (Springer, 1995)

Optimal models and optimal trajectories in logical dynamics. - Areski Nait Abdallah (JFPLC, 2001)

On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information. - Areski Nait Abdallah; Alain Lecomte (LACL, 2005)