Anytime approximate model reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Approximating Terminological Queries
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
A Tractable Query Cache by Approximation
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Attacking the Complexity of Prioritized Inference Preliminary Report
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Logics for Approximate Reasoning: Approximating Classical Logic "From Above"
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Disjunctions of Horn Theories and Their Cores
ISAAC '98 Proceedings of the 9th International Symposium on Algorithms and Computation
A Logic for Anytime Deduction and Anytime Compilation
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
On Anytime Coherence-Based Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Logic for Approximate First-Order Reasoning
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
A logical toolbox for knowledge approximation
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
The universe of propositional approximations
Theoretical Computer Science - Logic, language, information and computation
Multi-agent Coordination Based on Semantic Approximation
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
A formal road from institutional norms to organizational structures
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
What Is Approximate Reasoning?
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Towards higher impact argumentation
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Does This Set of Clauses Overlap with at Least One MUS?
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Tractable reasoning in first-order knowledge bases with disjunctive information
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
On the approximation of instance level update and erasure in description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Approximating OWL-DL ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Partial matchmaking using approximate subsumption
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Resource-bounded inference from inconsistent belief bases
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An Anytime Algorithm for Computing Inconsistency Measurement
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Approximations of Modal Logic K
Electronic Notes in Theoretical Computer Science (ENTCS)
When data dependencies over SQL tables meet the logics of paradox and S-3
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Secure transaction protocol analysis: models and applications
Secure transaction protocol analysis: models and applications
Semantic based approximate query across multiple ontologies
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
On the role of the complementation rule for data dependencies over incomplete relations
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
JustBench: a framework for OWL benchmarking
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
A Workbench for Anytime Reasoning by Ontology ApproximationWith a case study on instance retrieval
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Dealing with inconsistent secure messages by weighting majority
Knowledge-Based Systems
The boyce-codd-heath normal form for SQL
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Approximations for explanations of inconsistency in partially known multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Codd table representations under weak possible world semantics
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Toward multi-viewpoint reasoning with OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Approximate semantic query based on multi-agent systems
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Scalable instance retrieval for the semantic web by approximation
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Debugging and semantic clarification by pinpointing
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Approximating description logic classification for semantic web reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Introduction to inconsistency tolerance
Inconsistency Tolerance
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
Foundations for a fourth normal form over SQL-Like databases
Conceptual Modelling and Its Theoretical Foundations
ACM Transactions on Database Systems (TODS)
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
Performance heterogeneity and approximate reasoning in description logic ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
On simplification of schema mappings
Journal of Computer and System Sciences
Capturing model-based ontology evolution at the instance level: The case of DL-Lite
Journal of Computer and System Sciences
Hi-index | 0.00 |