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

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

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