Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity.

Serge Autexier Armin Fiedler

Published in: MKM (2005)

Keyphrases

formal logic
predicate logic
computer science
artificial intelligence
description logics
theorem prover
machine learning
logic programming
theorem proving
formal methods
expert systems