Journal of the ACM (JACM) - The MIT Press scientific computation series
Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
Logics of time and computation
Logics of time and computation
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
A four-valued semantics for terminological logics
Artificial Intelligence
An automata theoretic decision procedure for the propositional mu-calculus
Information and Computation
Modeling complex structures in object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Terminological knowledge representation systems supporting N-ary terms
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Attributive concept descriptions with complements
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
The logic of typed feature structures
The logic of typed feature structures
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning with individuals in concept languages
Data & Knowledge Engineering
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Refining the structure of terminological systems: terminology = schema + views
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
The complexity of concept languages
Information and Computation
Reasoning in description logics
Principles of knowledge representation
Path constraints on semistructured and structured data
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
What can knowledge representation do for semi-structured data?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Theoretical Computer Science
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
On the complexity of integer programming
Journal of the ACM (JACM)
Combining deduction and model checking into Tableaux and algorithms for converse-PDL
Information and Computation
Modal logic
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
On the Interaction Between ISA and Cardinality Constraints
Proceedings of the Tenth International Conference on Data Engineering
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Reasoning about The Past with Two-Way Automata
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Tableau Algorithms for Description Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Answering Queries Using Views over Description Logics Knowledge Bases
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Propositional Dynamic Logics of Programs: a Survey
Logic of Programs, Workshop
The Taming of Converse: Reasoning about Two-way Computations
Proceedings of the Conference on Logic of Programs
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Handbook of automated reasoning
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Automata theoretic techniques for modal logics of programs: (Extended abstract)
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Query-answering algorithms for information agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
ACM Transactions on Computational Logic (TOCL)
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Situation Calculus as Hybrid Logic: First Steps
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Structural Properties of XPath Fragments
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
On Expressive Description Logics with Composition of Roles in Number Restrictions
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Schema Evolution and Versioning: A Logical and Computational Characterisation
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
Notions of Indistinguishability for Semantic Web Languages
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Temporal ER Modeling with Description Logics
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
NEXPTIME-Complete Description Logics with Concrete Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Complexity of Terminological Reasoning Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Resolution decision procedures
Handbook of automated reasoning
A formal model for temporal schema versioning in object-oriented databases
Data & Knowledge Engineering
The description logic handbook
Interaction between path and type constraints
ACM Transactions on Computational Logic (TOCL)
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Structural properties of XPath fragments
Theoretical Computer Science - Database theory
Reasoning on UML class diagrams
Artificial Intelligence
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Using OWL to model biological knowledge
International Journal of Human-Computer Studies
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Description Logic Representation for Requirement Specification
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
A framework for semantic reconciliation of disparate earth observation thematic data
Computers & Geosciences
Reasoning on UML class diagrams
Artificial Intelligence
Qualitative reasoning about consistency in geographic information
Information Sciences: an International Journal
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
An efficient decision procedure for imperative tree data structures
CADE'11 Proceedings of the 23rd international conference on Automated deduction
An ontology for accessing transcription systems
Language Resources and Evaluation
Visual ontology cleaning: cognitive principles and applicability
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Beth definability in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Modal description logics: modalizing roles
Fundamenta Informaticae
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |