Reactive computing as model generation
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 5547960 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 3466489 (Why is no real title available?)
- scientific article; zbMATH DE number 1182737 (Why is no real title available?)
- scientific article; zbMATH DE number 1536572 (Why is no real title available?)
- scientific article; zbMATH DE number 2172808 (Why is no real title available?)
- scientific article; zbMATH DE number 1926646 (Why is no real title available?)
- scientific article; zbMATH DE number 1931648 (Why is no real title available?)
- scientific article; zbMATH DE number 783780 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- scientific article; zbMATH DE number 3303654 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- A Temporal Logic of Normative Systems
- A logic-based calculus of events
- A semantics for a class of stratified production system programs
- Abductive logic programming agents with destructive databases
- An Event-Condition-Action Logic Programming Language
- An agent language with destructive assignment and model-theoretic semantics
- Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
- Case studies in asynchronous data parallelism
- Computational Logic in Multi-Agent Systems
- Evolving Algebras 1993: Lipari Guide
- FLUX: A logic programming method for reasoning agents
- From logic programming towards multi-agent systems
- GOLOG: A logic programming language for dynamic domains
- Heterogeneous active agents, I: Semantics
- Making prolog more expressive
- STRIPS: A new approach to the application of theorem proving to problem solving
- Simulating production rules using ACTHEX
- Statecharts: a visual formalism for complex systems
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- The well-founded semantics for general logic programs
Cited in
(10)- Reactive Turing machines
- Abductive inference method in problems of explaining the observed
- Learning explanations for biological feedback with delays using an event calculus
- Abductive reasoning in explanation problems of an observed effect
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- Translation of interactive Datalog programs for microcontrollers to finite state machines
- Fifty Years of Prolog and Beyond
- Programming in logic without logic programming
- Reactive Answer Set Programming
- An event calculus production rule system for reasoning in dynamic and uncertain domains
This page was built for publication: Reactive computing as model generation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q264957)