Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer International Publishing

9783319085869, 9783319085876
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Terminating Minimal Model Generation Procedures for Propositional Modal Logics

2014 ◽  
pp. 381-395 ◽  
Author(s):  
Fabio Papacchini ◽  
Renate A. Schmidt
Keyword(s):  
Minimal Model ◽  
Modal Logics ◽  
Model Generation

scholarly journals Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+

2014 ◽  
pp. 277-291 ◽  
Author(s):  
Serenella Cerrito ◽  
Amélie David ◽  
Valentin Goranko
Keyword(s):  
Temporal Logic ◽  
Decision Procedure

A Gentle Non-disjoint Combination of Satisfiability Procedures

2014 ◽  
pp. 122-136 ◽  
Author(s):  
Paula Chocron ◽  
Pascal Fontaine ◽  
Christophe Ringeissen

The Bayesian Description Logic ${\mathcal{BEL}}$

2014 ◽  
pp. 480-494 ◽  
Author(s):  
İsmail İlkan Ceylan ◽  
Rafael Peñaloza
Keyword(s):  
Description Logic

$\mathcal{EL}$ -ifying Ontologies

2014 ◽  
pp. 464-479 ◽  
Author(s):  
David Carral ◽  
Cristina Feier ◽  
Bernardo Cuenca Grau ◽  
Pascal Hitzler ◽  
Ian Horrocks

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures

2014 ◽  
pp. 449-463 ◽  
Author(s):  
Andreas Steigmiller ◽  
Birte Glimm ◽  
Thorsten Liebig
Keyword(s):  
Description Logics

Count and Forget: Uniform Interpolation of  $\mathcal{SHQ}$ -Ontologies

2014 ◽  
pp. 434-448 ◽  
Author(s):  
Patrick Koopmann ◽  
Renate A. Schmidt
Keyword(s):  
Uniform Interpolation

Cool – A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)

2014 ◽  
pp. 396-402 ◽  
Author(s):  
Daniel Gorín ◽  
Dirk Pattinson ◽  
Lutz Schröder ◽  
Florian Widmann ◽  
Thorsten Wißmann
Keyword(s):  
System Description

Quati: An Automated Tool for Proving Permutation Lemmas

2014 ◽  
pp. 255-261 ◽  
Author(s):  
Vivek Nigam ◽  
Giselle Reis ◽  
Leonardo Lima
Keyword(s):  
Automated Tool
Load More ...
Sign in / Sign up

Export Citation Format

Share Document