HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Irina Makarenko

Publications
Positive Free Higher-Order Logic and its Automation via a Semantical Embedding
Irina Makarenko and Christoph Benzmüller
EasyChair Preprint 3621
Positive Free Higher-Order Logic and its Automation via a Semantical Embedding
Irina Makarenko and Christoph Benzmüller
EasyChair Preprint 3621

Keyphrases

Free Higher-Order Logic, free logic, Interactive and Automated Theorem Proving, Knowledge Representation and Reasoning, Partiality and undefinedness, Philosophical foundations of AI, positive free logic, Prior’s paradox.

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