Search results for "Tabling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	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
3	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
3	Konstantinos F. Sagonas, Peter J. Stuckey	Just enough tabling.	PPDP	2004	DBLP DOI BibTeX RDF	suspension/resumption in the WAM, logic programming, pruning, tabling
3	Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas	Termination proofs for logic programs with tabling.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	prolog, tabling, SLG-resolution
3	Ricardo Rocha, 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
3	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	Or-Parallelism within Tabling.	PADL	1999	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
3	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
2	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
2	Miguel Areias, Ricardo Rocha	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
2	Jorge Costa, João Raimundo, Ricardo Rocha	A Term-Based Global Trie for Tabled Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	Table Space, Implementation, Tabling Logic Programming
2	Terrance Swift	An Engine for Computing Well-Founded Models.	ICLP	2009	DBLP DOI BibTeX RDF	Tabling, WAM
2	Jorge Costa, Ricardo Rocha	One Table Fits All.	PADL	2009	DBLP DOI BibTeX RDF	Table Space, Implementation, Tabling Logic Programming
2	Ricardo Rocha, Cláudio Silva, Ricardo Lopes	On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.	ICLP	2007	DBLP DOI BibTeX RDF
2	Pedro Costa, Ricardo Rocha, Michel Ferreira	Relational Models for Tabling Logic Programs in a Database.	INAP/WLP	2007	DBLP DOI BibTeX RDF
2	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
2	Zoltan Somogyi, Konstantinos F. Sagonas	Tabling in Mercury: Design and Implementation.	PADL	2006	DBLP DOI BibTeX RDF
2	Cláudio Silva, Ricardo Rocha, Ricardo Lopes	An External Module for Implementing Linear Tabling in Prolog.	ICLP	2006	DBLP DOI BibTeX RDF
2	Ricardo Rocha, 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
2	Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa	On Applying Tabling to Inductive Logic Programming.	ECML	2005	DBLP DOI BibTeX RDF
2	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	Achieving Scalability in Parallel Tabled Logic Programs. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	Tabling, Parallel Logic Programming
2	Calogero Di Stefano, Andrea Tettamanzi	An Evolutionary Algorithm for Solving the School Time-Tabling Problem.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
2	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
2	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	PADL	2000	DBLP DOI BibTeX RDF
2	Guizhen Yang, Michael Kifer	FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Bart Demoen, Konstantinos F. Sagonas	CHAT: The Copy-Hybrid Approach to Tabling.	PADL	1999	DBLP DOI BibTeX RDF
2	Martin Schmidt	Solving Real-Life Time-Tabling Problems.	ISMIS	1999	DBLP DOI BibTeX RDF
2	Bart Demoen, Konstantinos F. Sagonas	Memory Management for Prolog with Tabling.	ISMM	1998	DBLP DOI BibTeX RDF	Prolog
2	Bart Demoen, Konstantinos F. Sagonas	CAT: The Copying Approach to Tabling.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
2	Konstantinos F. 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
1	Christian Theil Have, Henning Christiansen	Efficient Tabling of Structured Data Using Indexing and Program Transformation.	PADL	2012	DBLP DOI BibTeX RDF
1	Fabrizio Riguzzi, Terrance Swift	The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty	CoRR	2011	DBLP BibTeX RDF
1	Fabrizio Riguzzi, Terrance Swift	The PITA system: Tabling and answer subsumption for reasoning under uncertainty.	TPLP	2011	DBLP DOI BibTeX RDF
1	K. Tuncay Tekle, Yanhong A. Liu	More efficient datalog queries: subsumptive tabling beats magic sets.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
1	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.	JCP	2010	DBLP DOI BibTeX RDF
1	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
1	Pablo Chico de Guzmán, Manuel Carro, David Scott Warren	Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.	TPLP	2010	DBLP DOI BibTeX RDF
1	Rui Marques, Terrance Swift, José C. Cunha	A Simple and Efficient Implementation of Concurrent Local Tabling.	PADL	2010	DBLP DOI BibTeX RDF
1	Miguel Areias, Ricardo Rocha	An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.	PADL	2010	DBLP DOI BibTeX RDF
1	Theofrastos Mantadelis, Gerda Janssens	Dedicated Tabling for a Probabilistic Setting.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
1	Fabrizio Riguzzi, Terrance Swift	Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
1	Terrance Swift, David Scott Warren	Tabling with Answer Subsumption: Implementation, Applications and Performance.	JELIA	2010	DBLP DOI BibTeX RDF
1	Paul Fodor, Michael Kifer	Tabling for transaction logic.	PPDP	2010	DBLP DOI BibTeX RDF
1	Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato	Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving.	ICTAI	2010	DBLP DOI BibTeX RDF
1	José Júlio Alferes, Matthias Knorr, Terrance Swift	Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling.	International Semantic Web Conference	2009	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, Datalog, recursion, tabling, Complexity analysis, incremental computation
1	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	Towards a Complete Scheme for Tabled Execution Based on Program Transformation.	PADL	2009	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
1	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	An Interpolation Method for CLP Traversal.	CP	2009	DBLP DOI BibTeX RDF
1	Henning Christiansen, John P. Gallagher	Non-discriminating Arguments and Their Uses.	ICLP	2009	DBLP DOI BibTeX RDF
1	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, Gopal Gupta	Simplifying dynamic programming via mode-directed tabling.	Softw., Pract. Exper.	2008	DBLP DOI BibTeX RDF
1	Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen	Linear tabling strategies and optimizations.	TPLP	2008	DBLP DOI BibTeX RDF
1	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha	An Improved Continuation Call-Based Implementation of Tabling.	PADL	2008	DBLP DOI BibTeX RDF	Performance, Program transformation, Implementation, Tabled logic programming
1	Paul Fodor	Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques.	AAAI	2008	DBLP BibTeX RDF
1	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.	ICLP	2008	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
1	Ralph Becket, Zoltan Somogyi	DCGs + Memoing = Packrat Parsing but Is It Worth It?	PADL	2008	DBLP DOI BibTeX RDF	packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury
1	Telikepalli Kavitha, Katakam Vamsi Krishna	An improved heuristic for computing short integral cycle bases.	ACM Journal of Experimental Algorithmics	2008	DBLP DOI BibTeX RDF	integral cycle basis, minimum cycle basis, combinatorial optimization, Directed graph
1	Noureddine Bouhmala, Ole-Christoffer Granmo	Solving Graph Coloring Problems Using Learning Automata.	EvoCOP	2008	DBLP DOI BibTeX RDF	Combinatorial optimization, SAT, Learning automata, Graph coloring problem
1	Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio	An Implementation of Extended P-Log Using XASP.	ICLP	2008	DBLP DOI BibTeX RDF
1	Jorge Costa, Ricardo Rocha	Global Storing Mechanisms for Tabled Evaluation.	ICLP	2008	DBLP DOI BibTeX RDF
1	Rui Marques, Terrance Swift	Concurrent and Local Evaluation of Normal Programs.	ICLP	2008	DBLP DOI BibTeX RDF
1	Ewa Madalinska-Bugaj, Linh Anh Nguyen	Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
1	Paul Fodor	Efficient Tabling Mechanisms for Transaction Logic Programs	CoRR	2007	DBLP BibTeX RDF
1	Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen	Linear Tabling Strategies and Optimizations	CoRR	2007	DBLP BibTeX RDF
1	Gulay Ünel, David Toman	Logic Programming Approach to Automata-Based Decision Procedures.	ICLP	2007	DBLP DOI BibTeX RDF
1	Ricardo Rocha	On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
1	Beata Sarna-Starosta, C. R. Ramakrishnan	Compiling Constraint Handling Rules for Efficient Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
1	Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis	Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs.	RR	2007	DBLP DOI BibTeX RDF
1	Ziqing Mao, Ninghui Li, William H. Winsborough	Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF
1	Ricardo Rocha	Handling Incomplete and Complete Tables in Tabled Logic Programs.	ICLP	2006	DBLP DOI BibTeX RDF
1	Diptikalyan Saha, C. R. Ramakrishnan	Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.	PADL	2006	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Method for Compositional and Intermittent Predicate Abstraction.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan	Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms	CoRR	2005	DBLP BibTeX RDF
1	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	On Applying Or-Parallelism and Tabling to Logic Programs.	TPLP	2005	DBLP DOI BibTeX RDF
1	Brigitte Pientka	Tabling for Higher-Order Logic Programming.	CADE	2005	DBLP DOI BibTeX RDF
1	Michel Ferreira	The MYDDAS Project: Using a Deductive Database for Traffic Characterization.	ICLP	2005	DBLP DOI BibTeX RDF
1	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, Gopal Gupta	Simplifying Dynamic Programming via Tabling.	PADL	2004	DBLP DOI BibTeX RDF
1	Patrick Durusau, Matthew Brook O'Donnell	Tabling the Overlap Discussion.	Extreme Markup Languages®	2004	DBLP BibTeX RDF
1	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Proof Method for Timed Automata.	RTSS	2004	DBLP DOI BibTeX RDF
1	Magnus Ågren	Set Variables and Local Search.	CP	2004	DBLP DOI BibTeX RDF
1	Salvador España, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
1	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	Concurrent Table Accesses in Parallel Tabled Logic Programs.	Euro-Par	2004	DBLP DOI BibTeX RDF
1	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	Speculative Computations in Or-Parallel Tabled Logic Programs.	ICLP	2004	DBLP DOI BibTeX RDF
1	Tom Schrijvers, David Scott Warren	Constraint Handling Rules and Tabled Execution.	ICLP	2004	DBLP DOI BibTeX RDF
1	Kyoung-Soon Hwang, Keon-Myung Lee, Joongnam Jeon	A Practical Timetabling Algorithm for College Lecture-Timetable Scheduling.	KES	2004	DBLP DOI BibTeX RDF
1	Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda	An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.	MOZ	2004	DBLP DOI BibTeX RDF
1	Olivier Lhomme	Amortized Random Backtracking.	Annals OR	2004	DBLP DOI BibTeX RDF	nonsystematic search, amortization
1	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	On Applying Or-Parallelism and Tabling to Logic Programs	CoRR	2003	DBLP BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	PPDP	2003	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, datalog, recursion, tabling, complexity analysis, incremental computation
1	Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan	Online Justification for Tabled Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
1	Diptikalyan Saha, C. R. Ramakrishnan	Incremental Evaluation of Tabled Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
1	Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting	Tabling Structures for Bottom-Up Logic Programming.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Thierry Benoist, Etienne Gaudin, Benoît Rottembourg	Constraint Programming Contribution to Benders Decomposition: A Case Study.	CP	2002	DBLP BibTeX RDF
1	Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan	Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
1	Brigitte Pientka	A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
1	Luís Fernando Castro, Terrance Swift, David Scott Warren	Suspending and Resuming Computations in Engines for SLG Evaluation.	PADL	2002	DBLP DOI BibTeX RDF
1	Bart Demoen, Konstantinos F. Sagonas	Heap Memory Management in Prolog with Tabling: Principles and Practice.	Journal of Functional and Logic Programming	2001	DBLP BibTeX RDF
1	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	Journal of Functional and Logic Programming	2001	DBLP BibTeX RDF
1	Eric Villemonte de la Clergerie	Natural Language Tabular Parsing.	ICLP	2001	DBLP DOI BibTeX RDF