Symbolic Specialization of Rewriting Logic Theories with Presto.
María AlpuenteDemis BallisSantiago EscobarJulia SapiñaPublished in: CoRR (2021)
Keyphrases
- defeasible logic
- probability theory
- causal reasoning
- predicate logic
- formal logic
- logic programming
- theoretical framework
- modal logic
- computational properties
- rewrite rules
- modal operators
- symbolic representation
- asynchronous circuits
- nonmonotonic logics
- causal theories
- high level
- logical formulas
- data sets
- closed world assumptions
- symbolic data
- truth values
- classical logic
- query rewriting
- knowledge base