[ACM Press the 2nd international conference - Bonn, Germany (2008.02.18-2008.02.20)] Proceedings of the 2nd international conference on Tangible and embedded interaction - TEI '08 - Murmur
- 作者Rydarowski, Aimee; Samanci, Ozge; Mazalek, Ali
- 文件大小1102.69KB
- 发表时间2008
- DOI10.1145/1347390.1347442
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