On the public citation graph

Towards a unified agent architecture that combines rationality with reactivity

https://doi.org/10.1007/bfb0031739
0 signed · 78 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-51803-7_36openalex-snapshot
The declarative past and imperative future
inferredcites →https://doi.org/10.1007/3-540-52559-9_62openalex-snapshot
MetateM: A framework for programming in temporal logic
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_16openalex-snapshot
A Unified Semantics for Active and Deductive Databases
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_18openalex-snapshot
Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?
inferredcites →https://doi.org/10.1016/0004-3702(93)90034-9openalex-snapshot
Agent-oriented programming
inferredcites →https://doi.org/10.1016/0743-1066(84)90029-3openalex-snapshot
N-Prolog: An extension of Prolog with hypothetical implications. I.
inferredcites →https://doi.org/10.1016/0743-1066(91)90027-mopenalex-snapshot
Partial evaluation in logic programming
inferredcites →https://doi.org/10.1109/jra.1986.1087032openalex-snapshot
A robust layered control system for a mobile robot
inferredcites →https://doi.org/10.4324/9781351001885-2openalex-snapshot
Intelligence Without Reason

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11691792_7openalex-snapshot
About Declarative Semantics of Logic-Based Agent Languages
inferred← citeshttps://doi.org/10.1007/11961536openalex-snapshot
Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers
inferred← citeshttps://doi.org/10.1007/3-540-36524-9_7openalex-snapshot
Preferring and Updating in Logic-Based Agents
inferred← citeshttps://doi.org/10.1007/3-540-44958-2_36openalex-snapshot
Context-Based Commonsense Reasoning in the DALI Logic Programming Language
inferred← citeshttps://doi.org/10.1007/3-540-45329-6_19openalex-snapshot
Evolving Multi-agent Viewpoints — An Architecture
inferred← citeshttps://doi.org/10.1007/3-540-45329-6_20openalex-snapshot
Enabling Agents to Update Their Knowledge and to Prefer
inferred← citeshttps://doi.org/10.1007/3-540-45607-4_12openalex-snapshot
Computing Environment-Aware Agent Behaviours with Logic Program Updates
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_2openalex-snapshot
Bob Kowalski: A Portrait
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_22openalex-snapshot
Error-Tolerant Agents
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_23openalex-snapshot
Logic-Based Hybrid Agents
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_4openalex-snapshot
Agents as Multi-threaded Logical Objects
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_5openalex-snapshot
Logic Programming Languages for the Internet
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_11openalex-snapshot
Meta-reasoning: A Survey
inferred← citeshttps://doi.org/10.1007/3-540-45757-7_1openalex-snapshot
A Logic Programming Language for Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/3-540-49057-4_13openalex-snapshot
Emergent Mental Attitudes in Layered Agents
inferred← citeshttps://doi.org/10.1007/3-540-49057-4_25openalex-snapshot
Control Structures of Rule-Based Agent Languages
inferred← citeshttps://doi.org/10.1007/3-540-49201-1_4openalex-snapshot
Multi-agent Systems Development as a Software Engineering Enterprise
inferred← citeshttps://doi.org/10.1007/3-540-49545-2_2openalex-snapshot
Combining Introspection and Communication with Rationality and Reactivity in Agents
inferred← citeshttps://doi.org/10.1007/3-540-61630-6_21openalex-snapshot
Logic programming with integrity constraints
inferred← citeshttps://doi.org/10.1007/978-1-84996-119-6_2openalex-snapshot
Agent-based System for Knowledge Acquisition and Management Within a Networked Enterprise
inferred← citeshttps://doi.org/10.1007/978-3-031-35254-6_25openalex-snapshot
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
inferred← citeshttps://doi.org/10.1007/978-3-032-08887-1_1openalex-snapshot
Two Kinds of Rules: Goal Rules and Belief Rules
inferred← citeshttps://doi.org/10.1007/978-3-032-22940-3_11openalex-snapshot
25 Years of Declarative Agent Technologies in Italy
inferred← citeshttps://doi.org/10.1007/978-3-540-24580-3_44openalex-snapshot
An Architecture for a Rational Reactive Agent
inferred← citeshttps://doi.org/10.1007/978-3-540-25932-9_7openalex-snapshot
Coo-BDI: Extending the BDI Model with Cooperativity
inferred← citeshttps://doi.org/10.1007/978-3-540-30200-1_6openalex-snapshot
Planning Experiments in the DALI Logic Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-642-05082-4_1openalex-snapshot
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-10430-5_67openalex-snapshot
Modelling and Simulation of Dynamically Integrated Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24206-9_3openalex-snapshot
Answer Set Modules for Logical Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-32689-9_13openalex-snapshot
Complex Reactivity with Preferences in Rule-Based Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-37890-4_4openalex-snapshot
Agent Deliberation via Forward and Backward Chaining in Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-60085-2_1openalex-snapshot
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-60211-5_18openalex-snapshot
Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter
inferred← citeshttps://doi.org/10.1007/bfb0026763openalex-snapshot
A layered agent calculus with concurrent, continuous processes
inferred← citeshttps://doi.org/10.1007/bfb0031733openalex-snapshot
Logic in Databases
inferred← citeshttps://doi.org/10.1007/bfb0031734openalex-snapshot
Logic and databases: A 20 year retrospective
inferred← citeshttps://doi.org/10.1007/bfb0055502openalex-snapshot
Some notes on knowledge assimilation in deductive databases
inferred← citeshttps://doi.org/10.1007/bfb0057453openalex-snapshot
Knowledge assimilation and proof restoration through the addition of goals
inferred← citeshttps://doi.org/10.1007/s10458-020-09487-2openalex-snapshot
Towards a framework for certification of reliable autonomous systems
inferred← citeshttps://doi.org/10.1007/s10845-010-0494-0openalex-snapshot
Modelling and simulation of dynamically integrated manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.is.2015.07.007openalex-snapshot
A novel digital information service for federating distributed digital entities
inferred← citeshttps://doi.org/10.1016/j.jal.2004.07.002openalex-snapshot
Common-sense reasoning as proto-scientific agent activity
inferred← citeshttps://doi.org/10.1016/s0096-0551(01)00020-0openalex-snapshot
LAILA: a language for coordinating abductive reasoning among logic agents
inferred← citeshttps://doi.org/10.1016/s0743-1066(97)00026-5openalex-snapshot
The IFF proof procedure for abductive logic programming
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00159-8openalex-snapshot
Probabilistic behaviours of reactive agents
inferred← citeshttps://doi.org/10.1017/s0269888918000164openalex-snapshot
Answer set programming and agents
inferred← citeshttps://doi.org/10.1017/s147106840100134xopenalex-snapshot
Chain programs for writing deterministic metainterpreters
inferred← citeshttps://doi.org/10.1017/s1471068402001576openalex-snapshot
Using methods of declarative logic programming for intelligent information agents
inferred← citeshttps://doi.org/10.1017/s1471068404002029openalex-snapshot
Logic-based specification languages for intelligent software agents
inferred← citeshttps://doi.org/10.1017/s1471068416000065openalex-snapshot
An event calculus production rule system for reasoning in dynamic and uncertain domains
inferred← citeshttps://doi.org/10.1023/a:1010084620690openalex-snapshot
Agent Programming in 3APL
inferred← citeshttps://doi.org/10.1023/a:1018934223383openalex-snapshot
From logic programming towards multi‐agent systems
inferred← citeshttps://doi.org/10.1023/a:1020259411066openalex-snapshot
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate
inferred← citeshttps://doi.org/10.1109/step.1999.798478openalex-snapshot
Combining logical agents with rapid prototyping for engineering distributed applications
inferred← citeshttps://doi.org/10.1145/298151.298222openalex-snapshot
Abductive coordination for logic agents
inferred← citeshttps://doi.org/10.14419/ijet.v7i3.12.16440openalex-snapshot
KM Trajectory Schema Service Frame Work for Software Development Organizations
inferred← citeshttps://doi.org/10.1504/ijssc.2011.039105openalex-snapshot
Supporting situated computing with intelligent multi-agent systems
inferred← citeshttps://doi.org/10.1609/aimag.v18i3.1304openalex-snapshot
Logic and Databases Past, Present, and Future
inferred← citeshttps://doi.org/10.26686/wgtn.13490913openalex-snapshot
Towards a framework for certification of reliable autonomous systems
inferred← citeshttps://doi.org/10.26686/wgtn.13490913.v1openalex-snapshot
Towards a framework for certification of reliable autonomous systems
inferred← citeshttps://doi.org/10.3233/fi-1998-34301openalex-snapshot
Executing Suspended Logic Programs
inferred← citeshttps://doi.org/10.3233/fi-2010-361openalex-snapshot
A Logic-Based, Reactive Calculus of Events
inferred← citeshttps://doi.org/10.32657/10356/35732openalex-snapshot
Multi-agent development environment (MADE) and its applications
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0311024openalex-snapshot
Logic-Based Specification Languages for Intelligent Software Agents
inferred← citeshttps://doi.org/10.5282/ubm/epub.14881openalex-snapshot
State-of-the-art on evolution and reactivity
inferred← citeshttps://doi.org/10.5555/1357910.1358054openalex-snapshot
From a multi-agent simulation theory to GALATEA
inferred← citeshttps://doi.org/10.5555/2343896.2344052openalex-snapshot
Agent deliberation via forward and backward chaining in linear logic
inferred← citeshttps://doi.org/10.7551/mitpress/3487.001.0001openalex-snapshot
Heterogeneous Agent Systems
inferred← citeshttps://doi.org/10.9781/ijimai.2021.02.001openalex-snapshot
An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices.
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.