Science identity development: an interactionist approach
- 期刊名称International Journal of STEM Education
- 作者Kim, Ann Y.; Sinatra, Gale M.
- 卷第5卷
- 期第1期
- 电子ISSN2196-7822
- 文件大小382.28KB
- 发表时间2018-12
- DOI10.1186/s40594-018-0149-9
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