Search

Gabbay, D. M., editor, Siekmann, J., editor, Brazdil, Pavel, Giraud-Carrier, Christophe, Soares, Carlos, and Vilalta, Ricardo

Gabbay, D. M., editor, Siekmann, J., editor, Brazdil, Pavel, Giraud-Carrier, Christophe, Soares, Carlos, and Vilalta, Ricardo

Duygulu, Pinar, Baştan, Muhammet, Ozkan, Derya, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Valenti, Roberto, Sebe, Nicu, Gevers, Theo, Cohen, Ira, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Roth, Peter M., Bischof, Horst, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Cord, Matthieu, Gosselin, Philippe-Henri, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Lidy, Thomas, Rauber, Andreas, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Wilson, Simon P., Fauqueur, Julien, Boujemaa, Nozha, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Denoyer, Ludovic, Gallinari, Patrick, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Cunningham, Pádraig, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Cunningham, Pádraig, Cord, Matthieu, Delany, Sarah Jane, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Wilson, Simon P., Dahyot, Rozenn, Cunningham, Pádraig, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Greene, Derek, Cunningham, Pádraig, Mayer, Rudolf, Gabbay, D. M., editor, Siekmann, J., editor, Bundy, A., editor, Carbonell, J. G., editor, Pinkal, M., editor, Uszkoreit, H., editor, Veloso, M., editor, Wahlster, W., editor, Wooldridge, M. J., editor, Aiello, Luigia Carlucci, editor, Baader, Franz, editor, Bibel, Wolfgang, editor, Bolc, Leonard, editor, Boutilier, Craig, editor, Brachman, Ron, editor, Buchanan, Bruce G., editor, Cohn, Anthony, editor, Garcez, Artur d’Avila, editor, del Cerro, Luis Fariñas, editor, Furukawa, Koichi, editor, Gottlob, Georg, editor, Hayes, Patrick J., editor, Hendler, James A., editor, Jameson, Anthony, editor, Jennings, Nick, editor, Joshi, Aravind K., editor, Kamp, Hans, editor, Kay, Martin, editor, Kitano, Hiroaki, editor, Kowalski, Robert, editor, Kraus, Sarit, editor, Lenzerini, Maurizio, editor, Levesque, Hector, editor, Lloyd, John, editor, Mackworth, Alan, editor, Maybury, Mark, editor, Mitchell, Tom, editor, Moore, Johanna D., editor, Muggleton, Stephen H., editor, Nebel, Bernhard, editor, Oviatt, Sharon, editor, Pereira, Luis, editor, Ruqian, Lu, editor, Russell, Stuart, editor, Sandewall, Erik, editor, Steels, Luc, editor, Stock, Oliviero, editor, Stone, Peter, editor, Strube, Gerhard, editor, Sycara, Katia, editor, Tambe, Milind, editor, Tanaka, Hidehiko, editor, Thrun, Sebastian, editor, Tsujii, Junichi, editor, VanLehn, Kurt, editor, Voronkov, Andrei, editor, Walsh, Toby, editor, Webber, Bonnie, editor, Cord, Matthieu, editor, and Cunningham, Pádraig, editor

Benzmüller, Christoph, Rabe, Florian, Sutcliffe, Geoff, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Bouhoula, Adel, Jacquemard, Florent, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

de Moura, Leonardo, Bjørner, Nikolaj, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Nigam, Vivek, Miller, Dale, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Boyer, Benoît, Genet, Thomas, Jensen, Thomas, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Fietzke, Arnaud, Weidenbach, Christoph, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Urban, Josef, Sutcliffe, Geoff, Pudlák, Petr, Vyskočil, Jiří, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

de Moura, Leonardo, Bjørner, Nikolaj, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Comon-Lundh, Hubert, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Navarro, Juan Antonio, Voronkov, Andrei, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Hirokawa, Nao, Moser, Georg, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Bonacina, Maria Paola, Dershowitz, Nachum, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

van Oostrom, Vincent, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Dershowitz, Nachum, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Boy de la Tour, Thierry, Echenim, Mnacho, Narendran, Paliath, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Schack-Nielsen, Anders, Schürmann, Carsten, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Durán, Francisco, Lucas, Salvador, Meseguer, José, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Sato, Haruhiko, Winkler, Sarah, Kurihara, Masahito, Middeldorp, Aart, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Goré, Rajeev, Postniece, Linda, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Otten, Jens, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Kovács, Laura, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Korovin, Konstantin, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Konev, Boris, Walther, Dirk, Wolter, Frank, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Baader, Franz, Peñaloza, Rafael, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Motik, Boris, Horrocks, Ian, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Lutz, Carsten, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Avanzini, Martin, Moser, Georg, Schnabl, Andreas, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Furbach, Ulrich, Glöckner, Ingo, Helbig, Hermann, Pelzer, Björn, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Melquiond, Guillaume, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Schmidt, Renate A., Tishkovsky, Dmitry, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Benzmüller, Christoph, Paulson, Lawrence C., Theiss, Frank, Fietzke, Arnaud, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Kaminski, Mark, Smolka, Gert, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Beierle, Christoph, Kern-Isberner, Gabriele, Koch, Nicole, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Platzer, André, Quesel, Jan-David, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Gacek, Andrew, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Kremer, Steve, Mercier, Antoine, Treinen, Ralf, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor

Barthe, Gilles, Grégoire, Benjamin, Pavlova, Mariela, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Armando, Alessandro, editor, Baumgartner, Peter, editor, and Dowek, Gilles, editor