Search results for "tabling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001	An Improved Continuation Call-Based Implementation of Tabling.	PADL	2008	DBLP DOI BibTeX RDF	Performance, Program transformation, Implementation, Tabled logic programming
23	Paul Fodor	Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques.	AAAI	2008	DBLP BibTeX RDF
23	Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen	Linear Tabling Strategies and Optimizations	CoRR	2007	DBLP BibTeX RDF
23	Paul Fodor	Efficient Tabling Mechanisms for Transaction Logic Programs	CoRR	2007	DBLP BibTeX RDF
23	Rui Marques	Concurrent tabling		2006	RDF
23	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan	Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms	CoRR	2005	DBLP BibTeX RDF
23	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	On Applying Or-Parallelism and Tabling to Logic Programs.	Theory Pract. Log. Program.	2005	DBLP DOI BibTeX RDF
23	Brigitte Pientka	Tabling for Higher-Order Logic Programming.	CADE	2005	DBLP DOI BibTeX RDF
23	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan	Enhancing global SLS-resolution with loop cutting and tabling mechanisms.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
23	Hai-Feng Guo, Gopal Gupta 0001	Simplifying Dynamic Programming via Tabling.	PADL	2004	DBLP DOI BibTeX RDF
23	Patrick Durusau, Matthew Brook O'Donnell	Tabling the Overlap Discussion.	Extreme Markup Languages®	2004	DBLP BibTeX RDF
23	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	On Applying Or-Parallelism and Tabling to Logic Programs	CoRR	2003	DBLP BibTeX RDF
23	Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting	Tabling Structures for Bottom-Up Logic Programming.	LOPSTR	2002	DBLP DOI BibTeX RDF
23	Bart Demoen, Konstantinos Sagonas	Heap Memory Management in Prolog with Tabling: Principles and Practice.	J. Funct. Log. Program.	2001	DBLP BibTeX RDF
23	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	J. Funct. Log. Program.	2001	DBLP BibTeX RDF
23	Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas	Termination Proofs for Logic Programs with Tabling	CoRR	2000	DBLP BibTeX RDF
23	Bart Demoen, Konstantinos Sagonas	CHAT: the copy-hybrid approach to tabling.	Future Gener. Comput. Syst.	2000	DBLP DOI BibTeX RDF
23	Edmund K. Burke, Bart L. MacCarthy, Sanja Petrovic, Rong Qu	Structured cases in case-based reasoning - re-using and adapting cases for time-tabling problems.	Knowl. Based Syst.	2000	DBLP DOI BibTeX RDF
23	Terrance Swift	Tabling for Non-Monotonic Programming.	Ann. Math. Artif. Intell.	1999	DBLP DOI BibTeX RDF
23	Bart Demoen, Konstantinos Sagonas	CAT: The Copying Approach to Tabling	J. Funct. Log. Program.	1999	DBLP BibTeX RDF
23	Siu Cheung Kong, Lam For Kwok	A conceptual model of knowledge-based time-tabling system.	Knowl. Based Syst.	1999	DBLP DOI BibTeX RDF
23	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	A Linear Tabling Mechanism.	ICLP	1999	DBLP BibTeX RDF
23	Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye	Modular Termination Proofs for Prolog with Tabling.	PPDP	1999	DBLP DOI BibTeX RDF
23	David Scott Warren	Programming with tabling in XSB.	PROCOMET	1998	DBLP BibTeX RDF
23	Gerda Janssens, Konstantinos Sagonas	On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems.	TAPD	1998	DBLP BibTeX RDF
23	Vítor Rocio, José Gabriel Lopes	Partial Parsing, Deduction and Tabling.	TAPD	1998	DBLP BibTeX RDF
23	José Júlio Alferes, Luís Moniz Pereira	Tabling Abduction.	TAPD	1998	DBLP BibTeX RDF
23	Gadi Solotorvsky, Ehud Gudes	Solving a Real-life Nurses Time Tabling and Transportation Problem Using Distributed CSP Techniques.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
23	Prasad Rao, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	A Thread in Time Saves Tabling Time.	JICSLP	1996	DBLP BibTeX RDF
23	I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren	Efficient Tabling Mechanisms for Logic Programs.	ICLP	1995	DBLP BibTeX RDF
23	Gadi Solotorevsky, Ehud Gudes, Amnon Meisels	RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF
22	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
22	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
22	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
22	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
22	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
15	Henning Christiansen 0001, John P. Gallagher	Non-discriminating Arguments and Their Uses.	ICLP	2009	DBLP DOI BibTeX RDF
15	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	An Interpolation Method for CLP Traversal.	CP	2009	DBLP DOI BibTeX RDF
15	Telikepalli Kavitha, Katakam Vamsi Krishna	An improved heuristic for computing short integral cycle bases.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	integral cycle basis, minimum cycle basis, combinatorial optimization, Directed graph
15	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
15	Jorge Costa, Ricardo Rocha 0001	Global Storing Mechanisms for Tabled Evaluation.	ICLP	2008	DBLP DOI BibTeX RDF
15	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
15	Rui Marques, Terrance Swift	Concurrent and Local Evaluation of Normal Programs.	ICLP	2008	DBLP DOI BibTeX RDF
15	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
15	Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis	Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs.	RR	2007	DBLP DOI BibTeX RDF
15	Diptikalyan Saha, C. R. Ramakrishnan 0001	Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.	PADL	2006	DBLP DOI BibTeX RDF
15	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Method for Compositional and Intermittent Predicate Abstraction.	VMCAI	2006	DBLP DOI BibTeX RDF
15	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
15	Olivier Lhomme	Amortized Random Backtracking.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	nonsystematic search, amortization
15	Salvador España Boquera, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
15	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Proof Method for Timed Automata.	RTSS	2004	DBLP DOI BibTeX RDF
15	Kyoung-Soon Hwang, Keon-Myung Lee, Joongnam Jeon	A Practical Timetabling Algorithm for College Lecture-Timetable Scheduling.	KES	2004	DBLP DOI BibTeX RDF
15	Magnus Ågren 0002	Set Variables and Local Search.	CP	2004	DBLP DOI BibTeX RDF
15	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
15	Diptikalyan Saha, C. R. Ramakrishnan 0001	Incremental Evaluation of Tabled Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
15	Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Online Justification for Tabled Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
15	Luís Fernando Castro, Terrance Swift, David Scott Warren	Suspending and Resuming Computations in Engines for SLG Evaluation.	PADL	2002	DBLP DOI BibTeX RDF
15	Brigitte Pientka	A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
15	Thierry Benoist, Etienne Gaudin, Benoît Rottembourg	Constraint Programming Contribution to Benders Decomposition: A Case Study.	CP	2002	DBLP DOI BibTeX RDF
15	Supratik Mukhopadhyay, Andreas Podelski	Constraint Database Models Characterizing Timed Bisimilarity.	PADL	2001	DBLP DOI BibTeX RDF
15	Habiba Drias	Genetic Algorithm versus Scatter Search and Solving Hard MAX-W-SAT Problems.	IWANN (1)	2001	DBLP DOI BibTeX RDF
15	Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes	Selection Restrictions Acquisition for Parsing Improvement.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
15	Gopal Gupta 0001, Shameem F. Akhter	Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs.	PADL	2000	DBLP DOI BibTeX RDF
15	Alexander Celle, Leopoldo E. Bertossi	Querying Inconsistent Databases: Algorithms and Implementation.	Computational Logic	2000	DBLP DOI BibTeX RDF
15	Supratik Mukhopadhyay, Andreas Podelski	Model Checking for Timed Logic Processes.	Computational Logic	2000	DBLP DOI BibTeX RDF
15	Nico Roos, Yongping Ran, H. Jaap van den Herik	Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP.	AIMSA	2000	DBLP DOI BibTeX RDF
15	Bart Demoen, Konstantinos Sagonas	CHAT Is Theta(SLG-Wam).	LPAR	1999	DBLP DOI BibTeX RDF
15	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou	Linear Tabulated Resolutions for the Well-Founded Semantics.	LPNMR	1999	DBLP DOI BibTeX RDF
15	Michael Leuschel, Bern Martens, Konstantinos Sagonas	Preserving Termination of Tabled Logic Programs While Unfolding.	LOPSTR	1997	DBLP DOI BibTeX RDF
15	Ehud Gudes, Tsvi Kuflik, Amnon Meisels	An Expert Systems Based Methodology for Solving Resource Allocation Problems.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF	Prolog