Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
SLT-Resolution for the Well-Founded Semantics
Journal of Automated Reasoning
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Coherence Approach to Logic Program Revision
IEEE Transactions on Knowledge and Data Engineering
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Computing and Comparing Semantics of Programs in Four-Valued Logics
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
On the Relationship between Defeasible Logic and Well-Founded Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
New Generation Computing
An automated reasoning for diagnostic knowledge in a distributed environment
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
ACM Transactions on Computational Logic (TOCL)
Parametrized semantics of logic programs: a unifying framework
Theoretical Computer Science
Formalizing defeasible logic in CAKE
Fundamenta Informaticae
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming
Declarative semantics for active rules
Theory and Practice of Logic Programming
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
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic (TOCL)
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
A Congruence Rule Format with Universal Quantification
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic programs with monotone abstract constraint atoms*
Theory and Practice of Logic Programming
On the Semantics of Trust and Caching in the Semantic Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Semantics and expressiveness of ordered SOS
Information and Computation
Logic programs with abstract constraint atoms
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
On the implementation of global abduction
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Integrating inductive definitions in SAT
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
A rule-based language for web data management
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Rule formats for distributivity
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
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
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
An ordered logic program solver
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
Formalizing Defeasible Logic in CAKE
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
Belief Revision in Non-Monotonic Reasoning and Logic Programming
Fundamenta Informaticae
On a Logical Basis of Normal Logic Programs
Fundamenta Informaticae
Rule formats for distributivity
Theoretical Computer Science
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Fundamenta Informaticae
On the equivalence between logic programming semantics and argumentation semantics
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Hi-index | 0.00 |