Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Ontology Database: A New Method for Semantic Modeling and an Application to Brainwave Data
SSDBM '08 Proceedings of the 20th international conference on Scientific and Statistical Database Management
Reasoning with an Incomplete Information Exchange Policy
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Autoepistemic description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reconciling description logics and rules
Journal of the ACM (JACM)
Data quality enhancement of databases using ontologies and inductive reasoning
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Reasoning with minimal belief and negation as failure: algorithms and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Epistemic querying of OWL knowledge bases
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Intensional semantics for p2p data integration
Journal on Data Semantics VI
Towards controlled query evaluation for incomplete first-order databases
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
International Journal of Metadata, Semantics and Ontologies
The QMLTP problem library for first-order modal logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Ontology-based data access with closed predicates is inherently intractable (sometimes)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Hi-index | 0.00 |