Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly noncl...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science. Lecture notes in artificial intelligence
619 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Actes d'un séminaire tenu à Berlin du 9 au 10 novembre 1990, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Nonclassical logics and information processing, international workshop, Berlin, Germany, November 9-10, 1990, proceedings, D. Pearce, H. Wansing (eds.), Berlin, Springer-Verlay, 1992, 1 vol. (171 p.), Lecture notes in computer science, 3-540-55745-8 • Nonclassical Logics and Information Processing, Texte imprimé, 9783662210994 |
جدول المحتويات:
- Algebraic aspects of the relational knowledge representation: Modal relation algebras
- A logic for memory
- Actions with preconditions and postconditions
- Testclasses and closed world assumptions for non-horn theories
- Reasoning with negative information, II: Hard negation, strong negation and logic programs
- Lindenbaum-algebraic semantics of logic programs
- Conditional logics and cumulative logics
- Semantics of nonmonotonic reasoning in logic programming
- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic
- Cut-elimination in logics with definitional reflection.