An interactive semantics of logic programming
From MaRDI portal
Publication:4452646
DOI10.1017/S1471068401000035zbMATH Open1066.68512OpenAlexW2132981613MaRDI QIDQ4452646FDOQ4452646
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
Recommendations
Cited In (20)
- Logic programming: laxness and saturation
- Translation of interactive Datalog programs for microcontrollers to finite state machines
- Interactive Logical Structures
- Title not available (Why is that?)
- A semantic framework for open processes
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Comparing higher-order encodings in logical frameworks and tile logic
- Tiling transactions in rewriting logic
- Models of Computation: A Tribute to Ugo Montanari’s Vision
- Observational congruences for dynamically reconfigurable tile systems
- A Connector Algebra for P/T Nets Interactions
- Exploiting parallelism in coalgebraic logic programming
- S-semantics for logic programming: a retrospective look
- Comparing cospan-spans and tiles via a Hoare-style process calculus
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
- Programming by predicates: a formal model for interactive synthesis
- Rewriting logic: Roadmap and bibliography
- GETGRATS
This page was built for publication: An interactive semantics of logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452646)
