LoIDE: a a web-based IDE for Logic Programming - Preliminary Report
Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and industrial applications. In this work we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.
Tue 9 Jan Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change
|13:30 - 14:00|
|14:00 - 14:30|
|14:30 - 15:00|
|15:00 - 15:30|