METATEM

swMATH6568MaRDI QIDQ18660FDOQ18660

Author name not available (Why is that?)

Cited In (48)

• 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
• Artificial Intelligence: Methodology, Systems, and Applications
• JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
• Computational Logic in Multi-Agent Systems
• Logic-based specification languages for intelligent software agents
• Cooperation and competition in ALIAS: A logic framework for agents that negotiate
• Title not available (Why is that?)
• Abductive logic programming agents with destructive databases
• A formal characterisation of Hamblin's action-state semantics
• Title not available (Why is that?)
• Bounded situation calculus action theories
• A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
• Title not available (Why is that?)
• Analysis of meeting protocols by formalisation, simulation, and verification
• An Introduction to Practical Formal Methods Using Temporal Logic
• Reasoning about interaction protocols for customizing web service selection and composition
• Communication and cooperation in agent systems. A pragmatic theory
• Our Quest for the Holy Grail of Agent Verification
• Semantics of temporal classes
• Operational semantics of Framed Tempura
• Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
• Agent deliberation in an executable temporal framework
• Title not available (Why is that?)
• Context-Based Commonsense Reasoning in the DALI Logic Programming Language
• MASL: A Logic for the Specification of Multiagent Real-Time Systems
• MetateM: An introduction
• Temporal agent programs
• BDI-modelling of complex intracellular dynamics
• Objective coordination in multi-agent system engineering. Design and implementation
• Systems of agents controlled by logical programs: complexity of verification
• Verification of distributed systems with the axiomatic system of MSVL
• Title not available (Why is that?)
• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• An Agent Language with Destructive Assignment and Model-Theoretic Semantics
• Title not available (Why is that?)
• ConGolog, a concurrent programming language based on the situation calculus
• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Language Constructs for Multi-agent Programming
• Title not available (Why is that?)
• 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