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

2000 – 2009

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

1990 – 1999

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
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

1980 – 1989

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)
[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
[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)
[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
[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)
[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.