Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexander Bolotov
A Clausal Resolution Method for Branching-Time Logic ECTL+
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Related publications
A Clausal Resolution Method for Extended Computation Tree Logic ECTL
A Resolution Calculus for the Branching-Time Temporal Logic CTL
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Machine Learning
Artificial Intelligence
Software
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Transition Semantics for Branching Time
Journal of Logic, Language and Information
Linguistics
Philosophy
Computer Science
Language
Rewrite Methods for Clausal and Non-Clausal Theorem Proving
Compositional Analysis for Clausal Exceptives
Semantics and Linguistic Theory
Α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
