- Situation Calculus-based Programs for Representing and Reasoning about Game Structures
- Ability and Knowing How in the Situation Calculus Yves Lesp erance lesperan@cs.yorku.ca
- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
- A Model of Rational Agency for Communicating Shakil M. Khan and Yves Lesperance
- A Logical Account of Prioritized Goals and their Dynamics Shakil M. Khan and Yves Lesperance
- for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems
- Agent-Oriented Requirements Engineering Using ConGolog and i*
- On the Semantics of Conditional Commitment Shakil M. Khan and Yves Lesperance
- Experiments in HighLevel Robot Control Using ConGolog ---
- On Joint Ability in the Presence of Sensing Hojjat Ghaderi and Hector Levesque
- Incremental Plan Recognition in an Agent Programming Framework Alexandra Goultiaeva
- On the Semantics of Conditional Commitment Shakil M. Khan
- Controlling Camera and Lights for Intelligent Image Acquisition and Merging Olena Borzenko, Yves Lesprance, Michael Jenkin
- The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems
- IG-JADE-PKSlib: An Agent-Based Framework for Advanced Web Service Composition and Provisioning
- Reactivity in a Logic-Based Robot Programming Framework Yves Lesperance, Kenneth Tam, and Michael Jenkin
- De l'executabilite epistemique des plans dans les specifications de syst`emes multiagents
- Modeling Multiagent Systems with CASL--A Feature Interaction Resolution Application?
- Y. LESPERANCE, H. J. LEVESQUE, AND R. REITER A SITUATION CALCULUS APPROACH TO
- On the Semantics of Deliberation in IndiGolog --From Theory to Implementation
- CHAPITRE PREMIER De l'excutabilit pistmique des plans
- ECASL : A Model of Rational Agency for Communicating Shakil M. Khan
- On the Semantics of Deliberation in IndiGolog --From Theory to Implementation
- On Agent Programming Language Support for Rational Communication Yves Lesprance
- A Logical Theory of Coordination and Joint Ability Hojjat Ghaderi and Hector Levesque
- From Adaptive Systems Design to Autonomous Agent Design
- Golog Speaks the BDI Language Sebastian Sardina1
- ConGolog, a concurrent programming language based on the situation calculus
- Handling Prioritized Goals and Subgoals in a Logical Account of Goal Change
- Alexei Lapouchnian and Yves Lesprance Department of Computer Science,
- Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning
- Goal Change Steven Shapiro
- A Logical Framework for Prioritized Goal Change Shakil M. Khan
- Modeling Mental States in Agent-Oriented Requirements Engineering
- Integrating Planning into Reactive High-Level Robot Yves Lesperance and Ho-Kong Ng1
- Agent-Oriented Requirements Engineering Using the ConGolog and i* Frameworks
- A.T. Borgida et al. (Eds.): Mylopoulos Festschrift, LNCS 5600, pp. 483503, 2009. Springer-Verlag Berlin Heidelberg 2009
