Automated Reasoning in Higher-Order Regular Algebra.
Alasdair ArmstrongGeorg StruthPublished in: RAMiCS (2012)
Keyphrases
- automated reasoning
- higher order
- reasoning systems
- knowledge representation
- theorem prover
- probabilistic reasoning
- theorem proving
- decision procedures
- high order
- pairwise
- automated verification
- markov random field
- relational algebra
- query language
- data model
- reasoning tasks
- propositional satisfiability
- knowledge representation and reasoning
- neural network
- search algorithm
- high level
- valued logic
- artificial intelligence