M. A. Nait Abdallah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
1984–1991
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | ICCI | Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach. | M. A. Nait Abdallah |
| 1991 | MFCS | Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning. | M. A. Nait Abdallah |
| 1989 | FCT | An Extended Framework for Default Reasoning. | M. A. Nait Abdallah |
| 1989 | FCT | Logic Programming of Some Mathematical Paradoxes. | M. A. Nait Abdallah |
| 1988 | ICLP | Heuristic Logic and the Process of Discovery. | M. A. Nait Abdallah |
| 1987 | ICALP | Logic Programming with Ions. | M. A. Nait Abdallah |
| 1986 | ICLP | Procedures in Horn-Clause Programming. | M. A. Nait Abdallah |
| 1986 | MFCS | AL-Khowarizmi: A Formal System for Higher-Order Logic Programming. | M. A. Nait Abdallah |
| 1986 | STACS | Icons and Local Definitions in Logic Programming. | M. A. Nait Abdallah |
| 1985 | FCT | On some topological properties of logic programs. | M. A. Nait Abdallah |
| 1984 | ICALP | On the Interpretation of Infinite Computations in Logic Programming. | M. A. Nait Abdallah |