On Negation Rationality (Englisch)
- Neue Suche nach: Freund, M.
- Neue Suche nach: Freund, M.
- Neue Suche nach: Lehmann, D.
In:
Journal of logic and computation
;
6
, 2
; 263-270
;
1996
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:On Negation Rationality
-
Beteiligte:Freund, M. ( Autor:in ) / Lehmann, D.
-
Erschienen in:Journal of logic and computation ; 6, 2 ; 263-270
-
Verlag:
- Neue Suche nach: Oxford Univ. Press
-
Erscheinungsort:Eynsham, Oxford
-
Erscheinungsdatum:1996
-
ISSN:
-
ZDBID:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.71 / 54.10 / 31.10
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 275/3110/3145
-
Schlagwörter:
-
Klassifikation:
BKL: 54.71 Logikprogrammierung / 54.10 Theoretische Informatik / 31.10 Mathematische Logik, Mengenlehre Lokalklassifikation TIB: 275/3110/3145 -
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