Skip to contents

De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio

Bounded situation calculus action theories

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2016

Published in: Artificial Intelligence
L'Esperance, Pierre-Yves; Labib, Richard

Model of an Excitatory Synapse Based on Stochastic Processes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2013

Published in: IEEE Transactions on Neural Networks and Learning Systems
Lespérance, Yves; Tam, Kenneth; Jenkin, Michael

Intelligent Agents VI. Agent Theories, Architectures, and Languages: Reactivity in a Logic-Based Robot Programming Framework

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: Intelligent Agents VI. Agent Theories, Architectures, and Languages
Shapiro, Steven; Lespérance, Yves; Levesque, Hector J.

Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications: Specifying communicative multi-agent systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1998

Published in: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2016

Published in: Studia Logica
De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer, 2016

Published in: Studia Logica: An International Journal for Symbolic Logic
L’Espérance, Sylvain; Frenette, Suzanne; Dionne, Anne; Dionne, Jean-Yves

Pharmacological and non-hormonal treatment of hot flashes in breast cancer survivors: CEPO review and recommendations

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2013

Published in: Supportive Care in Cancer
Shapiro, Steven; Pagnucco, Maurice; Lespérance, Yves; Levesque, Hector J.

Iterated belief change in the situation calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2011

Published in: Artificial Intelligence
Sardina, Sebastian; De Giacomo, Giuseppe; Lespérance, Yves; Levesque, Hector J.

On the Semantics of Deliberation in Indigolog – from Theory to Implementation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2004

Published in: Annals of Mathematics and Artificial Intelligence
Lespérance, Yves; Levesque, Hector J.; Lin, Fangzhen; Scherl, Richard B.

Ability and Knowing How in the Situation Calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kluwer Academic Publishers, 2000

Published in: Studia Logica: An International Journal for Symbolic Logic
De Giacomo, Giuseppe; Lespérance, Yves; Levesque, Hector J.

ConGolog, a concurrent programming language based on the situation calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2000

Published in: Artificial Intelligence
Lespérance, Yves; Levesque, Hector J.; Ruman, Shane J.

Lecture Notes in Computer Science: An experiment in using Golog to build a personal banking assistant

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: Lecture Notes in Computer Science
Louagie, Yves; Alouini, Taoufik; Lespérance, Jacques; Pelletier, L. Conrad

Left ventricular aneurysm with predominating congestive heart failure

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1987

Published in: The Journal of Thoracic and Cardiovascular Surgery
Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.

GOLOG: A logic programming language for dynamic domains

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1997

Published in: The Journal of Logic Programming
Lespérance, Yves; Levesque, Hector J.; Lin, Fangzhen; Marcu, Daniel; Reiter, Raymond; Scherl, Richard B.

Intelligent Agents II Agent Theories, Architectures, and Languages: Foundations of a logical approach to agent programming

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1996

Published in: Intelligent Agents II Agent Theories, Architectures, and Languages
Moise, Alain; Goulet, Claude; Théroux, Pierre; Taeymans, Yves; Lespérance, Jacques; Bourassa, Martial G.

Spontaneous regression of coronary artery obstructions: Incidence in 313 consecutive repeat angiograms

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 1985

Published in: Catheterization and Cardiovascular Diagnosis
Moise, Alain; Lespérance, Jacques; Théroux, Pierre; Taeymans, Yves; Goulet, Claude; Bourassa, Martial G.

Clinical and angiographic predictors of new total coronary occlusion in coronary artery disease: Analysis of 313 nonoperated patients

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1984

Published in: The American Journal of Cardiology
Moise, Alain; Théroux, Pierre; Taeymans, Yves; Lespérance, Jacques; Waters, David D.

Is progression of coronary artery disease occurring at bouts or as a continuous process? Serial cineangiographic studies in 44 patients

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1984

Published in: Computers and Biomedical Research
Grondin, Claude M.; Castonguay, Yves R.; Lespérance, Jacques; Bourassa, Martial G.; Campeau, Lucien; Grondin, Pierre

Attrition Rate of Aorta-to-Coronary Artery Saphenous Vein Grafts After One Year

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1972

Published in: The Annals of Thoracic Surgery
Noël, Alexandra; L’Espérance, Gilles; Cloutier, Yves; Plamondon, Philippe; Boucher, Julie; Philippe, Suzanne; Dion, Chantal; Truchon, Ginette; Zayed, Joseph

Assessment of the Contribution of Electron Microscopy to Nanoparticle Characterization Sampled with Two Cascade Impactors

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Informa UK Limited, 2013

Published in: Journal of Occupational and Environmental Hygiene

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication