Quantitative deduction and its fixpoint theory
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Constraint-based grammar formalisms: parsing and type inference for natural and computer languages
Constraint-based grammar formalisms: parsing and type inference for natural and computer languages
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
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
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
The limits of fixed-order computation
Theoretical Computer Science
Preference logic grammars: fixed point semantics and application to data standardization
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
A New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Understanding Memory Management in Prolog Systems
Proceedings of the 17th International Conference on Logic Programming
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
CHAT: The Copy-Hybrid Approach to Tabling
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Suspending and Resuming Computations in Engines for SLG Evaluation
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs
FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
Exploiting Parallelism in Tabled Evaluations
PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
Monotonic and Residuated Logic Programs
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Norms for DLP Agents Working in a Warehouse Scenario
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Psychiatric Diagnosis from the Viewpoint of Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Efficient Model Checking Using Tabled Resolution
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
XMC: A Logic-Programming-Based Verification Toolset
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
CL '00 Proceedings of the First International Conference on Computational Logic
A model checker for verifying ConGolog programs
Eighteenth national conference on Artificial intelligence
An Ontology for Modeling Ill-Structured Domains in Intelligent Educational Systems
ICALT '01 Proceedings of the IEEE International Conference on Advanced Learning Technologies
Efficient fixpoint computation in linear tabling
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
Incremental and demand-driven points-to analysis using logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Abductive validation of a power-grid expert system diagnoser
IEA/AIE'2004 Proceedings of the 17th international conference on Innovations in applied artificial intelligence
Constraint-based analysis of security properties
Constraint-based analysis of security properties
Specification-enhanced policies for automated management of changes in IT systems
LISA '06 Proceedings of the 20th conference on Large Installation System Administration
Xcellog: A deductive spreadsheet system
The Knowledge Engineering Review
Concurrent and Local Evaluation of Normal Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Layered Models Top-Down Querying of Normal Logic Programs
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
An Engine for Computing Well-Founded Models
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Incremental Answer Completion in the SLG-WAM
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Hybrid reasoning with rules and constraints under well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Tabling with answer subsumption: implementation, applications and performance
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Emergence of cooperation through mutual preference revision
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Implementing query answering for hybrid MKNF knowledge bases
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
A simple and efficient implementation of concurrent local tabling
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Modeling communicative behavior using permissions and obligations
AC'04 Proceedings of the 2004 international conference on Agent Communication
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
F-OWL: an inference engine for semantic web
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Extending the sweetdeal approach for e-procurement using sweetrules and RuleML
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Efficient tabling of structured data using indexing and program transformation
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Tor: extensible search with hookable disjunction
Proceedings of the 14th symposium on Principles and practice of declarative programming
Towards multi-threaded local tabling using a common table space
Theory and Practice of Logic Programming
Efficient tabling of structured data with enhanced hash-consing
Theory and Practice of Logic Programming
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.01 |
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However, the overriding reasons are practical. TLP allows sophisticated programs to be written concisely and efficiently, especially when mechanisms such as tabled negation and call and answer subsumption are supported. As a result, TLP has now been used in a variety of applications from program analysis to querying over the semantic web. This paper provides a survey of TLP and its applications as implemented in the XSB Prolog, along with discussion of how XSB supports tabling with dynamically changing code, and in a multi-threaded environment.