Logic Programming Foundations of Cyber-Physical Systems

Neda Saeedloei. Logic Programming Foundations of Cyber-Physical Systems. In Manuel V. Hermenegildo, Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. Volume 7 of LIPIcs, pages 289-293, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]