Author:Irina Makarenko
KeyphrasesFree 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. |
