Search results for "tabling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
155	Neng-Fa Zhou, Taisuke Sato	Efficient fixpoint computation in linear tabling.	PPDP	2003	DBLP DOI BibTeX RDF	linear tabling, prolog, recursion, tabling, optimization techniques, memoization
126	Ricardo Rocha 0001, Cláudio Silva 0001, Ricardo Lopes	On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.	ICLP	2007	DBLP DOI BibTeX RDF
118	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Or-Parallelism within Tabling.	PADL	1999	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
111	Zoltan Somogyi, Konstantinos Sagonas	Tabling in Mercury: Design and Implementation.	PADL	2006	DBLP DOI BibTeX RDF
103	Konstantinos Sagonas, Peter J. Stuckey	Just enough tabling.	PPDP	2004	DBLP DOI BibTeX RDF	suspension/resumption in the WAM, logic programming, pruning, tabling
103	Tom Schrijvers, David Scott Warren	Constraint Handling Rules and Tabled Execution.	ICLP	2004	DBLP DOI BibTeX RDF
96	Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato	Semi-naive evaluation in linear tabling.	PPDP	2004	DBLP DOI BibTeX RDF	linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization
89	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	On a Tabling Engine That Can Exploit Or-Parallelism.	ICLP	2001	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
82	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	PADL	2000	DBLP DOI BibTeX RDF
80	K. Tuncay Tekle, Yanhong A. Liu	Precise complexity analysis for efficient datalog queries.	PPDP	2010	DBLP DOI BibTeX RDF	demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
80	Jorge Costa, João Raimundo, Ricardo Rocha 0001	A Term-Based Global Trie for Tabled Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	Table Space, Implementation, Tabling Logic Programming
80	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Achieving Scalability in Parallel Tabled Logic Programs.	IPDPS	2002	DBLP DOI BibTeX RDF	Tabling, Parallel Logic Programming
74	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	A Tabling Implementation Based on Variables with Multiple Bindings.	ICLP	2009	DBLP DOI BibTeX RDF	Performance, Logic Programming, Implementation, Tabling, OR-Parallelism
74	Ricardo Rocha 0001	On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
67	Ricardo Rocha 0001, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa	IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.	ICLP	2005	DBLP DOI BibTeX RDF
67	Ricardo Rocha 0001, Nuno A. Fonseca, Vítor Santos Costa	On Applying Tabling to Inductive Logic Programming.	ECML	2005	DBLP DOI BibTeX RDF
67	Bart Demoen, Konstantinos Sagonas	CAT: The Copying Approach to Tabling.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
66	Jorge Costa, Ricardo Rocha 0001	One Table Fits All.	PADL	2009	DBLP DOI BibTeX RDF	Table Space, Implementation, Tabling Logic Programming
59	Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas	Termination proofs for logic programs with tabling.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	prolog, tabling, SLG-resolution
59	Jacques Calmet, Peter Kullmann	A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications.	ISMIS	1999	DBLP DOI BibTeX RDF	Subsumption-based Tabling, Information Integration, Intelligent Information Retrieval, Logic for Artificial Intelligence
59	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
59	Ricardo Rocha 0001	Handling Incomplete and Complete Tables in Tabled Logic Programs.	ICLP	2006	DBLP DOI BibTeX RDF
59	Baoqiu Cui, David Scott Warren	A System for Tabled Constraint Logic Programming.	Computational Logic	2000	DBLP DOI BibTeX RDF
52	Pedro Costa 0004, Ricardo Rocha 0001, Michel Ferreira	Relational Models for Tabling Logic Programs in a Database.	INAP/WLP	2007	DBLP DOI BibTeX RDF
52	Bart Demoen, Konstantinos Sagonas	CHAT: The Copy-Hybrid Approach to Tabling.	PADL	1999	DBLP DOI BibTeX RDF
52	Bart Demoen, Konstantinos Sagonas	Memory Management for Prolog with Tabling.	ISMM	1998	DBLP DOI BibTeX RDF	Prolog
46	João Santos 0004, Ricardo Rocha 0001	Efficient Support for Mode-Directed Tabling in the YapTab Tabling System	CoRR	2013	DBLP BibTeX RDF
44	Beata Sarna-Starosta, C. R. Ramakrishnan 0001	Compiling Constraint Handling Rules for Efficient Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
44	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Concurrent Table Accesses in Parallel Tabled Logic Programs.	Euro-Par	2004	DBLP DOI BibTeX RDF
44	Giridhar Pemmasani, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
44	Bart Demoen, Konstantinos Sagonas	Heap Garbage Collection in XSB: Practice and Experience.	PADL	2000	DBLP DOI BibTeX RDF
38	Cláudio Silva 0001, Ricardo Rocha 0001, Ricardo Lopes	An External Module for Implementing Linear Tabling in Prolog.	ICLP	2006	DBLP DOI BibTeX RDF
38	Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla	A Distributed Tabling Algorithm for Rule Based Policy Systems.	POLICY	2006	DBLP DOI BibTeX RDF
38	Calogero Di Stefano, Andrea Tettamanzi	An Evolutionary Algorithm for Solving the School Time-Tabling Problem.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
38	Guizhen Yang, Michael Kifer	FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.	Computational Logic	2000	DBLP DOI BibTeX RDF
38	Martin Schmidt 0001	Solving Real-Life Time-Tabling Problems.	ISMIS	1999	DBLP DOI BibTeX RDF
36	Terrance Swift	An Engine for Computing Well-Founded Models.	ICLP	2009	DBLP DOI BibTeX RDF	Tabling, WAM
36	Miguel Areias 0001, Ricardo Rocha 0001	On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs.	EPIA	2009	DBLP DOI BibTeX RDF	Deterministic Calls and Answers, Implementation, Tabling
36	Sofie Verbaeten, Danny De Schreye	Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic Programming, Termination, Tabling
36	Konstantinos Sagonas, Terrance Swift	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	SLG, memoing, stratification theories, prolog, tabling, WAM
29	Gulay Ünel, David Toman 0001	Logic Programming Approach to Automata-Based Decision Procedures.	ICLP	2007	DBLP DOI BibTeX RDF
29	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
29	Michel Ferreira	The MYDDAS Project: Using a Deductive Database for Traffic Characterization.	ICLP	2005	DBLP DOI BibTeX RDF
29	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Speculative Computations in Or-Parallel Tabled Logic Programs.	ICLP	2004	DBLP DOI BibTeX RDF
29	Éric Villemonte de la Clergerie	Natural Language Tabular Parsing.	ICLP	2001	DBLP DOI BibTeX RDF
29	Hai-Feng Guo, Gopal Gupta 0001	A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.	ICLP	2001	DBLP DOI BibTeX RDF
29	Michael Codish, Bart Demoen, Konstantinos Sagonas	Semantics-Based Program Analysis for Logic-Based Languages Using XSB.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Semantics-based program analysis, Logic programming language analysis, XSB
29	Juliana Freire, Terrance Swift, David Scott Warren	Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.	PLILP	1996	DBLP DOI BibTeX RDF
29	Konstantinos Sagonas, Terrance Swift, David Scott Warren	XSB as an Efficient Deductive Database Engine.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	Prolog
23	Keshun You, Liu Huizhong	Intelligent Deployment Solution for Tabling Adapting Deep Learning.	IEEE Access	2023	DBLP DOI BibTeX RDF
23	Ridhwan Dewoprabowo, Ari Saptawijaya	Tabling Optimization for Contextual Abduction.	ICLP Technical Communications	2020	DBLP DOI BibTeX RDF
23	Miguel Areias 0001, Ricardo Rocha 0001	Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog.	Concurr. Comput. Pract. Exp.	2019	DBLP DOI BibTeX RDF
23	Samer Abdallah	More declarative tabling in Prolog using multi-prompt delimited control.	CoRR	2017	DBLP BibTeX RDF
23	Miguel Areias 0001, Ricardo Rocha 0001	On scaling dynamic programming problems with a multithreaded tabling Prolog system.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
23	Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette	Auto-tabling for subproblem presolving in MiniZinc.	Constraints An Int. J.	2017	DBLP DOI BibTeX RDF
23	Fritz Henglein, Ulrik Terp Rasmussen	PEG parsing in less space using progressive tabling and dynamic analysis.	PEPM	2017	DBLP DOI BibTeX RDF
23	Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers	Tabling with Sound Answer Subsumption.	CoRR	2016	DBLP BibTeX RDF
23	Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers	Tabling with Sound Answer Subsumption.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
23	Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke	Tabling as a Library with Delimited Control.	IJCAI	2016	DBLP BibTeX RDF
23	Benoit Desouter, Tom Schrijvers, Marko van Dooren	Tabling as a Library with Delimited Control.	CoRR	2015	DBLP BibTeX RDF
23	Benoit Desouter, Marko van Dooren, Tom Schrijvers	Tabling as a library with delimited control.	Theory Pract. Log. Program.	2015	DBLP DOI BibTeX RDF
23	Miguel Areias 0001, Ricardo Rocha 0001	Batched Evaluation of Full-Sharing Multithreaded Tabling.	SLATE	2015	DBLP DOI BibTeX RDF
23	Miguel Areias 0001	Multithreaded Tabling for Logic Programming		2015	RDF
23	Terrance Swift	Incremental Tabling in Support of Knowledge Representation and Reasoning.	CoRR	2014	DBLP BibTeX RDF
23	Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura	Tabling, Rational Terms, and Coinduction Finally Together!	CoRR	2014	DBLP BibTeX RDF
23	Miguel Areias 0001, Ricardo Rocha 0001	A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling.	CoRR	2014	DBLP BibTeX RDF
23	Ari Saptawijaya, Luís Moniz Pereira	Joint Tabling of Logic Program Abductions and Updates.	CoRR	2014	DBLP BibTeX RDF
23	Terrance Swift	Incremental Tabling in Support of Knowledge Representation and Reasoning.	Theory Pract. Log. Program.	2014	DBLP DOI BibTeX RDF
23	Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura	Tabling, Rational Terms, and Coinduction Finally Together!	Theory Pract. Log. Program.	2014	DBLP DOI BibTeX RDF
23	Jean-Noël Vittaut, Jean Méhat	Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling.	ECAI	2014	DBLP DOI BibTeX RDF
23	Jean-Noël Vittaut, Jean Méhat	Efficient Grounding of Game Descriptions with Tabling.	CGW@ECAI	2014	DBLP DOI BibTeX RDF
23	João Santos 0004, Ricardo Rocha 0001	On the Efficient Implementation of Mode-Directed Tabling.	PADL	2013	DBLP DOI BibTeX RDF
23	Ari Saptawijaya, Luís Moniz Pereira	Incremental Tabling for Query-Driven Propagation of Logic Program Updates.	LPAR	2013	DBLP DOI BibTeX RDF
23	Ari Saptawijaya, Luís Moniz Pereira	Program Updating by Incremental and Answer Subsumption Tabling.	LPNMR	2013	DBLP DOI BibTeX RDF
23	Fernando Sáenz-Pérez	Tabling with Support for Relational Features in a Deductive Database.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
23	Neng-Fa Zhou, Christian Theil Have	Efficient Tabling of Structured Data with Enhanced Hash-Consing	CoRR	2012	DBLP BibTeX RDF
23	Miguel Areias 0001, Ricardo Rocha 0001	Towards Multi-Threaded Local Tabling Using a Common Table Space	CoRR	2012	DBLP BibTeX RDF
23	Miguel Areias 0001, Ricardo Rocha 0001	Towards multi-threaded local tabling using a common table space.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
23	Neng-Fa Zhou, Christian Theil Have	Efficient tabling of structured data with enhanced hash-consing.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
23	Christian Theil Have, Henning Christiansen 0001	Efficient Tabling of Structured Data Using Indexing and Program Transformation.	PADL	2012	DBLP DOI BibTeX RDF
23	Taisuke Sato, Philipp J. Meyer	Tabling for infinite probability computation.	ICLP (Technical Communications)	2012	DBLP DOI BibTeX RDF
23	Miguel Areias 0001, Ricardo Rocha 0001	On Extending a Linear Tabling Framework to Support Batched Scheduling.	SLATE	2012	DBLP DOI BibTeX RDF
23	João Santos 0004, Ricardo Rocha 0001	Mode-Directed Tabling and Applications in the YapTab System.	SLATE	2012	DBLP DOI BibTeX RDF
23	Pablo Chico de Guzmán	Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs.		2012	RDF
23	Fabrizio Riguzzi, Terrance Swift	The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty	CoRR	2011	DBLP BibTeX RDF
23	Fabrizio Riguzzi, Terrance Swift	The PITA system: Tabling and answer subsumption for reasoning under uncertainty.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
23	K. Tuncay Tekle, Yanhong A. Liu	More efficient datalog queries: subsumptive tabling beats magic sets.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
23	Pablo Chico de Guzmán, Manuel Carro, David Scott Warren	Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling	CoRR	2010	DBLP BibTeX RDF
23	Pablo Chico de Guzmán, Manuel Carro, David Scott Warren	Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
23	Ashiqur Md. Rahman, Sheik Shafaat Giasuddin, Rashedur M. Rahman	Decision Tree Based Routine Generation (DRG) Algorithm: A Data Mining Advancement to Generate Academic Routine and Exam-time Tabling for Open Credit System.	J. Comput.	2010	DBLP BibTeX RDF
23	Rui Marques, Terrance Swift, José C. Cunha	A Simple and Efficient Implementation of Concurrent Local Tabling.	PADL	2010	DBLP DOI BibTeX RDF
23	Miguel Areias 0001, Ricardo Rocha 0001	An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.	PADL	2010	DBLP DOI BibTeX RDF
23	Fabrizio Riguzzi, Terrance Swift	Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
23	Theofrastos Mantadelis, Gerda Janssens	Dedicated Tabling for a Probabilistic Setting.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
23	Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato	Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving.	ICTAI (2)	2010	DBLP DOI BibTeX RDF
23	Paul Fodor, Michael Kifer	Tabling for transaction logic.	PPDP	2010	DBLP DOI BibTeX RDF
23	Terrance Swift, David Scott Warren	Tabling with Answer Subsumption: Implementation, Applications and Performance.	JELIA	2010	DBLP DOI BibTeX RDF
23	José Júlio Alferes, Matthias Knorr 0001, Terrance Swift	Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling.	ISWC	2009	DBLP DOI BibTeX RDF
23	Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen	Linear tabling strategies and optimizations.	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
23	Hai-Feng Guo, Gopal Gupta 0001	Simplifying dynamic programming via mode-directed tabling.	Softw. Pract. Exp.	2008	DBLP DOI BibTeX RDF