Skip to Main content Skip to Navigation
Book sections

Controlled model exploration

Areces Carlos 1 Gabriel G. Infante-Lopez Maarten de Rijke
1 LANGUE ET DIALOGUE - Human-machine dialogue with a significant language component
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Document type :
Book sections
Complete list of metadata
Contributor : Areces Carlos <>
Submitted on : Tuesday, October 4, 2005 - 7:53:01 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM


  • HAL Id : inria-00000393, version 1



Areces Carlos, Gabriel G. Infante-Lopez, Maarten de Rijke. Controlled model exploration. Balbiani, Ph. and Suzuki, N. and Wolter, F. and Zakharyaschev, M. Advances in Modal Logic, 4 (4), World Scientific Publishing Co. Pte. Ltd., pp.205-220, 2003, 0-95430-062-9. ⟨inria-00000393⟩



Record views