LPAR20:Author IndexAuthor  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 TraceBased Subjective Logic to User Preferences Modeling  G  Gilbert, Frederic  A Lightweight Doublenegation 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 TraceBased Subjective Logic to User Preferences Modeling  J  Janota, Mikolas  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 Ptime Completeness of Linear Lambda Calculus  N  Nowakowski, Samuel  Application of TraceBased Subjective Logic to User Preferences Modeling  R  Rabah, Mourad  Application of TraceBased 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 

