Mai Ajspur

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 2

Top Topics

Inference Rules

Finite Automaton

Epistemic Logic

Knowledge Acquisition

Top Venues

J. Log. Algebraic Methods Program.

Publications

John P. Gallagher, Mai Ajspur, Bishoksan Kafle
Optimised determinisation and completion of finite tree automata. J. Log. Algebraic Methods Program. 95 (2018)
John P. Gallagher, Mai Ajspur, Bishoksan Kafle
An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata. CoRR (2015)
Mai Ajspur, Valentin Goranko
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. ICLA (2013)
Mai Ajspur, Valentin Goranko, Dmitry Shkatov
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. Log. J. IGPL 21 (3) (2013)
Mai Ajspur, Valentin Goranko, Dmitry Shkatov
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. CoRR (2012)