ConGolog, a concurrent programming language based on the situation calculus
De Giacomo, Giuseppe, Lespérance, Yves, Levesque, Hector J.
Published in Artificial intelligence (01.08.2000)
Published in Artificial intelligence (01.08.2000)
Get full text
Journal Article
AAAI 2000 Workshop Reports
Lesperance, Yves, Wagnerg, Gerd, Birmingham, William, Bollacker, Kurt, Nareyek, Alexander, Walser, J. Paul, Aha, David, Finin, Tim, Grosof, Benjamin, Japkowicz, Nathalie, Holte, Robert, Getoor, Lise, Gomes, Carla P., Hoos, Holger H., Schultz, Alan C., Kubat, Miroslav, Mitchell, Tom, Denzinger, Joerg, Gil, Yolanda, Myers, Karen, Bettini, Claudio, Montanari, Angelo
Published in The AI magazine (01.03.2001)
Published in The AI magazine (01.03.2001)
Get full text
Journal Article
The Cognitive Agents Specification Language and Verification Environment
Shapiro, S., Lespérance, Y., Levesque, H.J.
Published in Specification and Verification of Multi-agent Systems (07.07.2010)
Published in Specification and Verification of Multi-agent Systems (07.07.2010)
Get full text
Book Chapter
Entropy-based image merging
German, A., Jenkin, M.R., Lesperance, Y.
Published in The 2nd Canadian Conference on Computer and Robot Vision (CRV'05) (2005)
Published in The 2nd Canadian Conference on Computer and Robot Vision (CRV'05) (2005)
Get full text
Conference Proceeding
Controlling camera and lights for intelligent image acquisition and merging
Borzenko, O., Lesperance, Y., Jenkin, M.
Published in The 2nd Canadian Conference on Computer and Robot Vision (CRV'05) (2005)
Published in The 2nd Canadian Conference on Computer and Robot Vision (CRV'05) (2005)
Get full text
Conference Proceeding
GOLOG: A logic programming language for dynamic domains
Levesque, Hector J., Reiter, Raymond, Lespérance, Yves, Lin, Fangzhen, Scherl, Richard B.
Published in The journal of logic programming (1997)
Published in The journal of logic programming (1997)
Get full text
Journal Article
INVICON: A Toolkit for Knowledge-Based Control of Vision Systems
Borzenko, O., Lesperance, Y., Jenkin, M.
Published in Fourth Canadian Conference on Computer and Robot Vision (CRV '07) (01.05.2007)
Published in Fourth Canadian Conference on Computer and Robot Vision (CRV '07) (01.05.2007)
Get full text
Conference Proceeding
Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System
Borzenko, O., Wei Xu, Obsniuk, M., Chopra, A., Jasiobedzki, P., Jenkin, M., Lesperance, Y.
Published in Fourth IEEE International Conference on Computer Vision Systems (ICVS'06) (2006)
Published in Fourth IEEE International Conference on Computer Vision Systems (ICVS'06) (2006)
Get full text
Conference Proceeding
On Ability to Autonomously Execute Agent Programs with Sensing
Sardina, Sebastian, De Giacomo, Giuseppe, Lesperance, Yves, Levesque, Hector J.
Published in International Conference on Autonomous Agents: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3; 19-23 July 2004 (19.07.2004)
Published in International Conference on Autonomous Agents: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3; 19-23 July 2004 (19.07.2004)
Get full text
Conference Proceeding