海量图书期刊资源,随时随地畅享阅读乐趣
Handbook of Modal Logicby P. Blackburn; J. Van Benthem; F. WolterReview by: Martin Mose Bentzen · Studia Logica: An International Journal for Symbolic Logic · 2010
Black boxes on wheels: research challenges and ethical problems in MEA-based roboticsBentzen, Martin Mose · Ethics and Information Technology · 2017
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal LogicMartin Mose Bentzen · 2010
[IEEE 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Vancouver, BC (2017.9.24-2017.9.28)] 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - The HERA approach to morally competent robotsLindner, Felix; Bentzen, Martin Mose; Nebel, Bernhard · 2017
[ACM Press the Companion of the 2017 ACM/IEEE International Conference - Vienna, Austria (2017.03.06-2017.03.09)] Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction - HRI '17 - The Hybrid Ethical Reasoning Agent IMMANUELLindner, Felix; Bentzen, Martin Mose · 2017
[IEEE 2017 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN) - Lisbon (2017.8.28-2017.9.1)] 2017 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN) - Discussions about lying with an ethical reasoning robotLindner, Felix; Wachter, Laura; Bentzen, Martin Mose · 2017
Support and Sets of SituationsWiśniewski, Andrzej · Journal of Logic, Language and Information · 2014
Inferential Conditionals and EvidentialityKrzyżanowska, K.; Wenmackers, S.; Douven, I. · Journal of Logic, Language and Information · 2013
The Grammar of Code SwitchingKracht, Marcus; Klein, Udo · Journal of Logic, Language and Information · 2014
Formal Models of AwarenessÅgotnes, Thomas; Alechina, Natasha · Journal of Logic, Language and Information · 2014
Resolving the Infinitude ControversyKornai, András · Journal of Logic, Language and Information · 2014
Natural Language Inference in CoqChatzikyriakidis, Stergios; Luo, Zhaohui · Journal of Logic, Language and Information · 2014
Action Models for ConditionalsLent, Jeremy; Thomason, Richmond H. · Journal of Logic, Language and Information · 2015
NotOnlyBarbaraDekker, Paul J. E. · Journal of Logic, Language and Information · 2015