|
|
LPAR-20: Author Index| Author | Papers |
|---|
| A | | Arhami, Negin | Automated Theorem Proving by Translation to Description Logic | | B | | Bjorner, Nikolaj | Playing with Quantified Satisfaction
On Conflicts and Strategies in QBF | | Broda, Krysia | Reasoning in the presence of inconsistency through Preferential ALC | | Bury, Guillaume | Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo | | D | | D'Antoni, Loris | Symbolic WS1S | | Deane, Graham | Reasoning in the presence of inconsistency through Preferential ALC | | Delahaye, David | Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo | | Doligez, Damien | Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo | | E | | Estraillier, Pascal | Application of Trace-Based Subjective Logic to User Preferences Modeling | | G | | Gilbert, Frederic | A Lightweight Double-negation Translation | | H | | Halmagrand, Pierre | Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo | | Hermant, Olivier | Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo | | Ho, Hoang Nam | Application of Trace-Based Subjective Logic to User Preferences Modeling | | J | | Janota, Mikoláš | Playing with Quantified Satisfaction
On Conflicts and Strategies in QBF | | K | | Klieber, William | On Conflicts and Strategies in QBF | | L | | Leino, Rustan | Compiling Hilbert's epsilon operator | | M | | Matsuoka, Satoshi | A New Proof of P-time Completeness of Linear Lambda Calculus | | N | | Nowakowski, Samuel | Application of Trace-Based Subjective Logic to User Preferences Modeling | | R | | Rabah, Mourad | Application of Trace-Based Subjective Logic to User Preferences Modeling | | Russo, Alessandra | Reasoning in the presence of inconsistency through Preferential ALC | | S | | Sutcliffe, Geoff | Automated Theorem Proving by Translation to Description Logic | | V | | Veanes, Margus | Symbolic WS1S |
|
|
|
