On the public citation graph

A formal embedding of agentspeak(L) in 3APL

https://doi.org/10.1007/bfb0095049
0 signed · 36 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-49057-4_25openalex-snapshot
Control Structures of Rule-Based Agent Languages
inferredcites →https://doi.org/10.1007/3-540-52592-0_60openalex-snapshot
On the expressive power of programming languages
inferredcites →https://doi.org/10.1007/bfb0017309openalex-snapshot
Concurrency and automata on infinite sequences
inferredcites →https://doi.org/10.1007/bfb0026761openalex-snapshot
Formal semantics for an abstract agent programming language
inferredcites →https://doi.org/10.1007/bfb0031845openalex-snapshot
AgentSpeak(L): BDI agents speak out in a logical computable language
inferredcites →https://doi.org/10.1007/bfb0095049openalex-snapshot
A formal embedding of agentspeak(L) in 3APL
inferredcites →https://doi.org/10.1016/0004-3702(93)90034-9openalex-snapshot
Agent-oriented programming
inferredcites →https://doi.org/10.1016/0167-6423(91)90036-wopenalex-snapshot
On the expressive power of programming languages
inferredcites →https://doi.org/10.1111/j.1755-2567.1970.tb00429.xopenalex-snapshot
Modal logics with linear alternative relations

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11678823_8openalex-snapshot
An AgentSpeak Meta-interpreter and Its Applications
inferred← citeshttps://doi.org/10.1007/3-540-44631-1_16openalex-snapshot
Agent Programming with Declarative Goals
inferred← citeshttps://doi.org/10.1007/3-540-45484-5_6openalex-snapshot
A Programming Logic for Part of the Agent Language 3APL
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-49057-4_25openalex-snapshot
Control Structures of Rule-Based Agent Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-45133-4_32openalex-snapshot
Agent Programming in Dribble: From Beliefs to Goals with Plans
inferred← citeshttps://doi.org/10.1007/978-3-540-69912-5_30openalex-snapshot
Agent Logics as Program Logics: Grounding KARO
inferred← citeshttps://doi.org/10.1007/978-3-540-79043-3_8openalex-snapshot
A Common Semantic Basis for BDI Languages
inferred← citeshttps://doi.org/10.1007/s10458-008-9036-yopenalex-snapshot
2APL: a practical agent programming language
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/s1574-6526(07)03024-6openalex-snapshot
Chapter 24 Multi-Agent Systems
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)x0300-6openalex-snapshot
Handbook of Knowledge Representation
inferred← citeshttps://doi.org/10.1017/s026988890100025xopenalex-snapshot
Agent orientation in software engineering
inferred← citeshttps://doi.org/10.1017/s1471068404002029openalex-snapshot
Logic-based specification languages for intelligent software agents
inferred← citeshttps://doi.org/10.1023/a:1010084620690openalex-snapshot
Agent Programming in 3APL
inferred← citeshttps://doi.org/10.1093/jigpal/11.2.135openalex-snapshot
Towards a Logic of Rational Agency
inferred← citeshttps://doi.org/10.1109/icmas.2000.858478openalex-snapshot
Situated BD agents subsume BDI agents
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.860639openalex-snapshot
Agent programming in dribble
inferred← citeshttps://doi.org/10.2298/csis110214013bopenalex-snapshot
Software agents: Languages, tools, platforms
inferred← citeshttps://doi.org/10.25439/rmt.27333069openalex-snapshot
Learning plan selection for BDI agent systems
inferred← citeshttps://doi.org/10.25439/rmt.27339966openalex-snapshot
Planning in BDI agent systems
inferred← citeshttps://doi.org/10.32657/10356/2605openalex-snapshot
Agent simulation of vessels traveling in sea
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0207008openalex-snapshot
Agent Programming with Declarative Goals
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0311024openalex-snapshot
Logic-Based Specification Languages for Intelligent Software Agents
inferred← citeshttps://doi.org/10.5220/0005799601920203openalex-snapshot
A Comparative Study of Programming Agents in POSH and GOAL
showing the first 26 of 27 · page through all 27
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.