http://www.cnr.it/ontology/cnr/individuo/prodotto/ID311486

Integrating knowledge engineering for planning with Validation and Verification tools (Contributo in atti di convegno)

Type

Label

Integrating knowledge engineering for planning with Validation and Verification tools (Contributo in atti di convegno) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

Orlandini, Andrea; Bernardi, Giulio; Cesta, Amedeo; Finzi, Alberto (2013)
Integrating knowledge engineering for planning with Validation and Verification tools
in AI*IA 2013, Torino, Dicembre 2013
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

http://www.scopus.com/record/display.url?eid=2-s2.0-84892683092&origin=inward (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

Rivista

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Istituto Di Scienze E Tecnologie Della Cognizione, Rome; Universita degli Studi di Napoli Federico II (literal)

Titolo

Integrating knowledge engineering for planning with Validation and Verification tools (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio (Eds) (literal)

Abstract

Knowledge Engineering environments aim at simplifying direct access to the technology for system designers, and the integration of Validation and Verification (V&V) capabilities in such environments may potentially enhance the users trust in the technology. In particular, V&V techniques may represent a complementary technology with respect to Planning and Scheduling (P&S) contributing to develop richer software environments to synthesize a new generation of robust problem-solving applications. This paper presents the integration of classical knowledge engineering features connected to support design of timeline-based P&S applications taking advantage of services of automated V&V techniques such as domain validation, planner validation, plan verification etc. The result is a Knowledge Engineering ENvironment (called KEEN) that exploits a state-of-the-art verification tool, i.e., UPPAAL-TIGA, as core engine to support the design and development of timeline-based planning and scheduling systems. © Springer International Publishing Switzerland 2013. (literal)

Editore