Normal form results for default logic

V. Wiktor Marek; Mirostaw Truszczyński

Normal form results for default logic

V. Wiktor Marek
, Mirostaw Truszczyński

Computer Science

Producción científica: Conference contribution › revisión exhaustiva

2 Citas (Scopus)

Resumen

In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.

Idioma original	English
Título de la publicación alojada	Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings
Editores	Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
Páginas	270-283
Número de páginas	14
Estado	Published - 1993
Evento	2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991 - Reinhardsbrunn Castle, Germany Duración: dic 2 1991 → dic 6 1991

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	659 LNAI
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Conference

Conference	2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991
País/Territorio	Germany
Ciudad	Reinhardsbrunn Castle
Período	12/2/91 → 12/6/91

Nota bibliográfica

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Otros archivos y enlaces

Citar esto

Marek, V. W., & Truszczyński, M. (1993). Normal form results for default logic. En G. Brewka, K. P. Jantke, & P. H. Schmitt (Eds.), Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings (pp. 270-283). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 659 LNAI).

Marek, V. Wiktor ; Truszczyński, Mirostaw. / Normal form results for default logic. Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings. editor / Gerhard Brewka ; Klaus P. Jantke ; Peter H. Schmitt. 1993. pp. 270-283 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2197bd4ee81b478b8b459b8fdf9406da,

title = "Normal form results for default logic",

abstract = "In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.",

author = "Marek, \{V. Wiktor\} and Mirostaw Truszczy{\'n}ski",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991 ; Conference date: 02-12-1991 Through 06-12-1991",

year = "1993",

language = "English",

isbn = "9783540564331",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "270--283",

editor = "Gerhard Brewka and Jantke, \{Klaus P.\} and Schmitt, \{Peter H.\}",

booktitle = "Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings",

}

Marek, VW & Truszczyński, M 1993, Normal form results for default logic. En G Brewka, KP Jantke & PH Schmitt (eds.), Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 659 LNAI, pp. 270-283, 2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991, Reinhardsbrunn Castle, Germany, 12/2/91.

Normal form results for default logic. / Marek, V. Wiktor; Truszczyński, Mirostaw.
Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings. ed. / Gerhard Brewka; Klaus P. Jantke; Peter H. Schmitt. 1993. p. 270-283 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 659 LNAI).

Producción científica: Conference contribution › revisión exhaustiva

TY - GEN

T1 - Normal form results for default logic

AU - Marek, V. Wiktor

AU - Truszczyński, Mirostaw

PY - 1993

Y1 - 1993

N2 - In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.

AB - In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.

UR - https://www.scopus.com/pages/publications/70449506769

UR - https://www.scopus.com/pages/publications/70449506769#tab=citedBy

M3 - Conference contribution

AN - SCOPUS:70449506769

SN - 9783540564331

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 270

EP - 283

BT - Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings

A2 - Brewka, Gerhard

A2 - Jantke, Klaus P.

A2 - Schmitt, Peter H.

T2 - 2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991

Y2 - 2 December 1991 through 6 December 1991

ER -

Normal form results for default logic

Resumen

Serie de la publicación

Conference

Nota bibliográfica

ASJC Scopus subject areas

Otros archivos y enlaces

Huella

Citar esto