共 50 条
- [1] Towards Predicate Answer Set Programming via Coinductive Logic Programming ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III, 2009, : 499 - 508
- [2] TOWARDS A METHODOLOGY FOR THE DESIGN OF ABSTRACT MACHINES FOR LOGIC PROGRAMMING-LANGUAGES JOURNAL OF LOGIC PROGRAMMING, 1993, 16 (1-2): : 163 - 189
- [4] A Deontic Logic for Programming Rightful Machines PROCEEDINGS OF THE 3RD AAAI/ACM CONFERENCE ON AI, ETHICS, AND SOCIETY AIES 2020, 2020, : 392 - 392
- [5] Towards possibilistics logic programming Proceedings of the International Conference on Logic Programming, 1991,
- [6] Towards Ethical Governance of Social Machines 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), 2013, : 426 - 427
- [8] A Science of Operations: Machines, Logic, and the Invention of Programming BRITISH JOURNAL FOR THE HISTORY OF SCIENCE, 2012, 45 (164): : 144 - 145