Soundness of abductive proof procedure with respect to constraint for non-ground abducibles

Authors:
Susumu Yamasaki;Yoshinori Kurose
Affiliations:
Okayama Univ., Okayama, Japan;Okayama Univ., Okayama, Japan
Venue:
Theoretical Computer Science
Year:
1998

Citing 0
Cited 2

A sound and complete procedure for a general logic program in non- floundering derivations with respect to the 3-valued stable model semantics

Theoretical Computer Science
An automated reasoning for diagnostic knowledge in a distributed environment

ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies

Quantified Score

Hi-index	5.23

Visualization

Abstract