( en | de | ru )

 

Disambiguation of "Giunchiglia, Fausto"

Author of the publication

copydeleteadd this publication to your clipboard
Towards an Agent Oriented Approach to Software Engineering.

, , , , and . WOA, page 74-79. Pitagora Editrice Bologna, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fausto Orestano

Fausto Carrasco

Fausto Orestano

Fausto Orestano

Fausto Guzzetti

 

Other publications of authors with the same name

Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics., , and . META, volume 649 of Lecture Notes in Computer Science, page 235-249. Springer, (1992)Knowledge Level Software Engineering., , and . ATAL, volume 2333 of Lecture Notes in Computer Science, page 6-20. Springer, (2001)Tree Subsumption: Reasoning with Outlines., and . ECAI, page 77-81. John Wiley and Sons, (1992)Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System., , , , , and . SAFECOMP, volume 1516 of Lecture Notes in Computer Science, page 284-295. Springer, (1998)Theorem proving in technology transfer: the user's point of view., and . Int. J. Softw. Tools Technol. Transf., 3 (1): 1-12 (2000)Specification and Integration of Theorem Provers and Computer Algebra Systems., , , and . Fundam. Informaticae, 39 (1-2): 39-57 (1999)Human-in-the-loop handling of knowledge drift., , , and . Data Min. Knowl. Discov., 36 (5): 1865-1884 (2022)On Knowledge Diversity., and . JOWO, volume 2518 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)A Taxonomic Classification of WordNet Polysemy Types., , and . GWC, page 106-114. Global Wordnet Association, (2016)GeoEtypes: Harmonizing Diversity in Geospatial Data (Short Paper)., and . OTM Conferences, volume 10033 of Lecture Notes in Computer Science, page 643-653. (2016)