Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

44
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642313646, 9783642313653
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals How Fuzzy Is My Fuzzy Description Logic?

2012 ◽  
pp. 82-96 ◽  
Author(s):  
Stefan Borgwardt ◽  
Felix Distel ◽  
Rafael Peñaloza
Keyword(s):  
Description Logic ◽  
Fuzzy Description

Combination of Disjoint Theories: Beyond Decidability

2012 ◽  
pp. 256-270 ◽  
Author(s):  
Pascal Fontaine ◽  
Stephan Merz ◽  
Christoph Weidenbach

scholarly journals Extended Caching, Backjumping and Merging for Expressive Description Logics

2012 ◽  
pp. 514-529 ◽  
Author(s):  
Andreas Steigmiller ◽  
Thorsten Liebig ◽  
Birte Glimm
Keyword(s):  
Description Logics

scholarly journals Correctness of Program Transformations as a Termination Problem

2012 ◽  
pp. 462-476 ◽  
Author(s):  
Conrad Rau ◽  
David Sabel ◽  
Manfred Schmidt-Schauß
Keyword(s):  
Program Transformations ◽  
Termination Problem

scholarly journals SPARQL Query Containment under RDFS Entailment Regime

2012 ◽  
pp. 134-148 ◽  
Author(s):  
Melisachew Wudage Chekol ◽  
Jérôme Euzenat ◽  
Pierre Genevès ◽  
Nabil Layaïda
Keyword(s):  
Sparql Query ◽  
Query Containment

scholarly journals A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

2012 ◽  
pp. 67-81 ◽  
Author(s):  
François Bobot ◽  
Sylvain Conchon ◽  
Evelyne Contejean ◽  
Mohamed Iguernelala ◽  
Assia Mahboubi ◽  
...  
Keyword(s):  
Integer Arithmetic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document