POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Data Models in Knowledge Representation System: A Case Study
GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems
GWAI '90 Proceedings of the 14th German Workshop on Artificial Intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
Terminological Default Reasoning about Spatial Information: A First Step
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Extending Datatype Support in Web Ontology Reasoning
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Extending Datatype Support in Web Ontology Reasoning
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Proving Termination of Constraint Solver Programs
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
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
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Description Logic for Image Retrieval
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
NEXPTIME-Complete Description Logics with Concrete Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
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
A Framework for Reasoning on Objects with Geometric Constraints
DEXA '02 Proceedings of the 13th 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
Fuzzy Bilateral Matchmaking in e-Marketplaces
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Web Semantics: Science, Services and Agents on the World Wide Web
Improving an RCC-Derived Geospatial Approximation by OWL Axioms
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Journal of Ambient Intelligence and Smart Environments
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
OWL-Eu: Adding customised datatypes into OWL
Web Semantics: Science, Services and Agents on the World Wide Web
A semantic framework for language layering in WSML
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Alternating-offers protocol for multi-issue bilateral negotiation in semantic-enabled marketplaces
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Extending propositional logic with concrete domains for multi-issue bilateral negotiation
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Towards a fuzzy logic for automated multi-issue negotiation
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
Similarity for Attribute-value Representations in Fuzzy Description Logics
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A tableau algorithm for description logics with concrete domains and GCIs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
OWL-Eu: adding customised datatypes into OWL
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
IM3: a system for matchmaking in mobile environments
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Computational treatment of temporal notions: the CTTN–System
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Formalizing mappings for OWL spatiotemporal ontologies
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Semantic mappings in description logics for spatio-temporal database schema integration
Journal on Data Semantics III
Document retrieval by relevance terminological logics
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Journal of Ambient Intelligence and Smart Environments
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
Hi-index | 0.00 |
This paper investigates the effects of parallelism on blackboard system scheduling. A parallel blackboard system is described that allows multiple knowledge source instantiations to execute in parallel using a shared-memory blackboard approach. New classes ...