The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A procedural semantics for well founded negation in logic programs
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Computations at infinity: a nonstandard approach
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Semantics of constraint logic programs with optimization
ACM Letters on Programming Languages and Systems (LOPLAS)
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fixpoint 3-valued semantics for autoepistemic logic
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Three-valued formalization of logic programming: is it needed?
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The expressive powers of the logic programming semantics (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A semantic decomposition of defeasible logics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A decision procedure for term algebras with queues
ACM Transactions on Computational Logic (TOCL)
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Proving Correctness and Completeness of Normal Programs - A Declarative Approach
Proceedings of the 17th International Conference on Logic Programming
Embedding Defeasible Logic into Logic Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Efficient Negation Using Abstract Interpretation
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
How to Incorporate Negation in a Prolog Compiler
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Relating Defeasible Logic to Extended Logic Programs
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Characterizations of Classes of Programs by Three-Valued Operators
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Denotational Semantics of Defeasible Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A three-valued characterization for strong equivalence of logic programs
Eighteenth national conference on Artificial intelligence
Automated deduction for many-valued logics
Handbook of automated reasoning
A Decision Procedure for Term Algebras with Queues
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Three-Valued Constructive Logic and Logic Programs
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Constructive negation by bottom-up computation of literal answers
Proceedings of the 2004 ACM symposium on Applied computing
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
A logic-based framework for attribute based access control
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Knuth--bendix constraint solving is NP-complete
ACM Transactions on Computational Logic (TOCL)
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Symmetric structure in logic programming
Journal of Computer Science and Technology
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
Proceedings of the 2006 ACM symposium on Applied computing
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
A three-valued semantics for logic programmers
Theory and Practice of Logic Programming
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
Mechanized metatheory model-checking
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Theory and Practice of Logic Programming
Argumentation in the Semantic Web
IEEE Intelligent Systems
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming
Rough Sets and Approximation Schemes
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Any-World Access to OWL from Prolog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
Approximation Schemes in Logic and Artificial Intelligence
Transactions on Rough Sets IX
Web Sites Repairing through Abduction
Electronic Notes in Theoretical Computer Science (ENTCS)
A Compact Argumentation System for Agent System Specification
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Interleaving belief updating and reasoning in abductive logic programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Extending Constructive Logic Negation with Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Abductive logic programming by nonground rewrite systems
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Programming in autoepistemic logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Elimination of Local Variables from Definite Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Nonmonotonic Trust Management for P2P Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Theory and Practice of Logic Programming
Soft constraints and heuristic constraint correction in entity-relationship modelling
Proceedings of the 2nd international conference on Semantics in databases
A generalization of the folding rule for the Clark-Kunen semantics
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Ambiguity propagating defeasible logic and the well-founded semantics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An algorithm for local variable elimination in normal logic programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
First-order stable model semantics and first-order loop formulas
Journal of Artificial Intelligence Research
Interpolable formulas in equilibrium logic and answer set programming
Journal of Artificial Intelligence Research
A declarative coordination language
Computer Languages
Logic Programs, Norms and Action
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
Logic programming: from underspecification to undefinedness
CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128
| Hi-index | 0.00 |