( en | de | ru )

 

Disambiguation of "Anderson, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Approximation to a decision procedure for the halting problem.

. Notre Dame J. Formal Log., 9 (4): 305-312 (1968)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Annegret Anderson

Philip Anderson

Olaf Anderson

Jonathan Anderson

Keith Anderson

 

Other publications of authors with the same name

Network System's Vulnerability Quantification Using Multi-layered Fuzzy Logic Based on GQM., , and . NCS, volume 1271 of Advances in Intelligent Systems and Computing, page 100-115. Springer, (2020)MedEthEx: A Prototype Medical Ethics Advisor., , and . AAAI, page 1759-1765. AAAI Press, (2006)Towards Diagram Processing: A Diagrammatic Information System.. AAAI/IAAI, page 394-401. AAAI Press / The MIT Press, (1999)A Prima Facie Duty Approach to Machine Ethics and Its Application to Elder Care., and . Human-Robot Interaction in Elder Care, volume WS-11-12 of AAAI Technical Report, AAAI, (2011)A Value Driven Agent: Instantiation of a Case-Supported Principle-Based Behavior Paradigm., , and . AAAI Workshops, volume WS-17 of AAAI Technical Report, AAAI Press, (2017)On the Reliability of RAID Systems: An Argument for More Check Drives, , and . CoRR, (2012)Developing a heuristic via diagrammatic reasoning., and . SAC, page 227-231. ACM, (1995)ETHEL: Toward a Principled Ethical Eldercare System., and . AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems, volume FS-08-02 of AAAI Technical Report, page 4-11. AAAI, (2008)Toward Ensuring Ethical Behavior from Autonomous Systems: A Case-Supported Principle-Based Paradigm., and . AAAI Fall Symposia, AAAI Press, (2014)Relating Two Image-Based Diagrammatic Reasoning Architectures., and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 128-143. Springer, (2010)