Practical Methods for Proving Termination of General Logic Programs

Journal of Artificial Intelligence Research - United States
doi 10.1613/jair.198
Full Text
Abstract

Available in full text

Date
Authors
Publisher

AI Access Foundation

Related search

Proving Existential Termination of Normal Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Automatic Termination Analysis of Logic Programs

1997English

On Termination of Constraint Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Termination of Logic Programs With Delay Declarations

The Journal of Logic Programming
1999English

Proving Properties of Constraint Logic Programs by Eliminating Existential Variables

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automatically Proving Program Termination

English

Programming by Combining General Logic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1999English

Matrix Interpretations for Proving Termination of Term Rewriting

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

Proving Termination With Multiset Orderings

Communications of the ACM
Computer Science
1979English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy