Developing an early-warning system for spotting at-risk students by using eBook interaction logs
- 期刊名称Smart Learning Environments
- 作者Akçapınar, Gökhan; Hasnine, Mohammad Nehal; Majumdar, Rwitajit; Flanagan, Brendan; Ogata, Hiroaki
- 卷第6卷
- 期第1期
- 电子ISSN2196-7091
- 文件大小1083.59KB
- 发表时间2019-12
- DOI10.1186/s40561-019-0083-4
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