LPAR (short papers)

Keyphrases

Publications

2015

Negin Arhami, Geoff Sutcliffe
Automated Theorem Proving by Translation to Description Logic. LPAR (short papers) (2015)
Frédéric Gilbert
A Lightweight Double-negation Translation. LPAR (short papers) (2015)
Nikolaj Bjørner, Mikolás Janota, William Klieber
On Conflicts and Strategies in QBF. LPAR (short papers) (2015)
K. Rustan M. Leino
Compiling Hilbert's epsilon operator. LPAR (short papers) (2015)
Loris D'Antoni, Margus Veanes
Symbolic WS1S. LPAR (short papers) (2015)
Satoshi Matsuoka
A New Proof of P-time Completeness of Linear Lambda Calculus. LPAR (short papers) (2015)
Hoang Nam Ho, Mourad Rabah, Samuel Nowakowski, Pascal Estraillier
Application of Trace-Based Subjective Logic to User Preferences Modeling. LPAR (short papers) (2015)
Nikolaj Bjørner, Mikolás Janota
Playing with Quantified Satisfaction. LPAR (short papers) (2015)
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. LPAR (short papers) (2015)
Graham Deane, Krysia Broda, Alessandra Russo
Reasoning in the presence of inconsistency through Preferential ALC. LPAR (short papers) (2015)

volume 35, 2015

20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. LPAR (short papers) 35 (2015)

volume 26, 2014

LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings LPAR (short papers) 26 (2014)

2013