LPAR-20:Author Index

AuthorPapers
A
Arhami, NeginAutomated Theorem Proving by Translation to Description Logic
B
Bjorner, NikolajPlaying with Quantified Satisfaction
On Conflicts and Strategies in QBF
Broda, KrysiaReasoning in the presence of inconsistency through Preferential ALC
Bury, GuillaumeAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
D
D'Antoni, LorisSymbolic WS1S
Deane, GrahamReasoning in the presence of inconsistency through Preferential ALC
Delahaye, DavidAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
Doligez, DamienAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
E
Estraillier, PascalApplication of Trace-Based Subjective Logic to User Preferences Modeling
G
Gilbert, FredericA Lightweight Double-negation Translation
H
Halmagrand, PierreAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
Hermant, OlivierAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
Ho, Hoang NamApplication of Trace-Based Subjective Logic to User Preferences Modeling
J
Janota, MikolasPlaying with Quantified Satisfaction
On Conflicts and Strategies in QBF
K
Klieber, WilliamOn Conflicts and Strategies in QBF
L
Leino, RustanCompiling Hilbert's epsilon operator
M
Matsuoka, SatoshiA New Proof of P-time Completeness of Linear Lambda Calculus
N
Nowakowski, SamuelApplication of Trace-Based Subjective Logic to User Preferences Modeling
R
Rabah, MouradApplication of Trace-Based Subjective Logic to User Preferences Modeling
Russo, AlessandraReasoning in the presence of inconsistency through Preferential ALC
S
Sutcliffe, GeoffAutomated Theorem Proving by Translation to Description Logic
V
Veanes, MargusSymbolic WS1S