Fausto Giunchiglia
Fausto Giunchiglia
Professor of Computer Science, Università di Trento
disi.unitn.it üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Tropos: An agent-oriented software development methodology
P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos
Autonomous Agents and Multi-Agent Systems 8 (3), 203-236, 2004
22392004
Nusmv 2: An opensource tool for symbolic model checking
A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...
Computer Aided Verification, 241-268, 2002
20592002
NuSMV: A new symbolic model verifier
A Cimatti, E Clarke, F Giunchiglia, M Roveri
Computer Aided Verification (CAV), 1999
8341999
NuSMV: a new symbolic model checker
A Cimatti, E Clarke, F Giunchiglia, M Roveri
International Journal on Software Tools for Technology Transfer (STTT) 2 (4 …, 2000
7742000
S-Match: an algorithm and an implementation of semantic matching
F Giunchiglia, P Shvaiko, M Yatskevich
The semantic web: research and applications, 61-75, 2004
6752004
Local models semantics, or contextual reasoning= locality+ compatibility
C Ghidini, F Giunchiglia
Artificial intelligence 127 (2), 221-259, 2001
5682001
Data management for peer-to-peer computing: A vision
PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...
5312002
C-owl: Contextualizing ontologies
P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt
International Semantic Web Conference, 164-179, 2003
5192003
Semantic matching
F Giunchiglia, P Shvaiko
The Knowledge Engineering Review 18 (03), 265-280, 2003
4842003
Contextual reasoning
F Giunchiglia
Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993
4791993
A theory of abstraction
F Giunchiglia, T Walsh
Artificial Intelligence 57 (2-3), 323-389, 1992
4791992
Multilanguage hierarchical logics, or: how we can do without modal logics
F Giunchiglia, L Serafini
Artificial intelligence 65 (1), 29-70, 1994
4581994
The tropos software development methodology: processes, models and diagrams
F Giunchiglia, J Mylopoulos, A Perini
Proceedings of the 3rd international conference on Agent-oriented software …, 2002
4012002
Semantic matching: Algorithms and implementation
F Giunchiglia, M Yatskevich, P Shvaiko
Journal on Data Semantics IX, 1-38, 2007
3312007
Planning as model checking
F Giunchiglia, P Traverso
Recent Advances in AI Planning, 1-20, 2000
2892000
Contextualizing ontologies
P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt
Web Semantics: Science, Services and Agents on the World Wide Web 1 (4), 325-343, 2004
2852004
Improved automata generation for linear temporal logic
M Daniele, F Giunchiglia, M Vardi
Computer Aided Verification, 681-681, 1999
2521999
Building decision procedures for modal logics from propositional decision procedures—the case study of modal K
F Giunchiglia, R Sebastiani
Automated Deduction—Cade-13, 583-597, 1996
209*1996
Planning via model checking: A decision procedure for AR
A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso
Recent Advances in AI planning, 130-142, 1997
1891997
A knowledge level software engineering methodology for agent oriented programming
P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos
Proceedings of the fifth international conference on Autonomous agents, 648-655, 2001
1822001
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20