Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Areski Nait Abdallah

M. Areski Nait Abdallah – M. A. Nait Abdallah

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1995
[b1]
- view
  authority control:
- export record
  dblp key:
  - series/eatcs/Abdallah95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/eatcs/Abdallah95
Areski Nait Abdallah:
The Logic of Partial Information. Monographs in Theoretical Computer Science. An EATCS Series, Springer 1995, ISBN 978-3-642-78162-9, pp. I-XXV, 1-718

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Abdallah89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Abdallah89
M. A. Nait Abdallah:
A Logico-Algebraic Approach to the Model Theory of Knowledge. Theor. Comput. Sci. 66(2): 205-232 (1989)
1985
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/EmdenA85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/EmdenA85
Maarten H. van Emden, M. A. Nait Abdallah:
Top-Down Semantics of Fair Computations of Logic Programs. J. Log. Program. 2(1): 67-75 (1985)
1984
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Abdallah84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Abdallah84
M. A. Nait Abdallah:
Data Types as Algorithms. RAIRO Theor. Informatics Appl. 18(1): 3-22 (1984)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lacl/AbdallahL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lacl/AbdallahL05
Areski Nait Abdallah, Alain Lecomte:
On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information. LACL 2005: 205-220
2001
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Abdallah01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Abdallah01
Areski Nait Abdallah:
Optimal models and optimal trajectories in logical dynamics. JFPLC 2001: 139-156
1991
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icci/Abdallah91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icci/Abdallah91
M. A. Nait Abdallah:
Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach. ICCI 1991: 675-686
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Abdallah91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Abdallah91
M. A. Nait Abdallah:
Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning. MFCS 1991: 357-366
1989
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/Abdallah89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/Abdallah89
M. A. Nait Abdallah:
An Extended Framework for Default Reasoning. FCT 1989: 339-348
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/Abdallah89a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/Abdallah89a
M. A. Nait Abdallah:
Logic Programming of Some Mathematical Paradoxes. FCT 1989: 349-361
1988
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/Abdallah88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Abdallah88
M. A. Nait Abdallah:
Heuristic Logic and the Process of Discovery. ICLP/SLP 1988: 859-875
1987
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Abdallah87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Abdallah87
M. A. Nait Abdallah:
Logic Programming with Ions. ICALP 1987: 11-20
1986
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Abdallah86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Abdallah86
M. A. Nait Abdallah:
Procedures in Horn-Clause Programming. ICLP 1986: 433-447
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Abdallah86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Abdallah86
M. A. Nait Abdallah:
AL-Khowarizmi: A Formal System for Higher-Order Logic Programming. MFCS 1986: 545-553
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/Abdallah86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Abdallah86
M. A. Nait Abdallah:
Icons and Local Definitions in Logic Programming. STACS 1986: 60-72
1985
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/Abdallah85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/Abdallah85
M. A. Nait Abdallah:
On some topological properties of logic programs. FCT 1985: 310-319
1984
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Abdallah84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Abdallah84
M. A. Nait Abdallah:
On the Interpretation of Infinite Computations in Logic Programming. ICALP 1984: 358-370

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.