Causal ABA

制約ベースの因果探索における矛盾を解決するため、最小コスト修正問題として定式化しAnswer Set Programmingで実装した論文が公開されました。