METATEM

swMATH6568MaRDI QIDQ18660FDOQ18660

Author name not available (Why is that?)

Official website: http://www.cs.ox.ac.uk/people/michael.wooldridge/pubs/ker95/subsubsectionstar3_4_0_4.html

Cited In (74)

• Artificial Intelligence: Methodology, Systems, and Applications
• Logic-based specification languages for intelligent software agents
• Title not available (Why is that?)
• Our Quest for the Holy Grail of Agent Verification
• Title not available (Why is that?)
• 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
• Context-based commonsense reasoning in the DALI logic programming language
• Computational Logic in Multi-Agent Systems
• 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
• Analysis of meeting protocols by formalisation, simulation, and verification
• Reasoning about interaction protocols for customizing web service selection and composition
• Communication and cooperation in agent systems. A pragmatic theory
• Semantics of temporal classes
• An agent language with destructive assignment and model-theoretic semantics
• 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?)
• MASL: A Logic for the Specification of Multiagent Real-Time Systems
• JavaLog
• MetaMorph
• ConGolog
• GOLOG
• LAILA
• LUPS
• CACTUS
• MANIFOLD
• KARO
• Mozart
• DECAF
• AgentSpeak
• Jason
• Moise+
• simpleAPL
• TSPASS
• Oz
• MetateM: An introduction
• WADE
• STeLP
• TeMP
• JADE
• Temporal agent programs
• PolyTOIL
• BDI-modelling of complex intracellular dynamics
• 3APL
• ISLANDER
• Datalog LITE
• 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
• 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?)
• Language Constructs for Multi-agent Programming
• DatalogMTL
• 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
• An introduction to practical formal methods using temporal logic

This page was built for software: METATEM