Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13 15, 1988 : proceedings
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming,...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Coauteur: | |
| Andere auteurs: | , , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science. Lecture notes in artificial intelligence
346 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Autre directeur de publication : E. Sandewall Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Non-monotonic reasoning, 2nd international workshop, Grassau, FRG, June 1988, proceedings, M. Reinfrank, [ed.] ... [et al.], Berlin, Springer-Verlag, 1989, 1 vol. (xiv, 237 p.), Lecture notes in computer science, 3-540-50701-9 • Non-Monotonic Reasoning, Texte imprimé, 9783662197912 |
Inhoudsopgave:
- General theory of cumulative inference
- New results on semantical nonmonotonic reasoning
- The semantics of non-monotonic entailment defined using partial interpretations
- Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report
- Autoepistemic stable closures and contradiction resolution
- Compiling circumscriptive theories into logic programs
- A circumscriptive theorem prover
- The complexity of Model-Preference Default theories
- Massively parallel Assumption-based Truth Maintenance
- An extended basic ATMS
- A nonmonotonic logic for reasoning about speech acts and belief revision
- Autoepistemic logic and formalization of commonsense reasoning preliminary report
- Nonmonotonic reasoning in temporal domains: The knowledge independence problem
- Benchmark problems for formal nonmonotonic reasoning
- Logics for inheritance theory.