Roger Antonsen

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 1

Top Topics

Artificial Intelligence

Elimination Algorithm

Top Venues

J. Symb. Comput.

Publications

Roger Antonsen, Andreas Nakkerud
Book Reviews. Stud Logica 106 (1) (2018)
Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler
Incremental variable splitting. J. Symb. Comput. 47 (9) (2012)
Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen
Incremental Variable Splitting. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Roger Antonsen, Arild Waaler
Liberalized Variable Splitting. J. Autom. Reason. 38 (1-3) (2007)
Roger Antonsen, Arild Waaler
A Labelled System for IPL with Variable Splitting. CADE (2007)
Roger Antonsen, Arild Waaler
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. TABLEAUX (2005)
Roger Antonsen
Uniform variable splitting. IJCAR Doctoral Programme (2004)
Arild Waaler, Roger Antonsen
A Free Variable Sequent Calculus with Uniform Variable Splitting. TABLEAUX (2003)