Searching for authors named "Fausto Giunchiglia" – sorted by Relevance.
-
GETFOL Manual
- probe, 12 172 REFERENCES 171 [GW91] F. Giunchiglia and R.W. Weyhrauch. FOL User Manual - FOL version 2
- Add To MetaCart
-
Multilanguage systems
- di Cultura Multilanguage systems Fausto Giunchiglia Mechanized Reasoning Group IRST - Povo, 38100
- Cited by 13 (9 self) – Add To MetaCart
-
Non-Omniscient Belief as Context-Based Reasoning
- Non-omniscient belief as context-based reasoning* Fausto Giunchiglia 1,2 Luciano Serafini 1 Enrico
- Cited by 42 (15 self) – Add To MetaCart
-
Contextual Reasoning
- Fausto Giunchiglia November 1992 Technical Report # 9211-20 c fl Istituto Trentino di Cultura, 1997
- Cited by 60 (4 self) – Add To MetaCart
-
From Tableau-based to SAT-based procedures
- -based procedures -- preliminary report Roberto Sebastiani and Fausto Giunchiglia November 1997 Technical Report
- Add To MetaCart
-
Element Level Semantic Matching
- (Italy), Via Sommarive 14 http://www.dit.unitn.it ELEMENT LEVEL SEMANTIC MATCHING Fausto Giunchiglia
- Cited by 8 (6 self) – Add To MetaCart
-
Implementing Database Coordination in P2P Networks
- Implementing Database Coordination in P2P Networks Fausto Giunchiglia and Ilya Zaihrayeu Dept
- Cited by 4 (3 self) – Add To MetaCart
-
Theorem Proving with Definitions
- Theorem Proving with Denitions Fausto Giunchiglia and Toby Walsh y Department of Articial
- Cited by 7 (5 self) – Add To MetaCart
-
Introduction to contextual reasoning. An Artificial Intelligence perspective
- INTRODUCTION TO CONTEXTUAL REASONING AN ARTIFICIAL INTELLIGENCE PERSPECTIVE Fausto Giunchiglia 1
- Cited by 8 (2 self) – Add To MetaCart
-
A Context-Based Framework for Mental Representation
- A Context-Based Framework for Mental Representation Fausto Giunchiglia and Paolo Bouquet July 1998
- Cited by 6 (2 self) – Add To MetaCart

