An interactive semantics of logic programming

DOI10.1017/S1471068401000035zbMath1066.68512OpenAlexW2132981613MaRDI QIDQ4452646

Roberto Bruni, Francesca Rossi, Ugo Montanari

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068401000035

zbMATH Keywords

tile decomposition property

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (14)

Rewriting logic: Roadmap and bibliography ⋮ Exploiting parallelism in coalgebraic logic programming ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ A semantic framework for open processes ⋮ Logic programming: laxness and saturation ⋮ Unnamed Item ⋮ GETGRATS ⋮ Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming ⋮ A Connector Algebra for P/T Nets Interactions ⋮ Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic ⋮ Comparing cospan-spans and tiles via a Hoare-style process calculus

This page was built for publication: An interactive semantics of logic programming