Følg
Froduald Kabanza
Froduald Kabanza
Department of Computer Science, University of Sherbrooke
Verifisert e-postadresse på usherbrooke.ca - Startside
Tittel
Sitert av
Sitert av
År
Using temporal logics to express search control knowledge for planning
F Bacchus, F Kabanza
Artificial intelligence 116 (1-2), 123-191, 2000
8352000
Planning for temporally extended goals
F Bacchus, F Kabanza
Annals of Mathematics and Artificial Intelligence 22, 5-27, 1998
4001998
Using temporal logic to control search in a forward chaining planner
F Bacchus, F Kabanza
Proceedings of the 3rd European Workshop on Planning, 141-153, 1995
1851995
Planning control rules for reactive agents
F Kabanza, M Barbeau, R St-Denis
Artificial Intelligence 95 (1), 67-113, 1997
1661997
Handling infinite temporal data
F Kabanza, JM Stevenne, P Wolper
Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of …, 1990
1351990
Decision-theoretic planning with non-Markovian rewards
S Thiébaux, C Gretton, J Slaney, D Price, F Kabanza
Journal of Artificial Intelligence Research 25, 17-74, 2006
1172006
Anytime dynamic path-planning with flexible probabilistic roadmaps
K Belghith, F Kabanza, L Hartman, R Nkambou
Proceedings 2006 IEEE International Conference on Robotics and Automation …, 2006
952006
Opponent Behaviour Recognition for Real-Time Strategy Games.
F Kabanza, P Bellefeuille, F Bisson, AR Benaskeur, H Irandoust
Plan, Activity, and Intent Recognition 10 (5), 2010
912010
Handling infinite temporal data
F Kabanza, JM Stévenne, P Wolper
Journal of computer and System Sciences 51 (1), 3-17, 1995
761995
Evaluation of a machine learning capability for a clinical decision support system to enhance antimicrobial stewardship programs
M Beaudoin, F Kabanza, V Nault, L Valiquette
Artificial intelligence in medicine 68, 29-36, 2016
732016
An E cient Reactive Planner for Synthesizing Reactive Plans
P Godefroid, F Kabanza
Proceedings of AAAI-91, Anaheim CA 2, 640-645, 1991
671991
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
M Barveau, F Kabanza, RS Denis
IEEE Transactions on Automatic Control 43 (11), 1543-1559, 1998
591998
Spartacus attending the 2005 AAAI conference
F Michaud, C Côté, D Létourneau, Y Brosseau, JM Valin, É Beaudry, ...
Autonomous Robots 22, 369-383, 2007
542007
Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition.
F Bisson, H Larochelle, F Kabanza
IJCAI, 918-924, 2015
522015
Controlling the Hypothesis Space in Probabilistic Plan Recognition.
F Kabanza, J Filion, AR Benaskeur, H Irandoust
IJCAI, 2306-2312, 2013
502013
Path-Planning for Autonomous Training on Robot Manipulators in Space.
F Kabanza, R Nkambou, K Belghith, L Hartman
IJCAI 2005, 1729-1731, 2005
452005
Synchronizing Multiagent Plans Using Temporal Logic Specifications.
F Kabanza
ICMAS, 217-224, 1995
431995
Search Control in Planning for Temporally Extended Goals.
F Kabanza, S Thiébaux
ICAPS, 130-139, 2005
422005
Implementing tutoring strategies into a patient simulator for clinical reasoning learning
F Kabanza, G Bisson, A Charneau, TS Jang
Artificial Intelligence in Medicine 38 (1), 79-96, 2006
412006
History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots
KB Lamine, F Kabanza
Proceedings 12th IEEE Internationals Conference on Tools with Artificial …, 2000
402000
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20