Abstract is missing.
- Automated Theorem Proving by Translation to Description LogicNegin Arhami, Geoff Sutcliffe. 1-14 [doi]
- Playing with Quantified SatisfactionNikolaj Bjørner, Mikolás Janota. 15-27 [doi]
- On Conflicts and Strategies in QBFNikolaj Bjørner, Mikolás Janota, William Klieber. 28-41 [doi]
- Automated Deduction in the B Set Theory using Typed Proof Search and Deduction ModuloGuillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant. 42-58 [doi]
- Symbolic WS1SLoris D'Antoni, Margus Veanes. 59-66 [doi]
- Reasoning in the presence of inconsistency through Preferential ALCGraham Deane, Krysia Broda, Alessandra Russo. 67-80 [doi]
- A Lightweight Double-negation TranslationFrédéric Gilbert. 81-93 [doi]
- Application of Trace-Based Subjective Logic to User Preferences ModelingHoang Nam Ho, Mourad Rabah, Samuel Nowakowski, Pascal Estraillier. 94-105 [doi]
- Compiling Hilbert's epsilon operatorK. Rustan M. Leino. 106-118 [doi]
- A New Proof of P-time Completeness of Linear Lambda CalculusSatoshi Matsuoka. 119-130 [doi]