On Quantified Modal Theorem Proving for Modeling Ethics.
Naveen Sundar GovindarajuluSelmer BringsjordMatthew PevelerPublished in: ARCADE@CADE (2019)
Keyphrases
- theorem proving
- theorem prover
- first order logic
- automated deduction
- decision procedures
- proof planning
- automated reasoning
- geometry theorem proving
- parallel search
- proof procedure
- automated theorem proving
- inference rules
- logical inference
- term rewriting
- consequence finding
- combinatorial search
- distributed search
- automatic programming
- timed automata
- high tech
- expert systems