ACM Transactions on Database Systems (TODS)
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
Annotated Logic Applications for Imperfect Information
Applied Intelligence
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Bilattices and Reasoning in ArtificialIntelligence: Concepts and Foundations
Artificial Intelligence Review
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
Proceedings of the 17th International Conference on Logic Programming
Coherent Composition of Distributed Knowledge-Bases Through Abduction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Computing and Comparing Semantics of Programs in Four-Valued Logics
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Extending Disjunctive Logic Programming by T-norms
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Foundation for Hybrid Knowledge Bases
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Multi-adjoint Logic Programming with Continuous Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Hypothesis Support for Information Integration in Four-Valued Logics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Parametrized semantics of logic programs: a unifying framework
Theoretical Computer Science
Convergent approximate solving of first-order constraints by approximate quantifiers
ACM Transactions on Computational Logic (TOCL)
A general framework for query answering in data quality-based Cooperative Information Systems
Proceedings of the 2004 international workshop on Information quality in information systems
Hypothesis-based semantics of logic programs in multivalued logics
ACM Transactions on Computational Logic (TOCL)
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Aggregate operators in probabilistic databases
Journal of the ACM (JACM)
Ordering default theories and nonmonotonic logic programs
Theoretical Computer Science
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
Any-world assumptions in logic programming
Theoretical Computer Science
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic (TOCL)
Quantitative Disjunctive Logic Programming: semantics and computation
AI Communications
Fuzzy logic programming via multilattices
Fuzzy Sets and Systems
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
A Hofmann-Mislove theorem for Bitopological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling uncertain positive and negative reasons in decision aiding
Decision Support Systems
A simple and expressive semantic framework for policy composition in access control
Proceedings of the 2007 ACM workshop on Formal methods in security engineering
Representing Uncertainty in RuleML
Fundamenta Informaticae
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Adaptation of Connectionist Weighted Fuzzy Logic Programs with Kripke-Kleene Semantics
ICANN '08 Proceedings of the 18th international conference on Artificial Neural Networks, Part I
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Gradual trust and distrust in recommender systems
Fuzzy Sets and Systems
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
An evidence-based framework for a theory of inheritance
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Annals of Mathematics and Artificial Intelligence
ACM Transactions on Computational Logic (TOCL)
On reachability of minimal models of multilattice-based logic programs
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Quantitative logic programming revisited
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
What is in a step: new perspectives on a classical question
Time for verification
Parametrized logic programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Efficient policy-based inconsistency management in relational knowledge bases
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition
ACM Transactions on Information and System Security (TISSEC)
Rumpole: a flexible break-glass access control model
Proceedings of the 16th ACM symposium on Access control models and technologies
PLINI: a probabilistic logic program framework for inconsistent news information
Logic programming, knowledge representation, and nonmonotonic reasoning
On the notions of residuated-based coherence and bilattice-based consistence
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
Studia Logica
Lattice-based graded logic: a multimodal approach
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Empirical probabilities in monadic deductive databases
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Proof theory of Nelson's paraconsistent logic: A uniform perspective
Theoretical Computer Science
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Lattice-Based paraconsistent logic
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Non-monotonic negation in probabilistic deductive databases
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Bilattice-Based squares and triangles
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Towards a more practical hybrid probabilistic logic programming framework
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
Possibilistic semantics for logic programs with ordered disjunction
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A note on bilattices and open constraint programming
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
What is an ideal logic for reasoning with inconsistency?
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Representing Uncertainty in RuleML
Fundamenta Informaticae
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
Kleene’s Three Valued Logics And Their Children
Fundamenta Informaticae
Belief functions on distributive lattices
Artificial Intelligence
Logic programming: from underspecification to undefinedness
CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Hi-index | 0.00 |