Socioeconomic gaps in science achievement
- 期刊名称International Journal of STEM Education
- 作者Betancur, Laura; Votruba-Drzal, Elizabeth; Schunn, Christian
- 卷第5卷
- 期第1期
- 电子ISSN2196-7822
- 文件大小1121.89KB
- 发表时间2018-12
- DOI10.1186/s40594-018-0132-5
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