Parameterized Metareasoning in Membership Equational Logic.
Manuel ClavelNarciso Martí-OlietMiguel PalominoPublished in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Keyphrases
- logic programming
- horn clauses
- theorem proving
- decision theoretic
- lattice theory
- machine learning
- predicate logic
- classical logic
- modal logic
- databases
- logic synthesis
- probabilistic logic
- automated reasoning
- search algorithm
- logical framework
- computational properties
- case study
- proof theory
- neural network
- real time
- equational theories