An interactive semantics of logic programming
From MaRDI portal
Recommendations
Cited in
(20)- S-semantics for logic programming: a retrospective look
- Rewriting logic: Roadmap and bibliography
- Observational congruences for dynamically reconfigurable tile systems
- Logic programming: laxness and saturation
- Translation of interactive Datalog programs for microcontrollers to finite state machines
- Programming by predicates: a formal model for interactive synthesis
- A semantic framework for open processes
- scientific article; zbMATH DE number 1696783 (Why is no real title available?)
- Exploiting parallelism in coalgebraic logic programming
- Comparing higher-order encodings in logical frameworks and tile logic
- Comparing cospan-spans and tiles via a Hoare-style process calculus
- Tiling transactions in rewriting logic
- Coalgebraic semantics for parallel derivation strategies in logic programming
- A connector algebra for P/T nets interactions
- Models of Computation: A Tribute to Ugo Montanari’s Vision
- Interactive Logical Structures
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Category theoretic semantics for theorem proving in logic programming: embracing the laxness
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
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)
