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
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
COCS '91 Proceedings of the conference on Organizational computing systems
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Experimental classification facilities for Smalltalk
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Systemic classification and its efficiency
Computational Linguistics
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Unified versioning through feature logic
ACM Transactions on Software Engineering and Methodology (TOSEM)
Representing and Reasoning on Conceptual QueriesOver Image Databases
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Access to heterogeneous data sources for supporting business process execution
Proceedings of the 2001 ACM symposium on Applied computing
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
A Survey on Case-Based Planning
Artificial Intelligence Review
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
Infobase Change: A First Approximation
Journal of Logic, Language and Information
A Knowledge-Based Approach to Visual Information
Journal of Intelligent Information Systems
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
IEEE Transactions on Knowledge and Data Engineering
Approximating most specific concepts in description logics with existential restrictions
AI Communications - Special issue on KI-2001
Knowledge Discovery in Molecular Databases
IEEE Transactions on Knowledge and Data Engineering
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
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
A Class-Based Logic Language for Ontologies
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Representing Knowledge Levels in Clinical Guidelines
AIMDM '99 Proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Semantic Structuring and Visual Querying of Document Abstracts in Digital Libraries
ECDL '98 Proceedings of the Second European Conference on Research and Advanced Technology for Digital Libraries
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
On the Integration of Recursive ALN-Theories
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: 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
Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Description Logics-Like Model for a Knowledge and Data Management System
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The description logic handbook
Description logics with aggregates and concrete domains
Information Systems
Designing illustrated texts: how language production is influenced by graphics generation
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
An integrated environment for lexical analyses
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
An integrated environment for lexical analyses
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications
Information acquisition from multi-agent resources
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Knowledge editing and maintenance tools for a semantic portal in oncology
International Journal of Human-Computer Studies - Protégé: community is everything
A substance-field ontology to support the TRIZ thinking approach
International Journal of Computer Applications in Technology
Understanding the Environment Through Wireless Sensor Networks
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Structured knowledge representation for image retrieval
Journal of Artificial Intelligence Research
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A terminological logic with defaults: a definition and an application
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Default inheritance reasoning in hybrid KL-ONE-style logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A multi-dimensional terminological knowledge representation language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Decidable reasoning in terminological knowledge representation systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The equivalence of model-theoretic and structural subsumption in description logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Terminological cycles in a description logic with existential restrictions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Case-base maintenance by conceptual clustering of graphs
Engineering Applications of Artificial Intelligence
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
Learnability of description logic programs
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Non-standard inferences in description logics
Non-standard inferences in description logics
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Logic-based knowledge representation
Artificial intelligence today
A structuralistic approach to ontologies
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Integrating rules in term subsumption knowledge representation servers
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A non-well-founded approach to terminological cycles
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Recognition algorithms for the loom classifier
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Representing sequences in description logics
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
An extended inverted file approach for information retrieval
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Reasoning as axioms change: incremental view maintenance reconsidered
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Probabilistic description logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An algorithm for extracting rare concepts with concise intents
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
A classification of ontology modification
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
An intuitive tool for constraint based grammars
CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
A logical relational approach for information retrieval indexing
IRSG'97 Proceedings of the 19th Annual BCS-IRSG conference on Information Retrieval Research
Document retrieval by relevance terminological logics
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
A modular approach for representing and executing clinical guidelines
Artificial Intelligence in Medicine
UEL: unification solver for the description logic EL - system description
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
| Hi-index | 0.00 |