Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Communications of the ACM
Semantical considerations on nonmonotonic logic
Artificial Intelligence
The role of frame-based representation in reasoning
Communications of the ACM
Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
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
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Mental models and software maintenance
Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers
Alternating automata on infinite trees
Theoretical Computer Science
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
The KREME knowledge editing environment
International Journal of Man-Machine Studies - Special Issue: Knowledge Acquisition for Knowledge-based Systems. Part 4
A field study of the software design process for large systems
Communications of the ACM
HARP: a tableau-based theorem prover
Journal of Automated Reasoning
Determinism and looping in combinatory PDL
Theoretical Computer Science
Object-oriented concepts, databases, and applications
Object-oriented concepts, databases, and applications
A four-valued semantics for terminological logics
Artificial Intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
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
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Hierarchical knowledge bases and efficient disjunctive reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
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
Constraint propagation with imprecise conditional probabilities
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Attributive concept descriptions with complements
Artificial Intelligence
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Computers and Biomedical Research
Computational Intelligence
An essay in combinatory dynamic logic
Information and Computation
Using terminological reasoning in hybrid systems
AI Communications
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Inheritance hierarchies in knowledge representation and programming languages
Inheritance hierarchies in knowledge representation and programming languages
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
The CLASSIC knowledge representation system: guiding principles and implementation rationale
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
CAKE: an implemented hybrid knowledge representation and limited reasoning system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Tree automata, Mu-Calculus and determinacy
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
The computer-based patient record: an essential technology for health care
The computer-based patient record: an essential technology for health care
Communications of the ACM
Introduction to object-oriented databases
Introduction to object-oriented databases
The complexity of existential quantification in concept languages
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Maintenance Support for Object-Oriented Programs
IEEE Transactions on Software Engineering - Special issue on software maintenance
Fundamentals of database systems (2nd ed.)
Fundamentals of database systems (2nd ed.)
On the complexity of queries in the logical data model
ICDT Selected papers of the 4th international conference on Database theory
The complexity of path-based defeasible inheritance
Artificial Intelligence
Artificial Intelligence - Special volume on natural language processing
Plan-based integration of natural language and graphics generation
Artificial Intelligence - Special volume on natural language processing
Intelligent multimedia interfaces
Natural language, knowledge representation, and logical form
A symposium on future directions in natural language processing on Challenges in natural language processing
Compiled hierarchical retrieval
Conceptual structures
Loading data into description reasoners
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent systems
Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Subsumption between queries to object-oriented databases
Information Systems - Special issue on extending database technology
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Reasoning with individuals in concept languages
Data & Knowledge Engineering
An empirical analysis of terminological representation systems
Artificial Intelligence
Minimal belief and negation as failure
Artificial Intelligence
The Learnability of Description Logics with Equality Constraints
Machine Learning - Special issue on computational learning theory, COLT'92
A description classifier for the predicate calculus
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
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)
Building a large-scale knowledge base for machine translation
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Reasoning about knowledge
Data model and query evaluation in global information systems
Journal of Intelligent Information Systems - Special issue: networked information discovery and retrieval
Designing a controlled medical vocabulary server: the VOSER project
Computers and Biomedical Research
Generating coherent presentations employing textual and visual material
Artificial Intelligence Review - Special issue on integration of natural language and vision processing: intelligent multimedia
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
WordNet: a lexical database for English
Communications of the ACM
Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results
Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results
Improvements to propositional satisfiability search algorithms
Improvements to propositional satisfiability search algorithms
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Query reformulation for dynamic information integration
Journal of Intelligent Information Systems - Special issue on intelligent integration of information
Automated temporal reasoning about reactive systems
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Modal and temporal logics for processes
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Cardinality restrictions on concepts
Artificial Intelligence
The complexity of searching implicit graphs
Artificial Intelligence
WIP/PPP: automatic generation of personalized multimedia presentations
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
AI Communications - Special issue on the Swiss priority programme in informatics research, module knowledge-based systems
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
The complexity of concept languages
Information and Computation
Time-dependent concepts: representation and reasoning using temporal description logics
Data & Knowledge Engineering
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
Rewriting queries using views in description logics
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An integrated representation for software development and discovery
An integrated representation for software development and discovery
Reasoning in description logics
Principles of knowledge representation
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A refined architecture for terminological systems: terminology = schema + views
Artificial Intelligence
An epistemic operator for description logics
Artificial Intelligence
Languages represented by Boolean formulas
Information Processing Letters
Database modeling and design (3rd ed.)
Database modeling and design (3rd ed.)
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Information modeling in the time of the revolution
Information Systems - Special issue: selected papers from the 9th International Conference on advanced information systems engineering (CA ISE '97)
Description logics for conceptual data modeling
Logics for databases and information 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
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
OKBC: a programmatic foundation for knowledge base interoperability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Usability issues in knowledge representation systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Modal logics, description logics and arithmetic reasoning
Artificial Intelligence
Partonomic reasoning as taxonomic reasoning in medicine
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Beyond NP: the QSAT phase transition
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
DLMS: ten years of AI for vehicle assembly process planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Lexical semantics and knowledge representation in multilingual text generation
Lexical semantics and knowledge representation in multilingual text generation
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Limitations of record-based information models
ACM Transactions on Database Systems (TODS)
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
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
“Reducing” CLASSIC to practice: knowledge representation theory meets reality
Artificial Intelligence - Special issue on applications of artificial intelligence
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Modal description logics: modalizing roles
Fundamenta Informaticae
Logics with counting and local properties
ACM Transactions on Computational Logic (TOCL)
Complexity Results for First-Order Two-Variable Logic with Counting
SIAM Journal on Computing
Distributed and Parallel Databases
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
A machine program for theorem-proving
Communications of the ACM
Unification of concept terms in description logics
Journal of Symbolic Computation
Proceedings of the 1st international conference on Knowledge capture
Proceedings of the 1st international conference on Knowledge capture
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Reasoning with Incomplete Information
Reasoning with Incomplete Information
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Conceptual Information Processing
Conceptual Information Processing
Semantic Networks in Artificial Intelligence
Semantic Networks in Artificial Intelligence
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Dynamic Logic
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
Logic-based techniques in data integration
Logic-based artificial intelligence
Medical Language Processing: Computer Management of Narrative Data
Medical Language Processing: Computer Management of Narrative Data
Readings in Knowledge Representation
Readings in Knowledge Representation
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
CLASP: Integrating Term Subsumption Systems and Production Systems
IEEE Transactions on Knowledge and Data Engineering
A Persistent Store for Large Shared Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
Using Polymorphism to Improve Expert System Maintainability
IEEE Expert: Intelligent Systems and Their Applications
Using a Description Classifier to Enhance Knowledge Representation
IEEE Expert: Intelligent Systems and Their Applications
Guest Editors' Introduction: Configuration
IEEE Intelligent Systems
Using Resource Balancing to Configure Modular Systems
IEEE Intelligent Systems
Configuring Large Systems Using Generative Constraint Satisfaction
IEEE Intelligent Systems
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
Part-Whole Reasoning: A Case Study in Medical Ontology Engineering
IEEE Intelligent Systems
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
A Portrait of the Semantic Web in Action
IEEE Intelligent Systems
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Adding Uniqueness Constraints to Description Logics (Preliminary Report)
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Preference Semantics for Ground Nonmonotonic Modal Logics
EPIA '95 Proceedings of the 7th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
ODB-QOPTIMIZER: A Tool for Semantic Query Optimization in OODB
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
Classification as a Query Processing Technique in the CANDIDE Semantic Data Model
Proceedings of the Fifth International Conference on Data Engineering
Knowledge Mining by Imprecise Querying: A Classification-Based Approach
Proceedings of the Eighth International Conference on Data Engineering
On the Interaction Between ISA and Cardinality Constraints
Proceedings of the Tenth International Conference on Data Engineering
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Polynomial Algorithms for Projection and Matching
Proceedings of the 7th Annual Workshop on Conceptual Structures: Theory and Implementation
Conceptual Graphs and First-Order Logic
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Towards Correspondence between Conceptual Graphs and Description Logics
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources
ISMB '98 Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
An Object Data Model with Roles
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Materialization: A Powerful and Ubiquitous Abstraction Pattern
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
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
Improvements to the Evaluation of Quantified Boolean Formulae
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
A New Method to Index and Query Sets
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Computing Least Common Subsumers in Description Logics with Existential Restrictions
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on 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
Reasoning with Concrete Domains
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Multi-Dimensional Description Logics
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
A Semantics for Open Normal Defaults via a Modified Preferential Approach
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Modelling the Retrieval of Structured Documents Containing Texts and Images
ECDL '97 Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Information Integration: Conceptual Modeling and Reasoning Support
COOPIS '98 Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems
COOPIS '98 Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Comparison of Theorem Provers for Modal Logics - Introduction and Summary
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Conjunctive Query Language for Description Logic Aboxes
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Untangle: A New Ontology for Card Catalog Systems
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
The Chimaera Ontology Environment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
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
Attribute Description Formalisms ... and the Rest of the World
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
The LILOG Ontology from a Linguistic Point of View
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
Fundamentals of Cardinality Constraints
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Cardinality Consistency of Derived Objects in DOOD Systems
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
Extensions of Concept Languages for a Mechanical Engineering Application
GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Concept Language Extended with Different Kinds of Transitive Roles
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Approximating Most Specific Concepts in Description Logics with Existential Restrictions
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Data Models in Knowledge Representation System: A Case Study
GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung
Issues of Integration and Balancing in Hybrid Knowledge Representation Systems
GWAI '87 Proceedings of the 11th German Workshop on Artificial Intelligence
Configuration as a Consistency Maintenance Task
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems
GWAI '90 Proceedings of the 14th German Workshop on Artificial Intelligence
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract)
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
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
A Terminological Knowledge Representation System with Complete Inference Algorithms
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
An Ontological Analysis of Surgical Deeds
AIME '97 Proceedings of the 6th Conference on Artificial Intelligence in Medicine in Europe
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Non-first-order features in concept languages
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
NEXPTIME-Complete Description Logics with Concrete Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Augmenting abstract syntax trees for program understanding
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Complexity of Two-Variable Logic with Counting
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Source Integration in Data Warehousing
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
A Default Extension to Description Logics for Use in an Intelligent Search Engine
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Introducing Temporal Description Logics
TIME '99 Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning
On the Relation between Descripion Logics and Conceptual Graphs
On the Relation between Descripion Logics and Conceptual Graphs
Towards a Theory of Frames and Rules
Towards a Theory of Frames and Rules
Implementation of the BACK-System Version 4
Implementation of the BACK-System Version 4
Object Recognition and Retrieval in the BACK-System
Object Recognition and Retrieval in the BACK-System
Persistent Maintenance of Object Descriptions using BACK
Persistent Maintenance of Object Descriptions using BACK
Retraction of Object Descriptions in BACK
Retraction of Object Descriptions in BACK
Inferences for Temporal Object Descriptions in a Terminological Representation System: Design and Implementation
Decidable, logic-based knowledge representation
Decidable, logic-based knowledge representation
Explaining reasoning in description logics
Explaining reasoning in description logics
Special Issue: Configuration Design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Planning text for advisory dialogues: capturing intentional and rhetorical information
Computational Linguistics
An approach to multilevel semantics for applied systems
ANLC '92 Proceedings of the third conference on Applied natural language processing
Semantic interpretation using KL-ONE
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A hybrid approach to representation in the Janus natural language processor
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Building knowledge bases for the generation of software documentation
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
A description logic-based configurator on the web
ACM SIGART Bulletin
Autoepistemic Description Logics
AI Communications
Journal of Artificial Intelligence Research
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
What's in an attribute? consequences for the least common subsumer
Journal of Artificial Intelligence Research
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
Autoepistemic description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
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
Terminological logics with modal operators
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Explaining subsumption in description logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Interval-based temporal reasoning with general TBoxes
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Matching under side conditions in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Computing least common subsumers in ALEN
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Filling knowledge gaps in a broad coverage machine translation system
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Description logic in practice: a CLASSIC application
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Ontological analysis of taxonomic relationships
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Non-standard inferences in description logics
Non-standard inferences in description logics
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A generic knowledge-base browser and editor
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Query-answering algorithms for information agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Explicit representations of problem-solving strategies to support knowledge acquisition
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The limits on combining recursive horn rules with description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Closed terminologies in description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
IEEE Transactions on Information Technology in Biomedicine
Hi-index | 0.00 |