Publications
2007
- Michaud, F., Létourneau, D., Côté, C., Brosseau, Y., Valin, J.-M., Beaudry, E.,
Raïevsky, C., Ponchon, A., Moisan, P., Lepage, P., Morin, Y., Gagnon, F., Giguère, P.,
Roux, M.-A., Caron, S., Frenette, P., and Kabanza, F.
Spartacus Attending the 2005 AAAI Conference.
Autonomous Robots, 22(4):369-383, 2007.
2006
- Belghith K., Kabanza F., Hartman L., Nkambou R.
Anytime Dynamic Path-Planning with Flexible Probabilistic Roadmaps.
Proc. of IEEE International Conference on Robotics and Automation (ICRA), pages 2372-2377, 2006.
- Thiébaux S., Getton C , Slaney J., Price D. and Kabanza F.
Decision-Theoretic Planning with non-Markovian Rewards.
Journal of Artificial Intelligence Research (JAIR), 25(2006):17-74.
- Michaud, F., Létourneau, D., Côté, C., Brosseau, Y., Valin, J.-M., Beaudry, E.,
Raïevsky, C., Ponchon, A., Moisan, P., Lepage, P., Morin, Y., Gagnon, F., Giguère, P.,
Roux, M.-A., Caron, S., Frenette, P., and Kabanza, F.
Spartacus Attending the 2005 AAAI Conference.
To appear in Autonomous Robots, 2006.
- Nkambou R., Belghith K. and Kabanza F.
An Approach to Intelligent Training on a Robotic Simulator Using an Innovative Path-Planner.
Proc. of the 8th International Conference on Intelligent Tutoring Systems ( ITS). LNCS, Vol. 4053, pages 645-654, 2006.
- Kabanza F., Bisson G., Charneau A. and Jang T.-S.
Implementing tutoring strategies into a patient simulator for clinical reasoning learning.
Journal of Artificial Intelligence in Medicine (AIIM), 38(1):79-96, 2006.
- Nkambou R., Belghith K. and Kabanza F.
Generating Tutoring Feedback in an Intelligent training System on a Robotic Simulator.
Proc. of the 19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE).
LNCS, Vol. 4031, pages 838-847, 2006.
- Kerjean S., Kabanza F., St-Denis R. and Thiébaux S.
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress).
Electronic Notes in Theoretical Computer Science 149(2)91-104.
(Proc. of the 3rd Workshop on Model Checking and Artificial Intelligence (MoChArt'05)).
- Albore A., Beaudry E., Bertoli P. and Kabanza F.
Using a contingency planner within a robot architecture.
Workshop on Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds at the European Conference on Artificial Intelligence,
2006.
2005
- Beaudry E., Brosseau Y., Côté C., Raievsky C., Letourneau D., Kabanza F., Michaud F.
Reactive Planning in a Motivated Behavioral Architecture.
Proc. of 20th National Conference on Artificial Intelligence (AAAI-05), 2005.
- Kabanza F. and Rousseau K.
Teaching while selecting images for satellite-based forest mapping.
International Journal of Knowledge-Based & Intelligent Engineering System (KES),
IOS Press, 9(3):183-189, 2005.
- Kabanza F., Nkambou R., and Belghith K.
Path-Planning for Autonomous Training on Robot Manipulators in Space. Poster.
Proc. of International Joint Conference on Artificial Intelligence (IJCAI), pages 1729-1732, 2005.
- Kabanza F. and Thiébaux S.
Search Control in Planning for Temporally Extended Goals.
Proc. of 15th International Conference on Automated Planning and Scheduling (ICAPS-05),
pages 130–139, 2005.
- Kabanza F. and Bisson G.
Clinical Reasoning Learning with Simulated Patients.
Proc. of 10th Conference on Artificial Intelligence in Medicine (AIME-05).
Lecture Notes in Artificial Intelligence, Vol. 3581 pages 385-394, 2005.
- Nkambou R., Belghith K., Kabanza F. and Khan M.
Supporting Training on Canadarm Simulator using a Flexible Path Planner.
Proc. of 12th International Conference on Artificial Intelligence in Education (AIED),
pages 953-955, 2005.
- Beaudry E., Kabanza F. and Michaud F.
Planning for a Mobile Robot to Attend a Conference.
Proc. of 18th Canadian Conference on Artificial Intelligence.
Lecture Notes in Artificial Intelligence, Vol. 3501, pages 48-52, 2005.
- Voirin Y., Kabanza F., Benie G., Beaudry E., and Rousseau K.
Using an Expert System to Update Forest Maps.
Proc. of International Symposium on Environmental Software Systems (ISESS), 2005.
- Belghith K., Kabanza F., Nkambou R., Khan M., and Hartman L.
Roman Tutor: A Robot Manipulation Tutoring Simulator.
System demonstration.
15th International Conference on Automated Planning and Scheduling (ICAPS-05), 2005.
- Michaud F., Brosseau Y., Côté C., Letourneau D., Moisan P., Ponchon P., Raievsky C., Valin J-M., Beaudry E. and Kabanza F.
Modularity and Integration in the Design of a Socially Interactive Robot.
Proc. of 14th IEEE International Workshop on Robot and Human Interactive Communication (RO-MAN 05), 2005.
- Belghith K., Nkambou R., Kabanza F., and Khan M.
Applying path planning to provide tutoring feedback for a robot manipulator.
Proc. of Formal AI Techniques in Computer Based Training (AI-CBT-05), 2005.
- Charneau, A., Kabanza F., Bisson G., Clavette S. and Frappier M.
Implementing Tutoring Feedback into a Clinical Reasoning Learning Simulator.
Proc. of Formal AI Techniques in Computer Based Training (AI-CBT-05), 2005.
2004
- Kabanza F. and Ben Lamine K.
Specifying Failure and Progress Conditions in a Behavior Based Robot Programming System.
Proc. of 5 th Workshop on Cognitive Robotics ,
pages 1-6, 2004.
- Nkambou R., Tchétagni J. and Kabanza F.
Epistemological Remediation in Intelligent Tutoring Systems.
Proc. of the 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert System ,
LNCS, Vol. 3029, pages 955-966, Springer-Verlag, 2004.
- Kabanza F., Shuyun L. and Goodwin, S.
Distributed Hierarchical Task Planning on a Network of Clusters.
Proc. of 16 th International Conference on parallel and distributed computing and systems (PDCS) ,
ACTA PRESS, pages 439-140, 2004.
- Roy J., Nkambou R., Kabanza F., Hartman L. and Jang T-S.
Supporting Spatial Awareness in Training on a Telemanipulator in Space.
Proc. of the 7th International Conference on Intelligent Tutoring Systems (ITS) ,
LNCS, Vol. 3220, Pages 860-863, Springer-Verlag, 2004.
- Ma Z.M., Kabanza F., Belghith K. and Nkambou R.
Towards a Robot Path Planner for Dangerzones and Desirezones.
In Proc. of International Conference on Robotics and Applications,
ACTA PRESS 447-081, 2004.
- Roy J., Kabanza F., Nkambou R., Hartman L. and Jang T-S.
Automatic Generation of Animation Sequences for Training on a Robot Telemanipulator.
Poster at the 27 th German Conference on Artificial Intelligence (KI) , 2004.
2002
- Thiébaux S., Kabanza F. and Slaney J.
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards.
Proc. of 18th Conference on Uncertainty in Artificial Intelligence .
Pages 501 -510 ,Morgan Kaufmann, 2002.
- Thiébaux S., Kabanza F. and Slaney J.
A Model-Checking Approach to Decision-Theoretic Planning with Non-Markovian Rewards.
Proc. of Workshop on Model Checking in Artificial Intelligence, 2002.
- Rousseau, K, Benie, G., Kabanza, F. and Beauchemin, M.
An Expert System for Selecting Remote Sensing Imagery.
Proc. of the 2002 International Geoscience And Remote Sensing Symposium (IGARSS'02),J
une 24-28, 2002.
2001
2000
- Bacchus F. and Kabanza F.
Using Temporal Logic to Express Search Control Knowledge for Planning.
Artificial Intelligence , 116(1-2):123-191, 2000.
- Lamine K.B. and Kabanza F.
Using fuzzy temporal logic for monitoring behaviour-based mobile robots.
IASTED International Conference on Robotics and Applications , pages 116-121, 2000.
- Lamine K.B. and Kabanza F.
History checking of temporal fuzzy logic for monitoring based-based mobile robots.
International Conference on Tools with Artificial Intelligence , pages 312-319, 2000.
- Kabanza F.
SimPlan: A Simulation Based Planner for Reactive Agents.
Proc. of World Multiconference on Systemics, Cybernetics and Informatics.
Published by International Institute of Informatics and Systemics, 3:71-76, 2000.
- Bourdua D., Kabanza F. and Bénié G.
Towards an Intelligent System for Environment Monitoring.
Workshop on Integration in Environmental Information System , Zell am See , Austria , 2000.
1998
1997
- Kabanza F., Barbeau M. and St-Denis R.
Planning Control Rules for Reactive Agents.
Artificial Intelligence , 95(1):67-113, 1997.
- Barbeau M., Kabanza F. and St-Denis R.
An Efficient Algorithm for Controller Synthesis under Full Observation.
Journal of Algorithms , 25(1):144-161, 1997.
- Barbeau M., Frappier M., Kabanza F., and St-Denis R.
A Supervisory Control Synthesis Case-Study: The Antenna Control System.
Proc. of 35th Annual Allerton Conference on Communication, Control and Computing . Urbana-Champaign, 1997.
- Kabanza F. Planning and Verifying Reactive Plans.
Proc. of AAAI Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control .
Providence, Rode-Island, 1997.
1996
1995
- Kabanza F., Stévenne J-M. and Wolper P.
Handling Infinite Temporal Data.
Journal of Computer and System Sciences , 51(1):3-17, 1995.
- Barbeau M., Kabanza F., and St-Denis R.
Synthesizing Plant Controllers Using Real-Time Goals.
Proc. of 14th International Joint Conference on Artificial Intelligence , pages 791-798, 1995.
- Kabanza F.
Synchronizing Multiagent Plans using Temporal Logic Specifications.
Proc. of First International Conference on Multi-Agent Systems , AAAI Press, pages 217--225, 1995.
- Bacchus F. and Kabanza F.
Control Strategies in Planning.
Proc. of the AAAI Spring Symposium on Extending Theories of Action , AAAI Press, pages 5-10, 1995.
- Barbeau M., Kabanza F., and St-Denis R.
Supervisory Control Synthesis from Metric Temporal Logic Specifications.
Proc. of 33th Annual Allerton Conference on Communication, Control, and Computing ,
Urbana-Champaign, 96-105, 1995.
- Barbeau M., Kabanza F., and St-Denis R.
A Comparison of two Synthesis Methods for Timed Discrete-Event Systems.
Proc. of Canadian Conference on Electrical and Computer Engineering, Montreal Canada ,
pages 809--812, 1995.
1994
1992
- Kabanza F. Reactive Planning of Immediate Actions. PhD Thesis.
Collection des publications de la Faculté des Sciences appliquées de l'Université de Liège,
vol. 148, Liège, mars 1996.
1990