LPAR-20:Keyword Index

KeywordPapers
A
Answer Set ProgramReasoning in the presence of inconsistency through Preferential ALC
automated deductionAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
B
B methodAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
Boolean circuitsA New Proof of P-time Completeness of Linear Lambda Calculus
C
Choose operatorCompiling Hilbert's epsilon operator
classical logicA Lightweight Double-negation Translation
compilationCompiling Hilbert's epsilon operator
conflict analysisOn Conflicts and Strategies in QBF
constructive logicA Lightweight Double-negation Translation
D
deduction moduloAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
DeduktiAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
Description LogicReasoning in the presence of inconsistency through Preferential ALC
Double negation translationA Lightweight Double-negation Translation
E
Encoding for SMT solverCompiling Hilbert's epsilon operator
F
first-order logicA Lightweight Double-negation Translation
H
Hilbert's epsilon operatorCompiling Hilbert's epsilon operator
I
inconsistency-tolerantReasoning in the presence of inconsistency through Preferential ALC
L
linear lambda calculusA New Proof of P-time Completeness of Linear Lambda Calculus
linear logicA New Proof of P-time Completeness of Linear Lambda Calculus
logicsAutomated Theorem Proving by Translation to Description Logic
M
MSOSymbolic WS1S
O
opinionApplication of Trace-Based Subjective Logic to User Preferences Modeling
P
P-time CompletenessA New Proof of P-time Completeness of Linear Lambda Calculus
Q
QBFPlaying with Quantified Satisfaction
On Conflicts and Strategies in QBF
quantificationOn Conflicts and Strategies in QBF
quantifier eliminationPlaying with Quantified Satisfaction
R
Russell's definite description operatorCompiling Hilbert's epsilon operator
S
set theoryAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
SMTPlaying with Quantified Satisfaction
Symbolic WS1S
strategiesOn Conflicts and Strategies in QBF
Subjective LogicApplication of Trace-Based Subjective Logic to User Preferences Modeling
symbolic automataSymbolic WS1S
T
TableauReasoning in the presence of inconsistency through Preferential ALC
theorem provingAutomated Theorem Proving by Translation to Description Logic
tracesApplication of Trace-Based Subjective Logic to User Preferences Modeling
translationAutomated Theorem Proving by Translation to Description Logic
Typed Proof SearchAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
U
user preferencesApplication of Trace-Based Subjective Logic to User Preferences Modeling
V
Verification-aware programming languageCompiling Hilbert's epsilon operator
Z
Zenon ModuloAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo