Foundations of logic programming
Foundations of logic programming
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
OLD resolution with tabulation
Proceedings on Third international conference on logic programming
Communication and concurrency
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
Recursive query processing: the power of logic
Theoretical Computer Science
Paraconsistent logic programming
Theoretical Computer Science
Logic programs with classical negation
Logic programming
Bilattices and the semantics of logic programming
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning with inconsistency in extended deductive databases
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
ACM Transactions on Database Systems (TODS)
Computing annotated logic programs
Proceedings of the eleventh international conference on Logic programming
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Practical program analysis using general purpose logic programming systems—a case study
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Autonomous, model-based diagnosis agents
Autonomous, model-based diagnosis agents
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Normal forms for defeasible logic
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Iterated logic program updates
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
The limits of fixed-order computation
Theoretical Computer Science
Reasoning with Logic Programming
Reasoning with Logic Programming
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract)
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
Logic Programming and Model Checking
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Efficient Model Checking Using Tabled Resolution
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Principles, practice, and applications of tabled logic programming
ACM SIGSOFT Software Engineering Notes
Preference logic grammars: fixed point semantics and application to data standardization
Artificial Intelligence
A New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Suspending and Resuming Computations in Engines for SLG Evaluation
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
A Case Study in Using Preference Logic Grammars for Knowledge Representations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
An improved reductant calculus using fuzzy partial evaluation techniques
Fuzzy Sets and Systems
An Implementation of Extended P-Log Using XASP
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On Preferring and Inspecting Abductive Models
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Layered Models Top-Down Querying of Normal Logic Programs
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Thresholded Tabulation in a Fuzzy Logic Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Intention Recognition via Causal Bayes Networks Plus Plan Generation
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Tabling with answer subsumption: implementation, applications and performance
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Inspecting side-effects of abduction in logic programs
Logic programming, knowledge representation, and nonmonotonic reasoning
Design patterns for tabled logic programming
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Stable model implementation of layer supported models by program transformation
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Elder care via intention recognition and evolution prospection
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
A static preprocess for improving fuzzy thresholded tabulation
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Mode-directed fixed point computation
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
A framework for reasoning with rough sets
Transactions on Rough Sets IV
Moral reasoning under uncertainty
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
Non‐monotonic extensions add power to logic programs. However, the main logic programming language, Prolog, is widely recognized as inadequate to implement these extensions due to its weak termination and complexity properties. By extending Prolog’s SLD resolution with tabling, Prolog can be improved in several ways. Tabling can allow a logic programming system to compute the well‐founded semantics for programs with bounded term depth, and to do so with polynomial data complexity. By exploiting these properties, tabling allows a variety of non‐monotonic extensions to be efficiently implemented, and used to solve practical problems. In this paper we describe tabling as it is implemented in the XSB system and show how it can be used to construct meta‐interpreters (or preprocessors) for two sample formalisms: the Well‐Founded Semantics with Explicit Negation, and Generalized Annotated Logic Programs. We also describe how non‐monotonic extensions are used in practical applications such as psychiatric diagnosis, extraction of information from poorly structured textual data, and model checking.