A least common subsumer operation for an expressive description logic
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Back and forth between guarded and modal logics
ACM Transactions on Computational Logic (TOCL)
Supporting software evolution with intentional software views
Proceedings of the International Workshop on Principles of Software Evolution
Users talk to their model trains: interaction with a speech-based multi-agent system
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
EMBASSI: multimodal assistance for universal access to infotainment and service infrastructures
WUAUC'01 Proceedings of the 2001 EC/NSF workshop on Universal accessibility of ubiquitous computing: providing for the elderly
The multilingual thesaurus of LAURIN
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Annals of Mathematics and Artificial Intelligence
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Decidability by Resolution for Propositional Modal Logics
Journal of Automated Reasoning
Using Resolution for Testing Modal Satisfiability and Building Models
Journal of Automated Reasoning
An integrated object-role oriented database model
Data & Knowledge Engineering
Coordination Issues in Multi-agent Event Data Processing
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Approximating Terminological Queries
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
Decidable Containment of Recursive Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Context-Based Logic for Distributed Knowledge Representation and Reasoning
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Operations for Conceptual Schema Manipulation: Definitions and Semantics
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Computing Least Common Subsumers in Expressive Description Logics
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Modelling the CBR Life Cycle Using Description Logics
ICCBR '99 Proceedings of the Third International Conference on Case-Based Reasoning and Development
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Declarative Specification of Z39.50 Wrappers Using Description Logics
ECDL '99 Proceedings of the Third European Conference on Research and Advanced Technology for Digital Libraries
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
A Framework for Developing Embeddable Customized Logics
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Towards a Conceptual Representation of Actions
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
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
Complexity of Terminological Reasoning Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
"Real World" as an Argument for Covariant Specialization in Programming and Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Object Space Partitioning in a DL-Like Database and Knowledge Base Management System
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
A system for principled matchmaking in an electronic marketplace
WWW '03 Proceedings of the 12th international conference on World Wide Web
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
Hyperresolution for guarded formulae
Journal of Symbolic Computation - Special issue: First order theorem proving
A multimodal presentation planner for a home entertainment environment
Proceedings of the 2001 workshop on Perceptive user interfaces
A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications
Transparent access to multiple bioinformatics information sources
IBM Systems Journal - Deep computing for the life sciences
Proceedings of the 35th conference on Winter simulation: driving innovation
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
Knowledge based approach to semantic composition of teams in an organization
Proceedings of the 2005 ACM symposium on Applied computing
Text authoring, knowledge acquisition and description logics
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
A complete integrated NLG system using AI and NLU tools
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Product knowledge reasoning: a DL-based approach
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Automatic ontology matching using application semantics
AI Magazine - Special issue on semantic integration
Enterprise modeling and Data Warehousing in TELECOM ITALIA
Information Systems
A unified interaction scheme for information sources
Journal of Intelligent Information Systems
Reasoning on UML class diagrams
Artificial Intelligence
An optimization for query answering on ALC database
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Knowledge and Information Systems
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
Rule identification using ontology while acquiring rules from Web pages
International Journal of Human-Computer Studies
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
If objects could talk: a novel resource discovery approach for pervasive environments
International Journal of Internet Protocol Technology
Semantic-enhanced Bluetooth discovery protocol for m-commerce applications
International Journal of Web and Grid Services
Semantic based collaborative P2P in ubiquitous computing
Web Intelligence and Agent Systems
Abduction for Accessing Information Sources
Fundamenta Informaticae
Enhancing portability with multilingual ontology-based knowledge management
Decision Support Systems
A semantic-based mobile registry for dynamic RFID-based logistics support
Proceedings of the 10th international conference on Electronic commerce
A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
International Journal of Electronic Commerce
Advances in Web Semantics I
Mapping problem-space to solution-space features: a feature interaction approach
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Journal of Artificial Intelligence Research
Structured knowledge representation for image retrieval
Journal of Artificial Intelligence Research
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Multi-dimensional description logics
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A semantic-based registry enabling discovery, composition and substitution of pervasive services
Proceedings of the Seventh ACM International Workshop on Data Engineering for Wireless and Mobile Access
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning in Pervasive Environments: An Implementation of Concept Abduction with Mobile OODBMS
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Matching under side conditions in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Distributed Resolution for Expressive Ontology Networks
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Enterprise modeling and Data Warehousing in Telecom Italia
Information Systems
Putting things in context: a topological approach to mapping contexts to ontologies
Journal on data semantics IX
Logic-based knowledge representation
Artificial intelligence today
Reasoning in non-axiomatic logic: a case study in medical diagnosis
AGI'11 Proceedings of the 4th international conference on Artificial general intelligence
Representing and reasoning about privacy abstractions
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Automatic ontology mapping for agent communication in an e-commerce environment
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
Compound term composition algebra: the semantics
Journal on Data Semantics II
A formal framework for reasoning on metadata based on CWM
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Explanation services and request refinement in user friendly semantic-enabled b2c e-marketplaces
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Agent oriented data integration
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
On the decidability and complexity of identity knowledge representation
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
An ontology for enterprise and information systems modelling
Applied Ontology
An ontology for enterprise and information systems modelling
Applied Ontology
Abduction for Accessing Information Sources
Fundamenta Informaticae
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
Modal description logics: modalizing roles
Fundamenta Informaticae
Towards a similarity-based web service discovery through soft constraint satisfaction problems
Proceedings of the 2nd International Workshop on Semantic Search over the Web
Hi-index | 0.00 |