Reactive computing as model generation

DOI10.1007/S00354-015-0103-ZzbMath1333.68108OpenAlexW2026791378MaRDI QIDQ264957

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

frame problemreactive systemscomposite event processingmodel generationstate transition systems

Mathematics Subject Classification ID

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) Logic programming (68N17)

Related Items (9)

Fifty Years of Prolog and Beyond ⋮ Programming in logic without logic programming ⋮ An event calculus production rule system for reasoning in dynamic and uncertain domains ⋮ Abductive reasoning in explanation problems of an observed effect ⋮ Abductive inference method in problems of explaining the observed ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages ⋮ Reactive Answer Set Programming ⋮ Learning explanations for biological feedback with delays using an event calculus ⋮ Translation of interactive Datalog programs for microcontrollers to finite state machines

Uses Software

• Unnamed Item
• AgentSpeak
• METATEM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Abductive logic programming agents with destructive databases
• Statecharts: a visual formalism for complex systems
• Heterogeneous active agents, I: Semantics
• Case studies in asynchronous data parallelism
• From logic programming towards multi-agent systems
• STRIPS: A new approach to the application of theorem proving to problem solving
• Simulating Production Rules Using ACTHEX
• An Event-Condition-Action Logic Programming Language
• An Agent Language with Destructive Assignment and Model-Theoretic Semantics
• A Temporal Logic of Normative Systems
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• Making prolog more expressive
• The well-founded semantics for general logic programs
• A semantics for a class of stratified production system programs
• GOLOG: A logic programming language for dynamic domains
• Evolving Algebras 1993: Lipari Guide
• Autonomous agents coordination: Action languages meet CLP() and Linda
• Computational Logic in Multi-Agent Systems
• FLUX: A logic programming method for reasoning agents

This page was built for publication: Reactive computing as model generation