Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings
This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from t...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science. Lecture notes in artificial intelligence
543 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Nonmonotonic and inductive logic, 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings, J. Dix, K. P. Jantke, P. H. Schmitt (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (x, 243 p.), Lecture notes in computer science, 3-540-54564-6 • Nonmonotonic and Inductive Logic, Texte imprimé, 9783662196960 |
Inhaltsangabe:
- Cumulative inference relations for JTMS and logic programming
- Cumulativity and rationality in semantics of normal logic programs
- Nonmonotonic reasoning and logic programs
- Supracompact inference operations
- Notions of nonmonotonic derivability
- Ranges of strong modal nonmonotonic logics
- On generation of cumulative inference operators by default deduction rules
- Qualitative magnitude reasoning
- Monotonic and non-monotonic inductive inference of functions and patterns
- A note on polynomial-time inference of k-variable pattern languages
- A thesis in inductive inference
- Inductive inference of optimal programs a survey and open problems
- Autoepistemic expansions with incomplete belief introspection
- Is it impossible to keep up to date?.