Reactive computing as model generation

DOI10.1007/S00354-015-0103-ZMaRDI QIDQ264957zbMATH OpenOpenAlexFDO

Authors Robert Kowalski, Fariba Sadri

Publication date 1 April 2016

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00354-015-0103-z

zbMATH Keywords

composite event processingframe problemmodel generationreactive systemsstate transition systems

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Programming in logic without logic programming
• scientific article; zbMATH DE number 1096548
• scientific article; zbMATH DE number 1182737
• A logic-based calculus of events
• On specifying database updates

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

Describes a project that uses

Uses Software

• METATEM
• AgentSpeak
• GOLOG

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)