Login / Signup
Daniela Ferreiro
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Ranked List
Logic Programming Language
Horn Clauses
Epistemic Logic
Top Venues
CoRR
</>
Publications
</>
Daniela Ferreiro
,
José F. Morales
,
Salvador Abreu
,
Manuel V. Hermenegildo
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.
CoRR
(2023)