Publications

Contradiction Removal Within Well Founded Semantics

AuthID
P-008-NS9

Author(s)

PEREIRA, LM

ALFERES, JJ

APARICIO, JN

Editor(s)

NERODE, A; MAREK, W; SUBRAHMANIAN, VS

Document Type

Proceedings Paper

Year published

1991

Published

in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING

Pages: 105-119 (15)

Conference

1St International Workshop On Logic Programming And Non-Monotonic Reasoning, Date: JUL 22-24, 1991, Location: WASHINGTON, DC, Sponsors: CORNELL UNIV MATH SCI INST, ASSOC LOGIC PROGRAMMING, XEROX, WEBSTER RES CTR, UNIV MARYLAND, INST ADV COMP STUDIES

Indexing