NDLI: Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Please wait, while we are loading the content...

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Content Provider	Scilit
Author	Nguyen, Manh Thang Schreye, Danny D. E. Giesl, Jürgen Schneider-Kamp, Peter
Copyright Year	2010
Description	Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt termination analysis techniques based on polynomial interpretations—very well known in the context of term rewrite systems—to obtain new (nontransformational) termination analysis techniques for definite logic programs (LPs). This leads to an approach that can be seen as a direct generalization of the traditional techniques in termination analysis of LPs, where linear norms and level mappings are used. Our extension generalizes these to arbitrary polynomials. We extend a number of standard concepts and results on termination analysis to the context of polynomial interpretations. We also propose a constraint-based approach for automatically generating polynomial interpretations that satisfy the termination conditions. Based on this approach, we implemented a new tool, called Polytool, for automatic termination analysis of LPs.
Related Links	http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW558.pdf https://core.ac.uk/download/pdf/34462187.pdf https://www.cambridge.org/core/services/aop-cambridge-core/content/view/66CBE6C27E5D5545A7A53A0A00A19E78/S1471068410000025a.pdf/div-class-title-span-class-monospace-polytool-span-polynomial-interpretations-as-a-basis-for-termination-analysis-of-logic-programs-div.pdf
Ending Page	63
Page Count	31
Starting Page	33
ISSN	14710684
e-ISSN	14753081
DOI	10.1017/s1471068410000025
Journal	Theory and Practice of Logic Programming
Issue Number	1
Volume Number	11
Language	English
Publisher	Cambridge University Press (CUP)
Publisher Date	2011-01-01
Access Restriction	Open
Subject Keyword	Theory and Practice of Logic Programming Hardware and Architecture Termination Analysis Polynomial Interpretations
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Automated termination analysis for logic programs with cut

Polytool: polynomial interpretations as a basis for termination analysis of logic programs (2010).

Termination prediction for general logic programs

Polytool: polynomial interpretations as a basis for termination analysis of logic programs (2009).

Under consideration for publication in Theory and Practice of Logic Programming 1 Polytool: Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs MANH THANG NGUYEN (2009)

Polytool: polynomial interpretations as a basis for termination analysis of Logic programs

Non-termination analysis of logic programs with integer arithmetics

On modular termination proofs of general logic programs

cTI: a constraint-based termination inference tool for ISO-Prolog

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Similar Documents

Automated termination analysis for logic programs with cut

Polytool: polynomial interpretations as a basis for termination analysis of logic programs (2010).

Termination prediction for general logic programs

Polytool: polynomial interpretations as a basis for termination analysis of logic programs (2009).

Under consideration for publication in Theory and Practice of Logic Programming 1 Polytool: Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs MANH THANG NGUYEN (2009)

Polytool: polynomial interpretations as a basis for termination analysis of Logic programs

Non-termination analysis of logic programs with integer arithmetics

On modular termination proofs of general logic programs

cTI: a constraint-based termination inference tool for ISO-Prolog

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs