[ACM Press the 4th ACM/IEEE international conference - La Jolla, California, USA (2009.03.09-2009.03.13)] Proceedings of the 4th ACM/IEEE international conference on Human robot interaction - HRI '09 - General visualization abstraction algorithm for geographic map-based human-robot interfaces
- 作者Humphrey, Curtis M.; Adams, Julie A.
- 文件大小390.49KB
- 发表时间2009
- DOI10.1145/1514095.1514180
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