Logic for Artificial Intelligence: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA

Authors
S.Brass,J.Dix
Citation
S.brass,j.dix, Logic for Artificial Intelligence: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA, Journal of automated reasoning , 20(1/2), 1998, pp. 143-165
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
1/2
Year of publication
1998
Pages
143 - 165
Database
ACNP
SICI code