METATEM
From MaRDI portal
Cited in
(74)- scientific article; zbMATH DE number 2090952 (Why is no real title available?)
- An introduction to practical formal methods using temporal logic
- Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
- On complexity of verification of interacting agents' behavior
- A formal model-based approach for developing an interoperable mobile agent system
- Reactive computing as model generation
- Order-sorted model theory for temporal executable specifications
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- Artificial Intelligence: Methodology, Systems, and Applications
- Cooperation and competition in ALIAS: A logic framework for agents that negotiate
- Context-based commonsense reasoning in the DALI logic programming language
- Logic-based specification languages for intelligent software agents
- Computational Logic in Multi-Agent Systems
- Abductive logic programming agents with destructive databases
- scientific article; zbMATH DE number 1950758 (Why is no real title available?)
- A formal characterisation of Hamblin's action-state semantics
- Bounded situation calculus action theories
- scientific article; zbMATH DE number 1305385 (Why is no real title available?)
- Analysis of meeting protocols by formalisation, simulation, and verification
- A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
- scientific article; zbMATH DE number 2090124 (Why is no real title available?)
- Reasoning about interaction protocols for customizing web service selection and composition
- Communication and cooperation in agent systems. A pragmatic theory
- Semantics of temporal classes
- Our Quest for the Holy Grail of Agent Verification
- An agent language with destructive assignment and model-theoretic semantics
- Operational semantics of Framed Tempura
- Agent deliberation in an executable temporal framework
- JavaLog
- MetaMorph
- ConGolog
- GOLOG
- LAILA
- LUPS
- CACTUS
- MANIFOLD
- KARO
- Mozart
- DECAF
- AgentSpeak
- Jason
- Moise+
- simpleAPL
- TSPASS
- Oz
- WADE
- STeLP
- TeMP
- JADE
- PolyTOIL
- 3APL
- ISLANDER
- Datalog LITE
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
- scientific article; zbMATH DE number 1189100 (Why is no real title available?)
- MASL: A Logic for the Specification of Multiagent Real-Time Systems
- MetateM: An introduction
- BDI-modelling of complex intracellular dynamics
- Temporal agent programs
- Systems of agents controlled by logical programs: complexity of verification
- Verification of distributed systems with the axiomatic system of MSVL
- Objective coordination in multi-agent system engineering. Design and implementation
- scientific article; zbMATH DE number 1444742 (Why is no real title available?)
- Compositional verification of multi-agent systems in temporal multi-epistemic logic
- ConGolog, a concurrent programming language based on the situation calculus
- scientific article; zbMATH DE number 1931644 (Why is no real title available?)
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- scientific article; zbMATH DE number 877755 (Why is no real title available?)
- scientific article; zbMATH DE number 2087363 (Why is no real title available?)
- Language Constructs for Multi-agent Programming
- DatalogMTL
- Dealing with multiple granularity of time in temporal logic programming
- Executable temporal logic for non-monotonic reasoning
- Temporal semantics for concurrent METATEM
This page was built for software: METATEM
