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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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.

Original language	English
Title of host publication	Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings
Editors	Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
Pages	270-283
Number of pages	14
State	Published - 1993
Event	2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991 - Reinhardsbrunn Castle, Germany Duration: Dec 2 1991 → Dec 6 1991

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	659 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991
Country/Territory	Germany
City	Reinhardsbrunn Castle
Period	12/2/91 → 12/6/91

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Cite this

Marek, V. W., & Truszczyński, M. (1993). Normal form results for default logic. In 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. in 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Normal form results for default logic

AU - Marek, V. Wiktor

AU - Truszczyński, Mirostaw

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1993.

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 - http://www.scopus.com/inward/record.url?scp=70449506769&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70449506769&partnerID=8YFLogxK

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

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this