Login / Signup
Partiality and Recursion in Higher-order Logic
Lukasz Czajka
Published in:
CoRR (2012)
Keyphrases
</>
higher order logic
higher order
theorem prover
conditional logic
logical framework
complex objects
deductive databases
belief revision
artificial intelligence
theorem proving
default reasoning
pairwise
integrity constraints
first order logic
reasoning tasks
feature construction
similarity measure
high level