Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Nonmonotonic reasoning in LDL++
Logic-based artificial intelligence
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
Protecting deductive databases from unauthorized retrieval and update requests
Data & Knowledge Engineering - Data and applications security
On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
Access Control for Deductive Databases by Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Linearly Bounded Reformulations of Unary Databases
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Key Constraints and Monotonic Aggregates in Deductive Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A New Factoring Algorithm for Magic Predicates
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Characterizing Web Service Substitutivity with Combined Deductive and Inductive Engines
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
Linearly Bounded Reformulations of Conjunctive Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Data and knowledge in database systems: deductive databases
Handbook of data mining and knowledge discovery
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
ACM Transactions on Computational Logic (TOCL)
A logic-based approach to data integration
Theory and Practice of Logic Programming
Encyclopedia of Computer Science
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
The Modal Query Language MDatalog
Fundamenta Informaticae
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
The Modal Query Language MDatalog
Fundamenta Informaticae
Constructive techniques for meta- and model-level reasoning
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |