Froduald Kabanza - Publications

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

Ben Lamine K. and Kabanza F. Reasoning about Robot Actions: A Model Checking Approach. In: Advances in Plan-Based Control of Robotic Agents. Lecture Notes in Artificial Intelligence, 2466:123-139, 2001./li>
Kabanza F., Bourdua D., and Bénié G. Towards an Intelligent System for Environment Monitoring. Journal on Advanced Environmental Research , 5(4): 327-335, 2001.
Nkambou R. and Kabanza F. Designing Intelligent Tutoring Systems: A Multiagent Planning Approach. Outlook . ACM Special Interest Group for Computer Uses in Education, 27(2):46-60, 2001.
Nkambou R. and Kabanza F. Planning Agents in a Multiagent Intelligent Tutoring System. Proc. of 14th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems . Lecture Notes in Computer Science. 2070: 921-930, 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

Barbeau M., Kabanza F. and St-Denis R. A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Transactions on Automatic Control, 43(11):1543-1559, 1998.
Bacchus F. and Kabanza F. Planning for Temporally Extended Goals. Annals of Mathematics and Artificial Intelligence . Balter, 22:5-27, 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

Bacchus F. and Kabanza F. Planning for Temporally Extended Goals. Proc. of 13th National Conference on Artificial Intelligence (AAAI). MIT Press, pages 1215-1222, 1996.
Kabanza F. On the Synthesis of Situation Control Rules under Exogenous Events, In AAAI Workshop on Theories of Action and Planning , AAAI Press, pages 78-87, 1996.
Kabanza F. and Bacchus F. Using Temporal Logic to Control Search in a Forward Chaining Planner. In Proc. 95 European Workshop on Planning. New Directions in AI Planning. ISO Press, pages 141-153, 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

Bacchus F. and Kabanza F. Applying Decision Theory to Reactive Planning. Proc. of AAAI Spring Symposium on Decision-Theoretic Planning, pp. 1-5, 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

Godefroid and Kabanza. An Efficient Reactive Planner for Synthesizing Reactive Plans. Proc. of National Conference on Artifificial Intelligence (AAAI ), pp. 640-645, 1990.
Kabanza F., St?enne J-M. and Wolper P. Handling Infinite Temporal Data (Extended Abstract). Proc. of Principles of Database Systems (PODS), pp. 392-401, 1990 .
Kabanza F. Synthesis of Reactive Plans for Multi-Path Environments. In Proc. of National Conference on Artificial Intelligence (AAAI ) , pp. 164-169, 1990.