Areski Nait Abdallah

According to our database, Areski Nait Abdallah authored at least 17 papers between 1984 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information.

Areski Nait Abdallah, Alain Lecomte

Proceedings of the Logical Aspects of Computational Linguistics, 2005

2001

Optimal models and optimal trajectories in logical dynamics.

Areski Nait Abdallah

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

1995

The Logic of Partial Information

Areski Nait Abdallah

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-78160-5, 1995

1991

Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning.

M. A. Nait Abdallah

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach.

M. A. Nait Abdallah

Proceedings of the Advances in Computing and Information, 1991

1989

A Logico-Algebraic Approach to the Model Theory of Knowledge.

M. A. Nait Abdallah

Theor. Comput. Sci., 1989

Logic Programming of Some Mathematical Paradoxes.

M. A. Nait Abdallah

Proceedings of the Fundamentals of Computation Theory, 1989

An Extended Framework for Default Reasoning.

M. A. Nait Abdallah

Proceedings of the Fundamentals of Computation Theory, 1989

1988

Heuristic Logic and the Process of Discovery.

M. A. Nait Abdallah

Proceedings of the Logic Programming, 1988

1987

Logic Programming with Ions.

M. A. Nait Abdallah

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986

Icons and Local Definitions in Logic Programming.

M. A. Nait Abdallah

Proceedings of the STACS 86, 1986

AL-Khowarizmi: A Formal System for Higher-Order Logic Programming.

M. A. Nait Abdallah

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Procedures in Horn-Clause Programming.

M. A. Nait Abdallah

Proceedings of the Third International Conference on Logic Programming, 1986

1985

Top-Down Semantics of Fair Computations of Logic Programs.

Maarten H. van Emden, M. A. Nait Abdallah

J. Log. Program., 1985

On some topological properties of logic programs.

M. A. Nait Abdallah

Proceedings of the Fundamentals of Computation Theory, 1985

1984

Data Types as Algorithms.

M. A. Nait Abdallah

RAIRO Theor. Informatics Appl., 1984

On the Interpretation of Infinite Computations in Logic Programming.

M. A. Nait Abdallah

Proceedings of the Automata, 1984