On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

Ilkka Niemelä; J RINTANEN

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Otsikko	PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92)
Toimittajat	B Nebel, C Rich, W Swartout
Julkaisupaikka	San Mateo, CA
Kustantaja	Morgan Kaufmann Publishers
Sivut	627-638
Sivumäärä	12
ISBN (painettu)	1-55860-262-3
Tila	Julkaistu - 1992
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	International Conference on Principles of Knowledge Representation and Reasoning - Cambridge, Yhdysvallat Kesto: 25 lokak. 1992 → 29 lokak. 1992 Konferenssinumero: 3

Conference

Conference	International Conference on Principles of Knowledge Representation and Reasoning
Lyhennettä	KR
Maa/Alue	Yhdysvallat
Kaupunki	Cambridge
Ajanjakso	25/10/1992 → 29/10/1992

Tutkimusalat

autoepistemic logic
automated theorem proving
default logic
logic programs
tractability
truth maintenance systems

Siteeraa tätä

@inproceedings{151a2b3318d1483b84f68e35a05e6ac3,

title = "On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning",

keywords = "autoepistemic logic, automated theorem proving, default logic, logic programs, tractability, truth maintenance systems, autoepistemic logic, automated theorem proving, default logic, logic programs, tractability, truth maintenance systems, autoepistemic logic, automated theorem proving, default logic, logic programs, tractability, truth maintenance systems",

author = "Ilkka Niemel{\"a} and J RINTANEN",

year = "1992",

language = "English",

isbn = "1-55860-262-3",

pages = "627--638",

editor = "B Nebel and C Rich and W Swartout",

booktitle = "PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92)",

publisher = "Morgan Kaufmann Publishers",

address = "United States",

note = "International Conference on Principles of Knowledge Representation and Reasoning , KR ; Conference date: 25-10-1992 Through 29-10-1992",

}

Niemelä, I & RINTANEN, J 1992, On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. julkaisussa B Nebel, C Rich & W Swartout (toim), PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92). Morgan Kaufmann Publishers, San Mateo, CA, Sivut 627-638, International Conference on Principles of Knowledge Representation and Reasoning , Cambridge, Massachusetts, Yhdysvallat, 25/10/1992.

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. / Niemelä, Ilkka ; RINTANEN, J.
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92). toim. / B Nebel; C Rich; W Swartout. San Mateo, CA: Morgan Kaufmann Publishers, 1992. s. 627-638.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

AU - Niemelä, Ilkka

AU - RINTANEN, J

N1 - Conference code: 3

PY - 1992

Y1 - 1992

KW - autoepistemic logic

KW - automated theorem proving

KW - default logic

KW - logic programs

KW - tractability

KW - truth maintenance systems

KW - autoepistemic logic

KW - automated theorem proving

KW - default logic

KW - logic programs

KW - tractability

KW - truth maintenance systems

KW - autoepistemic logic

KW - automated theorem proving

KW - default logic

KW - logic programs

KW - tractability

KW - truth maintenance systems

M3 - Conference article in proceedings

SN - 1-55860-262-3

SP - 627

EP - 638

BT - PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92)

A2 - Nebel, B

A2 - Rich, C

A2 - Swartout, W

PB - Morgan Kaufmann Publishers

CY - San Mateo, CA

T2 - International Conference on Principles of Knowledge Representation and Reasoning

Y2 - 25 October 1992 through 29 October 1992

ER -