Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642221187, 9783642221194
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$

2011 ◽  
pp. 180-195 ◽  
Author(s):  
Laura Giordano ◽  
Valentina Gliozzi ◽  
Nicola Olivetti ◽  
Gian Luca Pozzato

A Conditional Constructive Logic for Access Control and Its Sequent Calculus

2011 ◽  
pp. 164-179 ◽  
Author(s):  
Valerio Genovese ◽  
Laura Giordano ◽  
Valentina Gliozzi ◽  
Gian Luca Pozzato
Keyword(s):  
Access Control ◽  
Sequent Calculus ◽  
Constructive Logic

scholarly journals Schemata of SMT-Problems

2011 ◽  
pp. 27-42 ◽  
Author(s):  
Vincent Aravantinos ◽  
Nicolas Peltier

Hybrid and First-Order Complete Extensions of CaRet

2011 ◽  
pp. 58-72 ◽  
Author(s):  
Laura Bozzelli ◽  
Ruggero Lanotte
Keyword(s):  
First Order

The Modal μ-Calculus Caught Off Guard

2011 ◽  
pp. 149-163 ◽  
Author(s):  
Oliver Friedmann ◽  
Martin Lange

MaLeCoP Machine Learning Connection Prover

2011 ◽  
pp. 263-277 ◽  
Author(s):  
Josef Urban ◽  
Jiří Vyskočil ◽  
Petr Štěpánek
Keyword(s):  
Machine Learning

scholarly journals Craig Interpolation in Displayable Logics

2011 ◽  
pp. 88-103 ◽  
Author(s):  
James Brotherston ◽  
Rajeev Goré
Keyword(s):  
Craig Interpolation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document