Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.
Daniela FerreiroJosé F. MoralesSalvador AbreuManuel V. HermenegildoPublished in: CoRR (2023)
Keyphrases
- logic programming
- asynchronous circuits
- document collections
- verification method
- model checking
- information retrieval systems
- bounded model checking
- classical logic
- xml documents
- document analysis
- document classification
- modal logic
- web documents
- document clustering
- relevant documents
- metadata
- database
- logic programs
- formal verification
- vector space model
- multi valued
- horn clauses
- knowledge base
- logic programming language
- epistemic logic
- expert systems
- programming language
- ranked list
- document retrieval
- information extraction
- automated reasoning
- signature verification
- model checker
- vector space
- keywords
- text documents