On the public citation graph
A survey of concurrent MetateM — The language and its applications
0 signed · 194 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-15670-4_6openalex-snapshot
Executing temporal logic programs
inferredcites →https://doi.org/10.1007/3-540-50403-6_35openalex-snapshot
Executing temporal logic: Review and prospects
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/3-540-53982-4_19openalex-snapshot
A calculus of broadcasting systems
inferredcites →https://doi.org/10.1007/3-540-55602-8_178openalex-snapshot
A normal form for first-order temporal formulae
inferredcites →https://doi.org/10.1007/3-540-56891-3_15openalex-snapshot
Concurrent MetateM — A language for modelling reactive systems
inferredcites →https://doi.org/10.1007/3-540-57287-2_35openalex-snapshot
Specifying and verifying distributed Intelligent systems
inferredcites →https://doi.org/10.1007/bfb0013075openalex-snapshot
From the past to the future: Executing temporal logic programs
inferredcites →https://doi.org/10.1016/0004-3702(93)90034-9openalex-snapshot
Agent-oriented programming
inferredcites →https://doi.org/10.1016/s0747-7171(89)80070-7openalex-snapshot
Temporal logic programming
inferredcites →https://doi.org/10.1109/tse.1984.5010247openalex-snapshot
Broadcasting Sequential Processes (BSP)
inferredcites →https://doi.org/10.1109/tsmc.1981.4308579openalex-snapshot
Frameworks for Cooperation in Distributed Problem Solving
inferredcites →https://doi.org/10.1145/163298.163303openalex-snapshot
The process group approach to reliable distributed computing
inferredcites →https://doi.org/10.1145/773379.806617openalex-snapshot
A message system supporting fault tolerance
inferredcites →https://doi.org/10.1145/800217.806617openalex-snapshot
A message system supporting fault tolerance
inferredcites →https://doi.org/10.21236/ada238065openalex-snapshot
The Process Group Approach to Reliable Distributed Computing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/swf.18openalex-snapshot
Open standards for interoperating agent‐based systems
inferred← citeshttps://doi.org/10.1006/jsco.1996.0068openalex-snapshot
Executable Temporal Logic for Non-monotonic Reasoning
inferred← citeshttps://doi.org/10.1006/jsco.1996.0072openalex-snapshot
Dealing with Multiple Granularity of Time in Temporal Logic Programming
inferred← citeshttps://doi.org/10.1007/1-4020-8058-1_4openalex-snapshot
A Survey on Agent-Oriented Oriented Software Engineering Research
inferred← citeshttps://doi.org/10.1007/10692710_3openalex-snapshot
Building Object-Agents from a Software Meta-Architecture
inferred← citeshttps://doi.org/10.1007/10693067_2openalex-snapshot
Conception, Behavioural Semantics and Formal Specification of Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/10719619_18openalex-snapshot
Agent-Oriented Software Engineering
inferred← citeshttps://doi.org/10.1007/11492870_11openalex-snapshot
Meta-reasoning Methods for Agent’s Intention Modelling
inferred← citeshttps://doi.org/10.1007/11493402_7openalex-snapshot
Reasoning About Agents’ Interaction Protocols Inside DCaseLP
inferred← citeshttps://doi.org/10.1007/11550648_14openalex-snapshot
Towards a Formal Methodology for Designing Multi-agent Applications
inferred← citeshttps://doi.org/10.1007/11550648_20openalex-snapshot
Multi-agent System Specification Using TCOZ
inferred← citeshttps://doi.org/10.1007/11683704_8openalex-snapshot
Analysis and Run-Time Verification of Dynamic Security Policies
inferred← citeshttps://doi.org/10.1007/11881223_122openalex-snapshot
Intentional Agency Framework Based on Cognitive Concepts to Realize Adaptive System Management
inferred← citeshttps://doi.org/10.1007/3-540-36483-8_5openalex-snapshot
Relating Structure and Dynamics in Organisation Models
inferred← citeshttps://doi.org/10.1007/3-540-44399-1_7openalex-snapshot
JEOPS — The Java Embedded Object Production System
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-44933-7openalex-snapshot
Objective Coordination in Multi-Agent System Engineering
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-45327-x_45openalex-snapshot
BDI Design Principles and Cooperative Implementation in RoboCup
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-45484-5_13openalex-snapshot
Direct Execution of Agent Specifications
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-45634-1_10openalex-snapshot
Semantics of Agent Communication: An Introduction
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-45941-3_16openalex-snapshot
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
inferred← citeshttps://doi.org/10.1007/3-540-45982-0_1openalex-snapshot
Intelligent Agents: The Key Concepts
inferred← citeshttps://doi.org/10.1007/3-540-49057-4_12openalex-snapshot
Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic
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/3-540-58855-8_1openalex-snapshot
Agent theories, architectures, and languages: A survey
inferred← citeshttps://doi.org/10.1007/3-540-58855-8_20openalex-snapshot
Representing and executing agent-based systems
inferred← citeshttps://doi.org/10.1007/3-540-58976-7_1openalex-snapshot
An introduction to executable modal and temporal logics
inferred← citeshttps://doi.org/10.1007/3-540-58976-7_5openalex-snapshot
Efficiently executable temporal logic programs
inferred← citeshttps://doi.org/10.1007/3-540-58976-7_6openalex-snapshot
Towards a semantics for concurrent MetateM
inferred← citeshttps://doi.org/10.1007/3-540-58976-7_8openalex-snapshot
Towards first-order concurrent MetateM
inferred← citeshttps://doi.org/10.1007/3-540-62501-1_33openalex-snapshot
A temporal constraint system for object-oriented databases
inferred← citeshttps://doi.org/10.1007/3-540-62591-7_21openalex-snapshot
Issues in agent-based software engineering
inferred← citeshttps://doi.org/10.1007/3-540-63077-5_30openalex-snapshot
Distributed problem-solving as concurrent theorem proving
inferred← citeshttps://doi.org/10.1007/3-540-63383-9_96openalex-snapshot
Concurrent Metatem as a coordination language
inferred← citeshttps://doi.org/10.1007/3-540-64823-2_6openalex-snapshot
Constrained matching is type safe
inferred← citeshttps://doi.org/10.1007/3540608052_76openalex-snapshot
Foundations of a logical approach to agent programming
inferred← citeshttps://doi.org/10.1007/3540608052_81openalex-snapshot
Agent theories, architectures, and languages: A bibliography
inferred← citeshttps://doi.org/10.1007/978-0-387-27696-0_6openalex-snapshot
Rule-based Policy Specification
inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_30openalex-snapshot
Towards the Refinement of Executable Temporal Objects
inferred← citeshttps://doi.org/10.1007/978-1-4020-7829-3_40openalex-snapshot
Engineering Interaction Protocols for Multiagent Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-00551-5_71openalex-snapshot
Application of Hybrid Agents to Smart Energy Management of a Prosumer Node
inferred← citeshttps://doi.org/10.1007/978-3-319-14484-9_15openalex-snapshot
Side Effects of Agents Are Not Just Random
inferred← citeshttps://doi.org/10.1007/978-3-319-56991-8_17openalex-snapshot
Petri Nets for Mobile Agent: Theory and Application
inferred← citeshttps://doi.org/10.1007/978-3-319-93581-2_9openalex-snapshot
A Quantitative Assessment of the JADEL Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-540-25867-4_5openalex-snapshot
The MAS-SOC Approach to Multi-agent Based Simulation
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-25936-7_11openalex-snapshot
SPACE: A Method to Increase Tracability in MAS Development
inferred← citeshttps://doi.org/10.1007/978-3-540-30106-6_42openalex-snapshot
Variant Extensions to Prove MAS Behaviours
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-540-32243-6_10openalex-snapshot
Formal Analysis of Meeting Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_30openalex-snapshot
Agents with Exact Foreknowledge
inferred← citeshttps://doi.org/10.1007/978-3-540-39592-8_31openalex-snapshot
Using the SPACE Intermediate Model to Help to Implement Agents
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-73099-6_2openalex-snapshot
Our Quest for the Holy Grail of Agent Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-75254-7_19openalex-snapshot
MASL: A Logic for the Specification of Multiagent Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-79043-3_11openalex-snapshot
Specifying and Verifying a MAS:The Robots on Mars Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-87805-6_4openalex-snapshot
How to Program Organizations and Roles in the JADE Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-13232-2_60openalex-snapshot
CogBox - Combined Artificial Intelligence Methodologies to Achieve a Semi-realistic Agent in Serious Games
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-14977-1_16openalex-snapshot
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-15034-0_10openalex-snapshot
The Living Cell as a Multi-agent Organisation: A Compositional Organisation Model of Intracellular Dynamics
inferred← citeshttps://doi.org/10.1007/978-3-642-16867-3_3openalex-snapshot
Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study
inferred← citeshttps://doi.org/10.1007/978-3-642-18690-5_4openalex-snapshot
Intelligent Agents: Issues and Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-32689-9_1openalex-snapshot
A Logic-Based Framework for Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54432-3_2openalex-snapshot
Agent-Oriented Software Engineering: Revisiting the State of the Art
inferred← citeshttps://doi.org/10.1007/978-94-015-9204-8_12openalex-snapshot
A Situation Calculus Approach to Modeling and Programming Agents
inferred← citeshttps://doi.org/10.1007/978-94-015-9586-5_21openalex-snapshot
Execution and Proof in a Horn-Clause Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0795-4_26openalex-snapshot
Requirements Specification and Automated Evaluation of Dynamic Properties of a Component-Based Design
inferred← citeshttps://doi.org/10.1007/978-94-017-1741-0_5openalex-snapshot
Coordinating Heterogeneous Components Using Executable Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-1741-0_9openalex-snapshot
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-4524-6_1openalex-snapshot
Modal Epistemic and Doxastic Logic
inferred← citeshttps://doi.org/10.1007/bfb0013576openalex-snapshot
If Z is the answer, what could the question possibly be?
inferred← citeshttps://doi.org/10.1007/bfb0013597openalex-snapshot
A knowledge-theoretic semantics for concurrent MetateM
inferred← citeshttps://doi.org/10.1007/bfb0013598openalex-snapshot
Knowledge-based situated agents among us a preliminary report
inferred← citeshttps://doi.org/10.1007/bfb0023929openalex-snapshot
Temporal reasoning about actor programs
inferred← citeshttps://doi.org/10.1007/bfb0026759openalex-snapshot
Agent modelling in MetateM and DESIRE
inferred← citeshttps://doi.org/10.1007/bfb0026761openalex-snapshot
Formal semantics for an abstract agent programming language
inferred← citeshttps://doi.org/10.1007/s00165-014-0303-1openalex-snapshot
Verification of distributed systems with the axiomatic system of MSVL
inferred← citeshttps://doi.org/10.1007/s00354-015-0103-zopenalex-snapshot
Reactive Computing as Model Generation
inferred← citeshttps://doi.org/10.1007/s10115-002-0083-4openalex-snapshot
Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods
inferred← citeshttps://doi.org/10.1007/s10458-004-3140-4openalex-snapshot
Temporal Development Methods for Agent-Based
inferred← citeshttps://doi.org/10.1007/s10458-008-9036-yopenalex-snapshot
2APL: a practical agent programming language
inferred← citeshttps://doi.org/10.1007/s10458-010-9139-0openalex-snapshot
Specifying recursive agents with GDTs
inferred← citeshttps://doi.org/10.1007/s10458-010-9153-2openalex-snapshot
The adversarial activity model for bounded rational agents
inferred← citeshttps://doi.org/10.1007/s10472-011-9253-yopenalex-snapshot
Abductive logic programming agents with destructive databases
inferred← citeshttps://doi.org/10.1007/s10489-006-0024-0openalex-snapshot
Specification, analysis and simulation of the dynamics within an organisation
inferred← citeshttps://doi.org/10.1007/s10588-006-9001-8openalex-snapshot
Analysis of meeting protocols by formalisation, simulation, and verification
inferred← citeshttps://doi.org/10.1007/s10796-005-1475-2openalex-snapshot
Reactive Mobility by Failure: When Fail Means Move
inferred← citeshttps://doi.org/10.1007/s12530-010-9011-0openalex-snapshot
ReAd: reactive-adaptive methodology to enable evolving intelligent agents for virtual environments
inferred← citeshttps://doi.org/10.1016/j.aei.2010.11.002openalex-snapshot
Towards intelligent agent based software for building related decision support
inferred← citeshttps://doi.org/10.1016/j.cl.2004.03.001openalex-snapshot
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
inferred← citeshttps://doi.org/10.1016/j.cl.2017.06.001openalex-snapshot
Agent-oriented model-driven development for JADE with the JADEL programming language
inferred← citeshttps://doi.org/10.1016/j.jal.2011.09.004openalex-snapshot
Agent deliberation in an executable temporal framework
inferred← citeshttps://doi.org/10.1016/j.jlap.2006.05.005openalex-snapshot
Reasoning about interaction protocols for customizing web service selection and composition
inferred← citeshttps://doi.org/10.1016/j.jtbi.2007.10.017openalex-snapshot
BDI-modelling of complex intracellular dynamics
inferred← citeshttps://doi.org/10.1016/j.knosys.2005.05.002openalex-snapshot
Integration of behavioural requirements specification within compositional knowledge engineering
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/s0004-3702(01)00052-2openalex-snapshot
Temporal agent programs
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00134-xopenalex-snapshot
Order-sorted model theory for temporal executable specifications
inferred← citeshttps://doi.org/10.1016/s1389-0417(03)00004-4openalex-snapshot
A temporal modelling environment for internally grounded beliefs, desires and intentions
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80021-8openalex-snapshot
18 Intelligent agents and common sense reasoning
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80586-3openalex-snapshot
A Language for Multi-dimensional Updates
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80591-7openalex-snapshot
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language
inferred← citeshttps://doi.org/10.1016/s1574-6526(05)80022-7openalex-snapshot
Time in Qualitative Simulation
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03024-6openalex-snapshot
Chapter 24 Multi-Agent Systems
inferred← citeshttps://doi.org/10.1017/s0269888900008122openalex-snapshot
Intelligent agents: theory and practice
inferred← citeshttps://doi.org/10.1017/s0269888918000164openalex-snapshot
Answer set programming and agents
inferred← citeshttps://doi.org/10.1017/s026988899700307xopenalex-snapshot
Methodological foundations for agent-based systems
inferred← citeshttps://doi.org/10.1017/s1471068404002029openalex-snapshot
Logic-based specification languages for intelligent software agents
inferred← citeshttps://doi.org/10.1017/s1471068421000557openalex-snapshot
Linear-Time Temporal Answer Set Programming
inferred← citeshttps://doi.org/10.1023/a:1017588004618openalex-snapshot
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
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.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.0000034527.45635.e5openalex-snapshot
Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L)
inferred← citeshttps://doi.org/10.1049/ip-sen:19971026openalex-snapshot
Agent-based software engineering
inferred← citeshttps://doi.org/10.1093/jigpal/11.2.135openalex-snapshot
Towards a Logic of Rational Agency
inferred← citeshttps://doi.org/10.1093/logcom/7.4.429openalex-snapshot
A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
inferred← citeshttps://doi.org/10.1093/teamat/hrq007openalex-snapshot
Discrete Mathematics and its applications
inferred← citeshttps://doi.org/10.1109/andescon.2010.5630082openalex-snapshot
Adaptive intelligent agents based on efficient behaviour differentiation models
inferred← citeshttps://doi.org/10.1109/apsec.1999.809610openalex-snapshot
Analysis and verification of multi-agent interaction protocols
inferred← citeshttps://doi.org/10.1109/hsi.2008.4581505openalex-snapshot
Regionally Distributed Architecture for Dynamic e-Learning Environment (RDADeLE)
inferred← citeshttps://doi.org/10.1109/iat.2005.23openalex-snapshot
A tool for agent communication in Mozart/Oz
inferred← citeshttps://doi.org/10.1109/icmas.1998.699292openalex-snapshot
Information-passing and belief-revision in multi-agent systems
inferred← citeshttps://doi.org/10.1109/icmas.2000.858472openalex-snapshot
The computational complexity of agent design problems
inferred← citeshttps://doi.org/10.1109/icsmc.1996.561498openalex-snapshot
Structuration of large scale Petri nets: an association with higher level formalisms for the design of multi-agent systems
inferred← citeshttps://doi.org/10.1109/isda.2010.5687241openalex-snapshot
An agent-based approach for policy enforcement in secure workflow systems
inferred← citeshttps://doi.org/10.1109/time.1997.600776openalex-snapshot
Automata representations for Concurrent METATEM
inferred← citeshttps://doi.org/10.1109/wi-iat.2012.49openalex-snapshot
Oragentburg: A Platform Supporting Organisation-Based Programming
inferred← citeshttps://doi.org/10.1109/wi-iat.2015.29openalex-snapshot
A Survey of Agent-Oriented Programming: From Program Models to Programming Languages and Environments
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.1142/s0218213006002631openalex-snapshot
MODEL CHECKING FOR MULTIAGENT SYSTEMS: THE MABLE LANGUAGE AND ITS APPLICATIONS
inferred← citeshttps://doi.org/10.1145/1119439.1119444openalex-snapshot
Heterogeneous temporal probabilistic agents
inferred← citeshttps://doi.org/10.1145/372202.372207openalex-snapshot
A belief-goal-role logic for a single-agent system
inferred← citeshttps://doi.org/10.1145/544741.544851openalex-snapshot
Embodied intentional dynamics of bacterial behaviour
inferred← citeshttps://doi.org/10.1145/544862.544953openalex-snapshot
Agents dealing with time and uncertainty
inferred← citeshttps://doi.org/10.1145/860575.860747openalex-snapshot
Go! for multi-threaded deliberative agents
inferred← citeshttps://doi.org/10.1177/2041304110394727openalex-snapshot
Autonomous vehicle control systems — a review of decision making
inferred← citeshttps://doi.org/10.13140/rg.2.2.20566.70721openalex-snapshot
Decentralised Data Fusion Using Agents
inferred← citeshttps://doi.org/10.14201/gredos.76526openalex-snapshot
Organization based multiagent architecture for distributed environments
inferred← citeshttps://doi.org/10.14236/ewic/fa1996.8openalex-snapshot
Towards Formal Methods for Agent-Based Systems
inferred← citeshttps://doi.org/10.14279/depositonce-149openalex-snapshot
Werkzeuggestützte Entwicklung kooperativer Agenten im Dienstkontext
inferred← citeshttps://doi.org/10.14279/depositonce-372openalex-snapshot
Autonomous Dynamic Reconfiguration in Collaborative Problem Solving
inferred← citeshttps://doi.org/10.1533/9781782420613.111openalex-snapshot
Agent Oriented Programming Language LASS
inferred← citeshttps://doi.org/10.20868/upm.thesis.108openalex-snapshot
Arquitectura multiagente para E/S de alto rendimiento en clusters
inferred← citeshttps://doi.org/10.2298/csis110214013bopenalex-snapshot
Software agents: Languages, tools, platforms
inferred← citeshttps://doi.org/10.3166/ria.31.449-470openalex-snapshot
Vérification formelle du respect de valeurs morales dans les SMA
inferred← citeshttps://doi.org/10.3233/mgs-2006-2407openalex-snapshot
A formal model-based approach for developing an interoperable mobile agent system
inferred← citeshttps://doi.org/10.3233/web-170357openalex-snapshot
A survey of agent-oriented programming from software engineering perspective
inferred← citeshttps://doi.org/10.34121/1028-9763-2023-1-101-111openalex-snapshot
Method of synthesis of a multilayer model of a monitoring software agent
inferred← citeshttps://doi.org/10.4018/978-1-5225-1908-9.ch039openalex-snapshot
Fuzzy Labeled Transition Refinement Tree
inferred← citeshttps://doi.org/10.4018/ijats.2014070101openalex-snapshot
Fuzzy Labeled Transition Refinement Tree
inferred← citeshttps://doi.org/10.4018/ijats.2015040104openalex-snapshot
Hierarchical Design Method for Multi-Agent Systems
inferred← citeshttps://doi.org/10.4230/dagsemproc.08361.4openalex-snapshot
Adding Organizations and Roles as Primitives to the JADE Framework
inferred← citeshttps://doi.org/10.48550/arxiv.1301.6905openalex-snapshot
Towards a Logic-Based Unifying Framework for Computing
inferred← citeshttps://doi.org/10.48550/arxiv.2009.06544openalex-snapshot
Temporal Answer Set Programming
inferred← citeshttps://doi.org/10.48550/arxiv.2109.14381openalex-snapshot
From Organisational Structure to Organisational Behaviour Formalisation
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0311024openalex-snapshot
Logic-Based Specification Languages for Intelligent Software Agents
inferred← citeshttps://doi.org/10.6092/unibo/amsdottorato/5634openalex-snapshot
Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development
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.