The Determination of the Equivalence of Causal Theories.

Yu Wang Jinjin Zhang

Published in: ICMLC (2021)

Keyphrases

causal theories
answer set programming
general logic programs
proof theory
logic programming
strong equivalence
answer set semantics
artificial intelligence
logic programs
knowledge representation
desirable properties