HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:David Plaisted

Publications
The Aspect Calculus
David Plaisted
EasyChair Preprint 1256
SGGS Theorem Proving: an Exposition
Maria Paola Bonacina and David Plaisted
In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning

Keyphrases

aspect calculus, Aspects, equational reasoning, first-order logic, frame problem, instance-based theorem proving, model-based theorem proving, ramification problem, semantic guidance, Situation Calculus, successor state axiom.

Copyright © 2012-2025 easychair.org. All rights reserved.