Letter to the editors
- 作者L.J. Littlefield; J.M. Daly
- 卷第10卷
- 期第1期
- 印刷ISSN0048-4059
- 文件大小103.12KB
- 发表时间1977
- DOI10.1016/0048-4059(77)90010-8
- 页码89-90
Equivalence issues in abduction and inductionChiaki Sakama; Katsumi Inoue · 2009
Negation as failure in the headKatsumi Inoue; Chiaki Sakama · 1998
Inductive equivalence in clausal logic andChiaki Sakama; Katsumi Inoue · 2011
Learning from interpretation transitionKatsumi Inoue, Tony Ribeiro, Chiaki Sakama · 2014
Disjunctive AbductionInoue, Katsumi; Sakama, Chiaki · New Generation Computing · 2019
Learning Inference Rules from DataSakama, Chiaki; Inoue, Katsumi; Ribeiro, Tony · KI - Künstliche Intelligenz · 2019
A fixpoint characterization of abductive logic programsKatsumi Inoue; Chiaki Sakama · 1996
Boolean satisfiability with transitivity constraintsBryant, Randal E.; Velev, Miroslav N. · ACM Transactions on Computational Logic · 2002
LTL over description logic axiomsBaader, Franz; Ghilardi, Silvio; Lutz, Carsten · ACM Transactions on Computational Logic · 2012
Structural FocalizationSimmons, Robert J. · ACM Transactions on Computational Logic · 2014
Quantitative languagesChatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. · ACM Transactions on Computational Logic · 2010
Propositional computability logic IIJaparidze, Giorgi · ACM Transactions on Computational Logic · 2006
Compilability of propositional abductionLiberatore, Paolo; Schaerf, Marco · ACM Transactions on Computational Logic · 2007
On compositionality and its limitationsRabinovich, Alexander · ACM Transactions on Computational Logic · 2007
Erratum to splitting an operatorVennekens, Joost; Gilis, David; Denecker, Marc · ACM Transactions on Computational Logic · 2007