Author of the publication

Multiagent Systems Verification via Model Checking.

, , and . EUROVAV, volume 16 of CEUR Workshop Proceedings, CEUR-WS.org, (1998)

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.

No persons found for author name Giunchiglia, Fausto
add a person with the name Giunchiglia, Fausto
 

Other publications of authors with the same name

Search and Analytics Challenges in Digital Libraries and Archives., and . J. Data and Information Quality, 7 (3): 10:1-10:3 (2016)Fixing Mislabeling by Human Annotators Leveraging Conflict Resolution and Prior Knowledge., , , , and . IMWUT, 3 (1): 32:1-32:23 (2019)Formal Specification of Beliefs in Multi-Agent Systems., , , , and . ATAL, volume 1193 of Lecture Notes in Computer Science, page 117-130. Springer, (1996)Towards an Optimal Solution to Lemmatization in Arabic., , , and . ACLING, volume 142 of Procedia Computer Science, page 132-140. Elsevier, (2018)Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination., and . CIA, volume 2446 of Lecture Notes in Computer Science, page 18-35. Springer, (2002)From ER Models to the Entity Model., and . EKAW (Satellite Events), volume 8982 of Lecture Notes in Computer Science, page 116-119. Springer, (2014)Specification and Integration of Theorem Provers and Computer Algebra Systems., , , and . AISC, volume 1476 of Lecture Notes in Computer Science, page 94-106. Springer, (1998)Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code., and . IJCAI, page 111-117. Morgan Kaufmann, (1991)Computing Abstraction Hierarchies by Numerical Simulation., , , and . AAAI/IAAI, Vol. 1, page 523-529. AAAI Press / The MIT Press, (1996)Local Models Semantics, or contextual reasoning=locality+compatibility., and . Artif. Intell., 127 (2): 221-259 (2001)