On the public citation graph
Formal semantics for an abstract agent programming language
0 signed · 79 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-58855-8_22openalex-snapshot
DAISY: an object-oriented system for Distributed Artificial Intelligence
inferredcites →https://doi.org/10.1007/3-540-58855-8_6openalex-snapshot
Compositional formal specification of multi-agent systems
inferredcites →https://doi.org/10.1007/3540608052_56openalex-snapshot
Formalising motivational attitudes of agents
inferredcites →https://doi.org/10.1007/3540608052_76openalex-snapshot
Foundations of a logical approach to agent programming
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bfb0013597openalex-snapshot
A knowledge-theoretic semantics for concurrent MetateM
inferredcites →https://doi.org/10.1007/bfb0014005openalex-snapshot
A survey of concurrent MetateM — The language and its applications
inferredcites →https://doi.org/10.1007/bfb0026762openalex-snapshot
Intentional agents and goal formation
inferredcites →https://doi.org/10.1007/bfb0031845openalex-snapshot
AgentSpeak(L): BDI agents speak out in a logical computable language
inferredcites →https://doi.org/10.1016/0004-3702(71)90010-5openalex-snapshot
Strips: A new approach to the application of theorem proving to problem solving
inferredcites →https://doi.org/10.1016/0004-3702(90)90055-5openalex-snapshot
Intention is choice with commitment
inferredcites →https://doi.org/10.1016/0004-3702(93)90034-9openalex-snapshot
Agent-oriented programming
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.323openalex-snapshot
Specification and testing of autonomous agents in e-commerce systems
inferred← citeshttps://doi.org/10.1007/10719619_13openalex-snapshot
Reactivity in a Logic-Based Robot Programming Framework
inferred← citeshttps://doi.org/10.1007/10719619_14openalex-snapshot
Extending ConGolog to Allow Partial Ordering
inferred← citeshttps://doi.org/10.1007/10719619_16openalex-snapshot
Open Multi-Agent Systems: Agent Communication and Integration
inferred← citeshttps://doi.org/10.1007/10722777_6openalex-snapshot
Operational Semantics for Agent Communication Languages
inferred← citeshttps://doi.org/10.1007/11523277_13openalex-snapshot
A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEMResearch partially supported by the Spanish MCYT project TIC2003-07848-C02, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT.
inferred← citeshttps://doi.org/10.1007/11678823_2openalex-snapshot
Agent-Based Computing and Programming of Agent Systems
inferred← citeshttps://doi.org/10.1007/11802372_76openalex-snapshot
Agent-Oriented Probabilistic Logic Programming with Fuzzy Constraints
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_11openalex-snapshot
A Formal Architecture for the 3APL Agent Programming Language
inferred← citeshttps://doi.org/10.1007/3-540-44564-1_1openalex-snapshot
Agent-Oriented Software Engineering: The State of the Art
inferred← citeshttps://doi.org/10.1007/3-540-45448-9_11openalex-snapshot
$$ \mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A} $$- A Dynamic Logic Programming Agent Architecture
inferred← citeshttps://doi.org/10.1007/3-540-45656-2_49openalex-snapshot
An Operational Semantics for a PRS-Like Agent Architecture
inferred← citeshttps://doi.org/10.1007/3-540-45757-7_2openalex-snapshot
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
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-49057-4_28openalex-snapshot
An Index to Volumes 1–5 of the Intelligent Agents Series
inferred← citeshttps://doi.org/10.1007/3-540-49057-4_3openalex-snapshot
Information-Passing and Belief Revisionin Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-98197-0_13openalex-snapshot
Dialogue Games for Agent Argumentation
inferred← citeshttps://doi.org/10.1007/978-3-540-25930-5_1openalex-snapshot
Objects, Agents, and Features: An Introduction
inferred← citeshttps://doi.org/10.1007/978-3-540-25932-9_4openalex-snapshot
Go! for Multi-threaded Deliberative Agents
inferred← citeshttps://doi.org/10.1007/978-3-540-75698-9_21openalex-snapshot
Formal Specification of Multi-agent Systems by Using EUSMs
inferred← citeshttps://doi.org/10.1007/978-3-642-03958-4_17openalex-snapshot
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-14309-0_10openalex-snapshot
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
inferred← citeshttps://doi.org/10.1007/978-3-642-14843-9_6openalex-snapshot
Golog Speaks the BDI Language
inferred← citeshttps://doi.org/10.1007/978-3-642-14977-1_18openalex-snapshot
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages
inferred← citeshttps://doi.org/10.1007/bfb0026759openalex-snapshot
Agent modelling in MetateM and DESIRE
inferred← citeshttps://doi.org/10.1007/bfb0026763openalex-snapshot
A layered agent calculus with concurrent, continuous processes
inferred← citeshttps://doi.org/10.1007/bfb0095049openalex-snapshot
A formal embedding of agentspeak(L) in 3APL
inferred← citeshttps://doi.org/10.1007/s10458-004-3140-4openalex-snapshot
Temporal Development Methods for Agent-Based
inferred← citeshttps://doi.org/10.1007/s10458-009-9105-xopenalex-snapshot
Executable specifications of resource-bounded agents
inferred← citeshttps://doi.org/10.1007/s10458-011-9182-5openalex-snapshot
Dynamic service composition enabled by introspective agent coordination
inferred← citeshttps://doi.org/10.1007/s10458-020-09453-yopenalex-snapshot
Agent programming in the cognitive era
inferred← citeshttps://doi.org/10.1007/s10515-011-0088-xopenalex-snapshot
Model checking agent programming languages
inferred← citeshttps://doi.org/10.1007/s11390-006-0412-2openalex-snapshot
Agent-Oriented Probabilistic Logic Programming
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.09.034openalex-snapshot
From Theoretical e-barter Models to an Implementation Based on Web Services
inferred← citeshttps://doi.org/10.1016/j.jal.2005.12.014openalex-snapshot
A verification framework for agent programming with declarative goals
inferred← citeshttps://doi.org/10.1016/s0004-3702(00)00031-xopenalex-snapshot
ConGolog, a concurrent programming language based on the situation calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80586-3openalex-snapshot
A Language for Multi-dimensional Updates
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03023-4openalex-snapshot
Chapter 23 Cognitive Robotics
inferred← citeshttps://doi.org/10.1023/a:1024787301515openalex-snapshot
A Dialogue Game Protocol for Agent Purchase Negotiations
inferred← citeshttps://doi.org/10.1023/b:agnt.0000019688.11109.19openalex-snapshot
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
inferred← citeshttps://doi.org/10.1023/b:amai.0000031195.87297.d9openalex-snapshot
Go! — A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
inferred← citeshttps://doi.org/10.1023/b:amai.0000031197.13122.aaopenalex-snapshot
On the Semantics of Deliberation in IndiGolog — from Theory to Implementation
inferred← citeshttps://doi.org/10.1080/08839510290030507openalex-snapshot
Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications
inferred← citeshttps://doi.org/10.1109/aamas.2004.199openalex-snapshot
On Ability to Autonomously Execute Agent Programs with Sensing
inferred← citeshttps://doi.org/10.1109/tdc.2005.1546946openalex-snapshot
A Transformer Predictive Maintenance System Based On Agent-Oriented Programming
inferred← citeshttps://doi.org/10.1111/j.1467-8640.2007.00295.xopenalex-snapshot
COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS
inferred← citeshttps://doi.org/10.1145/3706598.3714188openalex-snapshot
Satori 悟り: Towards Proactive AR Assistant with Belief-Desire-Intention User Modeling
inferred← citeshttps://doi.org/10.1145/545056.545130openalex-snapshot
Supporting nomadic agent-based applications in the FIPA agent architecture
inferred← citeshttps://doi.org/10.1145/860575.860747openalex-snapshot
Go! for multi-threaded deliberative agents
inferred← citeshttps://doi.org/10.48550/arxiv.1403.5508openalex-snapshot
Towards Active Logic Programming
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0207008openalex-snapshot
Agent Programming with Declarative Goals
inferred← citeshttps://doi.org/10.4995/thesis/10251/17702openalex-snapshot
Computación distribuida basada en objetivos
inferred← citeshttps://doi.org/10.5282/ubm/epub.14881openalex-snapshot
State-of-the-art on evolution and reactivity
inferred← citeshttps://doi.org/10.5555/1402383.1402443openalex-snapshot
Suspending and resuming tasks in BDI agents
inferred← citeshttps://doi.org/10.7561/sacs.2012.2.267openalex-snapshot
Standard Type Soundness for Agents and Artifacts
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.