M. A. Nait Abdallah

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