Totally Correct Logic Program Transformations via Well-Founded Annotations

Higher-Order and Symbolic Computation

doi 10.1007/s10990-008-9024-6

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Science and Business Media LLC

Related search

Well-Founded Semantics for Extended Logic Programs With Dynamic Preferences

Journal of Artificial Intelligence Research
Artificial Intelligence
1996English

Well-Founded Semantics for Description Logic Programs in the Semantic Web

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2011English

An Infinite-Game Semantics for Well-Founded Negation in Logic Programming

Annals of Pure and Applied Logic
Logic
2008English

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Hybrid Rules With Well-Founded Semantics

Knowledge and Information Systems
Information SystemsHuman-Computer InteractionHardwareArchitectureArtificial IntelligenceSoftware
2010English

Short Note: Strict Unwraps Make Worker/Wrapper Fusion Totally Correct

Journal of Functional Programming
Software
2010English

Well-Founded Functions and Extreme Predicates in Dafny: A Tutorial

English

Developing Correct and Efficient Logic Programs by Transformation*

Knowledge Engineering Review
Artificial IntelligenceSoftware
1996English

The Orbit Spaces of Totally Disconnected Groups of Transformations on Manifolds

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1961English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy