A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic (Englisch)
- Neue Suche nach: AMATI, GIANNI
- Neue Suche nach: AIELLO, LUIGIA CARLUCCI
- Neue Suche nach: GABBAY, DOV
- Neue Suche nach: PIRRI, FIORA
- Neue Suche nach: AMATI, GIANNI
- Neue Suche nach: AIELLO, LUIGIA CARLUCCI
- Neue Suche nach: GABBAY, DOV
- Neue Suche nach: PIRRI, FIORA
In:
Journal of logic and computation
;
6
, 2
;
205-
;
1996
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic
-
Beteiligte:AMATI, GIANNI ( Autor:in ) / AIELLO, LUIGIA CARLUCCI ( Autor:in ) / GABBAY, DOV ( Autor:in ) / PIRRI, FIORA ( Autor:in )
-
Erschienen in:Journal of logic and computation ; 6, 2 ; 205-
-
Verlag:
- Neue Suche nach: Oxford University Press
-
Erscheinungsdatum:01.04.1996
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis – Band 6, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 173
-
Hyperresolution and Automated Model BuildingFERMÜLLER, CHRISTIAN / LEITSCH, ALEXANDER et al. | 1996
- 205
-
A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default LogicAMATI, GIANNI / AIELLO, LUIGIA CARLUCCI / GABBAY, DOV / PIRRI, FIORA et al. | 1996
- 233
-
Linear Deductive PlanningGROSSE, GERD / HÖLLDOBLER, STEFFEN / SCHNEEBERGER, JOSEF et al. | 1996
- 263
-
On Negation RationalityFREUND, MICHAEL / LEHMANN, DANIEL et al. | 1996
- 271
-
An Investigation of 'Non-intermingling' Principles in Temporal LogicGALTON, ANTONY et al. | 1996
- 295
-
Nonmonotonic Reasoning is Sometimes Simpler!SCHWARZ, GRIGORI / TRUSZCZYNSKI, MIROSLAW et al. | 1996
- 309
-
ReviewsFINGER, MARCELLO et al. | 1996
- 313
-
Forthcoming Papers| 1996