Symbolic Specialization of Rewriting Logic Theories with Presto.
María AlpuenteSantiago EscobarJulia SapiñaDemis BallisPublished in: Theory Pract. Log. Program. (2022)
Keyphrases
- defeasible logic
- probability theory
- modal logic
- symbolic representation
- causal theories
- asynchronous circuits
- causal reasoning
- closed world assumptions
- logical formulas
- modal operators
- automated reasoning
- logic programming
- multi valued
- computational properties
- neural network
- decision theory
- rewrite rules
- proof theory
- queries using views
- predicate logic
- query answering
- symbolic data
- database systems
- presburger arithmetic
- classical first order logic
- high level