×

zbMATH — the first resource for mathematics

Traverso, Paolo

Compute Distance To:
Author ID: traverso.paolo Recent zbMATH articles by "Traverso, Paolo"
Published as: Traverso, Paolo; Traverso, P.
Documents Indexed: 17 Publications since 1991, including 3 Books

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 118 times in 98 Documents Cited by Year
Automated planning. Theory & practice. Zbl 1074.68613
Ghallab, Malik; Nau, Dana; Traverso, Paolo
67
2004
Weak, strong, and strong cyclic planning via symbolic model checking. Zbl 1082.68800
Cimatti, A.; Pistore, M.; Roveri, M.; Traverso, P.
27
2003
Strong planning under partial observability. Zbl 1131.68095
Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
10
2006
Task decomposition on abstract states, for planning under nondeterminism. Zbl 1191.68636
Kuter, Ugur; Nau, Dana; Pistore, Marco; Traverso, Paolo
5
2009
Reflective reasoning with and between a declarative metatheory and the implementation code. Zbl 0745.68092
Giunchiglia, Fausto; Traverso, Paolo
3
1991
A dynamic logic for acting, sensing, and planning. Zbl 0965.03040
Spalazzi, Luca; Traverso, Paolo
3
2000
A request language for web-services based on planning and constraint satisfaction. Zbl 1019.68637
Aiello, M.; Papazoglou, Mike P.; Yang, Jian; Carman, M.; Pistore, M.; Serafini, L.; Traverso, P.
1
2002
A system for multi-level mathematical reasoning. Zbl 0808.68094
Giunchiglia, Fausto; Traverso, Paolo
1
1994
A multicontext architecture for formalizing complex reasoning. Zbl 0826.68111
Giunchiglia, Enrico; Traverso, Paolo
1
1995
Task decomposition on abstract states, for planning under nondeterminism. Zbl 1191.68636
Kuter, Ugur; Nau, Dana; Pistore, Marco; Traverso, Paolo
5
2009
Strong planning under partial observability. Zbl 1131.68095
Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
10
2006
Automated planning. Theory & practice. Zbl 1074.68613
Ghallab, Malik; Nau, Dana; Traverso, Paolo
67
2004
Weak, strong, and strong cyclic planning via symbolic model checking. Zbl 1082.68800
Cimatti, A.; Pistore, M.; Roveri, M.; Traverso, P.
27
2003
A request language for web-services based on planning and constraint satisfaction. Zbl 1019.68637
Aiello, M.; Papazoglou, Mike P.; Yang, Jian; Carman, M.; Pistore, M.; Serafini, L.; Traverso, P.
1
2002
A dynamic logic for acting, sensing, and planning. Zbl 0965.03040
Spalazzi, Luca; Traverso, Paolo
3
2000
A multicontext architecture for formalizing complex reasoning. Zbl 0826.68111
Giunchiglia, Enrico; Traverso, Paolo
1
1995
A system for multi-level mathematical reasoning. Zbl 0808.68094
Giunchiglia, Fausto; Traverso, Paolo
1
1994
Reflective reasoning with and between a declarative metatheory and the implementation code. Zbl 0745.68092
Giunchiglia, Fausto; Traverso, Paolo
3
1991
all top 5

Cited by 246 Authors

5 Wooldridge, Michael J.
4 Traverso, Paolo
3 Bertoli, Piergiorgio
3 Bonet, Blai
3 Cimatti, Alessandro
3 Roveri, Marco
3 Stern, Roni
2 Alechina, Natasha
2 Bäckström, Christer
2 Bolander, Thomas
2 Eiter, Thomas
2 Geffner, Hector
2 Giunchiglia, Fausto
2 Gutierrez, Julian
2 Haslum, Patrik
2 Hoffmann, Jörg
2 Immerman, Neil
2 Jonsson, Peter A.
2 Kanovich, Max Iosifovich
2 Kuter, Ugur
2 Lagasquie-Schiex, Marie-Christine
2 Logan, Brian
2 Nau, Dana
2 Ordyniak, Sebastian
2 Saffidine, Abdallah
2 Saffiotti, Alessandro
2 Sardina, Sebastian
2 Srivastava, Siddharth
2 Vauzeilles, Jacqueline
2 Yang, Qiang
2 Yin, Minghao
2 Zhou, Junping
2 Zhuo, Hankz Hankui
2 Zilberstein, Shlomo
1 Achbany, Youssef
1 Achen, Andreas
1 Agostini, Alejandro
1 Ahmadzadeh, Hossein
1 Aiello, Marco
1 Albore, Alexandre
1 Alford, Ron
1 Alves Rocha, Thiago
1 Amgoud, Leila
1 Amir, Eyal
1 Andersen, Mikkel Birkegaard
1 Arangu, Marlene
1 Atzmon, Dor
1 Aucher, Guillaume
1 Bachrach, Yoram
1 Baioletti, Marco
1 Bao, Jiatong
1 Baral, Chitta R.
1 Bastani, Farokh B.
1 Belle, Vaishak
1 Bhatt, Mehul
1 Bi, Sheng
1 Bidot, Julien
1 Bisquert, Pierre
1 Bjäreland, Marcus
1 Borrajo, Daniel
1 Bradfield, Julian Charles
1 Bryant, Randal E.
1 Bulling, Nils
1 Calderon Jaramillo, Andres
1 Cayrol, Claudette
1 Chechik, Marsha
1 Cheng, Yu
1 Cialdea Mayer, Marta
1 Dasgupta, Pallab
1 De Saint-Cyr, Florence Dupin
1 de Silva, Lavindra
1 Delgrande, James P.
1 Dell’Acqua, Pierangelo
1 Deng, Zhihui
1 Devred, Caroline
1 do Lago Pereira, Silvio
1 Do, Minh B.
1 Domshlak, Carmel
1 Dreiman, Gal
1 Du, Hongwei
1 Duan, Zhenhua
1 Dunne, Paul E.
1 Engelfriet, Joeri
1 Eppe, Manfred
1 Fouss, Francois
1 Francis, Michael H.
1 French, Tim
1 Fu, Jicheng
1 Gal, Kobi
1 Garrido, Antonio
1 Gebser, Martin
1 Ghezzi, Carlo
1 Ghidini, Chiara
1 Ghosh, Kamalesh
1 Gierasimczuk, Nina
1 Gigante, Nicola
1 Giunchiglia, Enrico
1 Gnad, Daniel
1 Godo, Lluís
1 Goldman, Robert P.
...and 146 more Authors

Citations by Year