ConGolog

swMATH1801MaRDI QIDQ14449FDOQ14449

Author name not available (Why is that?)

Described by source

• Unnamed Publication
• ConGolog, a concurrent programming language based on the situation calculus

Cited In (38)

• From knowledge based software engineering to knowware based software engineering
• Title not available (Why is that?)
• Semantics of plan revision in intelligent agents
• Title not available (Why is that?)
• Logic-based specification languages for intelligent software agents
• John McCarthy's legacy
• Title not available (Why is that?)
• Bounded situation calculus action theories
• Title not available (Why is that?)
• Making Golog Norm Compliant
• Incremental execution of guarded theories
• cc-Golog - An Action Language with Continuous Change
• Planning under uncertainty as G<scp>OLOG</scp>programs
• AI*IA 2003: Advances in Artificial Intelligence
• Reasoning about interaction protocols for customizing web service selection and composition
• Title not available (Why is that?)
• Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The situation calculus: a case for modal logic
• Reasoning robots. The art and science of programming robotic agents
• Agent planning programs
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Computational Logic in Multi-Agent Systems
• Title not available (Why is that?)
• On Hierarchical Task Networks
• A verification framework for agent programming with declarative goals
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• Specifying and computing preferred plans
• Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report
• Non-terminating processes in the situation calculus
• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
• EVOLP: Tranformation-Based Semantics
• Process algebra and constraint programming for modeling interactions in MAS
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formal method to model early requirement of multi-agent system

This page was built for software: ConGolog