Comparative Metric Semantics for Commit in Or-Parallel Logic Programming

doi 10.7551/mitpress/4283.003.0023

Full Text

Abstract

Available in

Date

Authors

Unknown

Publisher

The MIT Press

Related search

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

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

Annals of Pure and Applied Logic
Logic
2008English

Logic Programming From the Perspective of Algebraic Semantics

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Parallel Logic Programming Systems on Scalable Architectures

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2000English

The Sync Model: A Parallel Execution Method for Logic Programming

1986English

Truthmaker Semantics for Relevant Logic

Journal of Philosophical Logic
Philosophy
2020English

The Semantics of Equational Logic Programming as an Instance of CLP

1993English

Supercover Semantics for Deontic Action Logic

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2019Spanish

Records for Logic Programming

The Journal of Logic Programming
1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy