John-Jules Charles Meyerの本 - BookPine

Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

Mehdi Dastani

Agent-Based Defeasible Control in Dynamic Environments: Volume 7: Agent-Based Defeasible Control in Dynamic Environments

Agent-Based Defeasible Control in Dynamic Environments: Volume 7: Agent-Based Defeasible Control in Dynamic Environments

John-Jules Charles Meyer

Dynamics and Management of Reasoning Processes: Volume 6: Dynamics and Management of Reasoning Processes

Dynamics and Management of Reasoning Processes: Volume 6: Dynamics and Management of Reasoning Processes

John-Jules Charles Meyer

Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised ...

Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised ...

John-Jules Charles Meyer

Objects, Agents and Features: International Seminar, Dagstuhl Castle, Germany, February 2003: Revised and Invited Papers

Objects, Agents and Features: International Seminar, Dagstuhl Castle, Germany, February 2003: Revised and Invited Papers

Mark D. Ryan

Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science

John-Jules Charles Meyer

Agent-Based Defeasible Control in Dynamic Environments

Agent-Based Defeasible Control in Dynamic Environments

John-Jules Charles Meyer

Intelligent Agents VIII: 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers

Intelligent Agents VIII: 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers

John-Jules Charles Meyer

Dynamics and Management of Reasoning Processes

Dynamics and Management of Reasoning Processes

John-Jules Charles Meyer

Formal Models of Agents: ESPROT Project ModelAge Final Workshop

Formal Models of Agents: ESPROT Project ModelAge Final Workshop

John-Jules Charles Meyer

Epistemic Logic for Artifcl Intell (Cambridge Tracts in Theoretical Computer Science) by J.-J. Ch. Meyer

Epistemic Logic for Artifcl Intell (Cambridge Tracts in Theoretical Computer Science) by J.-J. Ch. Meyer

John-Jules Charles Meyer