Filters








2 Hits in 4.0 sec

Robin Milner 1934--2010

Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell
2011 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11  
(An interview with Robin Milner by Martin Berger, 3 September 2003) Moving to Scotland, Robin worked at the University of Edinburgh 1973-1994, as a professor from 1984.  ...  His theories of concurrency underpin much work on verification (complementing the theory of sequential computable functions of Church and Turing) and are being applied to modelling processes from business  ... 
doi:10.1145/1926385.1926439 dblp:conf/popl/GordonHHJS11 fatcat:ldruw4xajrhgdhzc6ptlg5cmoq

Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017

Dov M. Gabbay, Jörg H. Siekmann
2017 IfColog journal of logics and their applications (FLAP)  
This mixed presentation is present everywhere: in applied logic, AI, linguistics, computer science and even philosophy.  ...  Any agent will have beliefs, belief revision, reasoning mechanisms (such as abduction) and more. Some of these features are declarative, others are algorithmic.  ...  Boyer, Alan Bundy, and (by 1973) Robin Milner, there was work on new programming paradigms, program transformation and synthesis, natural language, machine vision, robotics, and cognitive modeling. 9  ... 
dblp:journals/flap/GabbayS17 fatcat:wvtsqquk3vhm3ohgsxn6lzc22u