Edit Profile (opens in new tab) Kabanza, Froduald Co-Author Distance Author ID: kabanza.froduald Published as: Kabanza, Froduald; Kabanza, F. External Links: MGP Documents Indexed: 12 Publications since 1995 Co-Authors: 13 Co-Authors with 12 Joint Publications 164 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 St-Denis, Richard 3 Barbeau, Michel 2 Bacchus, Fahiem 2 Beaudry, Eric 2 Michaud, François 2 Thiébaux, Sylvie 1 Ben Lamine, Khaled 1 Gretton, Charles 1 Kerjean, Sylvain 1 Nkambou, Roger 1 Slaney, John K. 1 Stévenne, J.-M. 1 Wolper, Pierre all top 5 Serials 2 Artificial Intelligence 1 IEEE Transactions on Automatic Control 1 Journal of Computer and System Sciences 1 Journal of Algorithms 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence Fields 12 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 98 times in 81 Documents Cited by ▼ Year ▼ Using temporal logics to express search control knowledge for planning. Zbl 0939.68827 Bacchus, F.; Kabanza, F. 43 2000 Planning for temporally extended goals. Zbl 1034.68549 Bacchus, Fahiem; Kabanza, Froduald 25 1998 Handling infinite temporal data. Zbl 0831.68034 Kabanza, F.; Stévenne, J.-M.; Wolper, P. 11 1995 Planning control rules for reactive agents. Zbl 0894.68138 Kabanza, F.; Barbeau, M.; St-Denis, R. 7 1997 Decision-theoretic planning with non-Markovian rewards. Zbl 1182.68270 Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F. 5 2006 A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. Zbl 0986.93040 Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard 4 1998 Planning with concurrency under resources and time uncertainty. Zbl 1211.68434 Beaudry, Éric; Kabanza, Froduald; Michaud, François 1 2010 An efficient algorithm for controller synthesis under full observation. Zbl 0888.68064 Barbeau, M.; Kabanza, F.; St-Denis, R. 1 1997 Reasoning about robot actions: A model checking approach. Zbl 1017.68575 Ben Lamine, Khaled; Kabanza, Froduald 1 2002 Planning with concurrency under resources and time uncertainty. Zbl 1211.68434 Beaudry, Éric; Kabanza, Froduald; Michaud, François 1 2010 Decision-theoretic planning with non-Markovian rewards. Zbl 1182.68270 Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F. 5 2006 Reasoning about robot actions: A model checking approach. Zbl 1017.68575 Ben Lamine, Khaled; Kabanza, Froduald 1 2002 Using temporal logics to express search control knowledge for planning. Zbl 0939.68827 Bacchus, F.; Kabanza, F. 43 2000 Planning for temporally extended goals. Zbl 1034.68549 Bacchus, Fahiem; Kabanza, Froduald 25 1998 A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. Zbl 0986.93040 Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard 4 1998 Planning control rules for reactive agents. Zbl 0894.68138 Kabanza, F.; Barbeau, M.; St-Denis, R. 7 1997 An efficient algorithm for controller synthesis under full observation. Zbl 0888.68064 Barbeau, M.; Kabanza, F.; St-Denis, R. 1 1997 Handling infinite temporal data. Zbl 0831.68034 Kabanza, F.; Stévenne, J.-M.; Wolper, P. 11 1995 all cited Publications top 5 cited Publications all top 5 Cited by 171 Authors 3 Bonet, Blai 3 Cimatti, Alessandro 3 Duan, Zhenhua 3 Geffner, Hector 3 Giordano, Laura 3 Jobczyk, Krystian 3 Ligȩza, Antoni 3 Martelli, Alberto 3 Roveri, Marco 3 Tian, Cong 3 Traverso, Paolo 2 Bacchus, Fahiem 2 Baier, Jorge A. 2 Bauer, Andreas 2 Bertoli, Piergiorgio 2 Dasgupta, Pallab 2 De Giacomo, Giuseppe 2 Gelfond, Michael 2 Gerevini, Alfonso Emilio 2 Grädel, Erich 2 Gurevich, Yuri 2 Hindriks, Koen V. 2 Kabanza, Froduald 2 Kuter, Ugur 2 Long, Derek 2 McIlraith, Sheila A. 2 Nau, Dana 2 Patrizi, Fabio 2 Pistore, Marco 2 Poggioni, Valentina 2 Saetti, Alessandro 2 St-Denis, Richard 2 Yang, Kai 2 Zhang, Nan 1 Aiello, Marco 1 Albore, Alexandre 1 Alechina, Natasha 1 Alford, Ron 1 Alkhouri, Ismail 1 Atia, George K. 1 Autexier, Serge 1 Baioletti, Marco 1 Balduccini, Marcello 1 Baral, Chitta R. 1 Barbeau, Michel 1 Barták, Roman 1 Basseda, Reza 1 Baudinet, Marianne 1 Bettini, Claudio 1 Bhattacharjee, G. P. 1 Bherer, Hans 1 Bienvenu, Meghyn 1 Bjäreland, Marcus 1 Boigelot, Bernard 1 Boutilier, Craig 1 Bradley, Elizabeth 1 Brzoska, Christoph 1 Chakrabarti, Partha Pratim 1 Chomicki, Jan 1 Cialdea Mayer, Marta 1 Coles, Andrew 1 Cui, Bin 1 Dasgupta, Anirban 1 Desharnais, Jules 1 Dimopoulos, Yannis 1 Dong, JinSong 1 Dovier, Agostino 1 Du, Hongwei 1 Durfee, Edmund H. 1 Egidi, Lavinia 1 Eiter, Thomas 1 Fainekos, Georgios E. 1 Falcone, Yliès 1 Fox, Maria 1 Fribourg, Laurent 1 Fritz, Christian 1 Gabaldon, Alfredo 1 Gaglione, Jean-Raphaël 1 Ghidini, Chiara 1 Ghosh, Kamalesh 1 Goldman, Robert P. 1 Gordienko, Evgueni I. 1 Halsey, Keith 1 Hansen, Eric A. 1 Haslum, Patrik 1 Haufe, Sebastian 1 Heintz, Fredrik 1 Hogan, Apollo 1 Horty, John F. 1 Hutter, Dieter 1 Jajodia, Sushil 1 Ji, Jianmin 1 Jimenez, Sergio 1 Jonsson, Anders 1 Kaldeli, Eirini 1 Khoumsi, Ahmed 1 Kifer, Michael 1 Kluza, Krzysztof 1 Kuper, Gabriel M. 1 Küster, Jan-Christoph ...and 71 more Authors all top 5 Cited in 24 Serials 30 Artificial Intelligence 5 Theoretical Computer Science 4 Formal Methods in System Design 4 Annals of Mathematics and Artificial Intelligence 3 Discrete Event Dynamic Systems 2 Journal of Computer and System Sciences 2 Journal of Automated Reasoning 2 Journal of Logic, Language and Information 2 Theory and Practice of Logic Programming 1 International Journal of Control 1 Information Processing Letters 1 Automatica 1 Information Sciences 1 Journal of Philosophical Logic 1 Synthese 1 Information and Computation 1 International Journal of Approximate Reasoning 1 Mathematical and Computer Modelling 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Applied Intelligence 1 Journal of Combinatorial Optimization 1 Probability in the Engineering and Informational Sciences 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Logic all top 5 Cited in 8 Fields 75 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 6 Systems theory; control (93-XX) 4 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Difference and functional equations (39-XX) 1 Probability theory and stochastic processes (60-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year