ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Infinite Relations in Paraconsistent Databases
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Inference for Annotated Logics over Distributive Lattices
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
An argument-based multi-agent system for information integration
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
| Hi-index | 5.23 |