Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Consensual Definition of Languages by Regular Sets
Language and Automata Theory and Applications
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Inhabitation of Low-Rank Intersection Types
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The DL-lite family and relations
Journal of Artificial Intelligence Research
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Model checking FO(R) over one-counter processes and beyond
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
Ehrenfeucht--Fraïssé goes automatic for real addition
Information and Computation
The Logic of Persistent Intersection
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Characterising space complexity classes via Knuth-Bendix orders
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Does Chomsky complexity affect genetic programming computational requirements?
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Relating automata to other fields
Journal of Computing Sciences in Colleges
Ontology-based data access with databases: a short course
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
| Hi-index | 0.00 |