METATEM
From MaRDI portal
Software:18660
No author found.
Related Items (48)
Reactive computing as model generation ⋮ Bounded situation calculus action theories ⋮ A formal model-based approach for developing an interoperable mobile agent system ⋮ Operational semantics of Framed Tempura ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ MetateM: An introduction ⋮ Logic-based specification languages for intelligent software agents ⋮ Reasoning about interaction protocols for customizing web service selection and composition ⋮ Communication and cooperation in agent systems. A pragmatic theory ⋮ Unnamed Item ⋮ Order-sorted model theory for temporal executable specifications ⋮ Verification of distributed systems with the axiomatic system of MSVL ⋮ Unnamed Item ⋮ MASL: A Logic for the Specification of Multiagent Real-Time Systems ⋮ Agent deliberation in an executable temporal framework ⋮ A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution ⋮ Abductive logic programming agents with destructive databases ⋮ An Introduction to Practical Formal Methods Using Temporal Logic ⋮ Context-Based Commonsense Reasoning in the DALI Logic Programming Language ⋮ Analysis of meeting protocols by formalisation, simulation, and verification ⋮ Executable temporal logic for non-monotonic reasoning ⋮ Temporal semantics for concurrent METATEM ⋮ Dealing with multiple granularity of time in temporal logic programming ⋮ Unnamed Item ⋮ Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? ⋮ Unnamed Item ⋮ JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming ⋮ An Agent Language with Destructive Assignment and Model-Theoretic Semantics ⋮ Unnamed Item ⋮ Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L) ⋮ Temporal agent programs ⋮ Our Quest for the Holy Grail of Agent Verification ⋮ On complexity of verification of interacting agents' behavior ⋮ Objective coordination in multi-agent system engineering. Design and implementation ⋮ Language Constructs for Multi-agent Programming ⋮ BDI-modelling of complex intracellular dynamics ⋮ Computational Logic in Multi-Agent Systems ⋮ Unnamed Item ⋮ Artificial Intelligence: Methodology, Systems, and Applications ⋮ Systems of agents controlled by logical programs: complexity of verification ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving ⋮ Semantics of temporal classes ⋮ Cooperation and competition in ALIAS: A logic framework for agents that negotiate ⋮ Compositional verification of multi-agent systems in temporal multi-epistemic logic
This page was built for software: METATEM
