Tableau-Based Automated Deduction for Duration Calculus.

Nathalie Chetcuti-Sperandio

Published in: TABLEAUX (2002)

Keyphrases

automated deduction
theorem proving
automated theorem proving
theorem prover
proof search
proof procedure
description logics
inference rules
logic programming
first order logic
computer algebra
deductive databases
neural network
search algorithm
databases
data sets
probabilistic model
active learning
knowledge base