Fausto Giunchiglia
#123,914
Most Influential Person Now
Italian computer scientist
Fausto Giunchiglia's AcademicInfluence.com Rankings
Fausto Giunchigliacomputer-science Degrees
Computer Science
#5107
World Rank
#5397
Historical Rank
Artificial Intelligence
#1458
World Rank
#1487
Historical Rank
Database
#2260
World Rank
#2375
Historical Rank
Download Badge
Computer Science
Fausto Giunchiglia's Degrees
- PhD Computer Science University of Genoa
Similar Degrees You Can Earn
Why Is Fausto Giunchiglia Influential?
(Suggest an Edit or Addition)Fausto Giunchiglia's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Tropos: An Agent-Oriented Software Development Methodology (2004) (1957)
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking (2002) (1615)
- NUSMV: a new symbolic model checker (2000) (803)
- NUSMV: A New Symbolic Model Verifier (1999) (708)
- S-Match: an Algorithm and an Implementation of Semantic Matching (2004) (612)
- Local Models Semantics, or Contextual Reasoning = Locality + Compatibility (1998) (576)
- Nusmv version 2: an opensource tool for symbolic model checking (2002) (469)
- Data Management for Peer-to-Peer Computing : A Vision (2002) (459)
- C-OWL: Contextualizing Ontologies (2003) (438)
- Multilanguage hierarchical logics (or: how we can do without modal logics) (1994) (421)
- Semantic matching (2003) (386)
- The tropos software development methodology: processes, models and diagrams (2002) (332)
- Semantic Matching: Algorithms and Implementation (2007) (301)
- Planning as Model Checking (1999) (265)
- Contextualizing ontologies (2004) (255)
- Improved Automata Generation for Linear Temporal Logic (1999) (226)
- A Theory of Abstraction (1992) (200)
- Encoding Classifications into Lightweight Ontologies (2006) (185)
- Planning via Model Checking: A Decision Procedure for AR (1997) (179)
- A knowledge level software engineering methodology for agent oriented programming (2001) (175)
- Mobile social media usage and academic performance (2018) (147)
- Model Checking Multiagent Systems (1998) (139)
- Proceedings of AAAI-96 (1996) (138)
- Discovering Missing Background Knowledge in Ontology Matching (2006) (136)
- Semantic Schema Matching (2005) (135)
- Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K (1996) (134)
- Agent-Oriented Software Engineering III (2003) (129)
- The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings (2006) (122)
- Logic of Time (2009) (120)
- A Large Scale Taxonomy Mapping Evaluation (2005) (120)
- S-Match: An open source framework for matching lightweight ontologies (2012) (95)
- Theories and uses of context in knowledge representation and reasoning (2003) (92)
- Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems (1994) (90)
- Lightweight Ontologies (2009) (90)
- A SAT-based Decision Procedure for ALC (1996) (90)
- Concept Search (2009) (88)
- Element Level Semantic Matching (2004) (85)
- Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination (2002) (84)
- Efficient Semantic Matching (2005) (80)
- Semantic Web Information Management - A Model-Based Perspective (2009) (78)
- From Web Directories to Ontologies: Natural Language Processing Challenges (2007) (76)
- NAtural Language driven Image Generation (1984) (76)
- Non-Omniscient Belief as Context-Based Resoning (1993) (73)
- Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m) (2000) (72)
- Faceted Lightweight Ontologies (2009) (71)
- Local Relational Model: A Logical Formalization of Database Coordination (2003) (70)
- SAT-Based Decision Procedures for Classical Modal Logics (2002) (68)
- GeoWordNet: A Resource for Geo-spatial Applications (2010) (67)
- Abstract Theorem Proving (1989) (63)
- Formal Verification of a Railway Interlocking System using Model Checking (1998) (62)
- RelBAC: Relation Based Access Control (2008) (62)
- Approximate Structure-Preserving Semantic Matching (2008) (58)
- Modeling Early Requirements in Tropos: A Transformation Based Approach (2001) (58)
- Lexical Relations (2020) (56)
- FUR: Understanding functional reasoning (1989) (56)
- Open Knowledge (2008) (55)
- Domains and context: First steps towards managing diversity in knowledge (2012) (55)
- Theories of Abstraction (1997) (54)
- Introduction to Contextual Reasoning. An Artificial Intelligence Perspective (1997) (54)
- More Evaluation of Decision Procedures for Modal Logics (1998) (52)
- Reasoning about Theory Adequacy. A New Solution to the Qualification Problem (1995) (51)
- A Large Scale Dataset for the Evaluation of Ontology Matching Systems (2008) (51)
- A large dataset for the evaluation of ontology matching (2009) (48)
- Publish and perish: why the current publication and review model is killing research and wasting your money (2010) (47)
- Web Explanations for Semantic Heterogeneity Discovery (2005) (46)
- Verification of a safety-critical railway interlocking system with real-time constraints (1998) (46)
- From Knowledge Organization to Knowledge Representation (2014) (45)
- Specification and Integration of Theorem Provers and Computer Algebra Systems (1998) (44)
- Understanding and Exploiting Language Diversity (2017) (43)
- Contextual Reasoning (2002) (43)
- Programming the social computer (2013) (42)
- Towards an Agent Oriented Approach to Software Engineering (2001) (42)
- Using C-OWL for the alignment and merging of medical ontologies (2004) (42)
- A Formal Definition of Culture (2013) (41)
- Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System (1998) (41)
- Language and domain aware lightweight ontology matching (2017) (40)
- A Semantics for Abstraction (2004) (39)
- Ontology Driven Community Access Control (2008) (37)
- What is Local Models Semantics (2002) (37)
- Agent- Oriented Software Development: A Case Study (2001) (37)
- Multi-device activity logging (2014) (35)
- Liquid Publications: Scientific Publications meet the Web (2007) (35)
- The Local Relational Model: Model and Proof Theory (2001) (35)
- Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing (2008) (35)
- Computing Minimal Mappings (2009) (34)
- Reasoning about scene descriptions (1986) (34)
- A Model Checking Algorithm for Multiagent Systems (1998) (34)
- Planning with Failure (1994) (34)
- Towards a Theory of Formal Classification (2005) (34)
- Semantic Web Information Management (2010) (33)
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (2000) (33)
- A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology (2012) (32)
- Semantic Matching with S-Match (2009) (31)
- Managing Diversity in Knowledge (2006) (31)
- Deep Feature-Based Text Clustering and its Explanation (2022) (30)
- Formalizing the Get-Specific Document Classification Algorithm (2007) (29)
- Reflection in Constructive and Non-constructive Automated Reasoning (1989) (29)
- A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (1997) (29)
- The Internet of Musical Things Ontology (2020) (28)
- Ideal and Real Belief about Belief (1996) (28)
- Structure Preserving Semantic Matching (2007) (27)
- Element level semantic matching using WordNet (2006) (27)
- Fixing Mislabeling by Human Annotators Leveraging Conflict Resolution and Prior Knowledge (2019) (26)
- ML Systems: A Proof Theory for Contexts (2002) (26)
- Concepts as (Recognition) Abilities (2016) (25)
- Personal context modelling and annotation (2017) (25)
- Teleologies: Objects, Actions and Functions (2017) (25)
- Concept Search: Semantics Enabled Syntactic Search (2008) (25)
- Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code (1991) (25)
- The Tropos Modeling Language. A User Guide (2002) (24)
- Multi-content systems as a specification framework for complex reasoning systems (1993) (24)
- Open Knowledge: Semantic Webs Through Peer-to-Peer Interaction (2006) (24)
- Relation path embedding in knowledge graphs (2018) (24)
- Using Description Logics in Relation Based Access Control (2009) (24)
- A Metatheory of a Mechanized Object Theory (1996) (24)
- DERA: A Faceted Knowledge Organization Framework (2011) (23)
- Knowledge Level Software Engineering (2001) (22)
- Event detection and scene attraction by very simple contextual cues (2011) (21)
- Using Abstrips Abstractions -- Where do We Stand? (1999) (21)
- Introspective Metatheoretic Reasoning (1994) (20)
- Deep Attention Diffusion Graph Neural Networks for Text Classification (2021) (20)
- ABSFOL: A Proof Checker with Abstraction (1996) (20)
- Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning (1999) (20)
- Relation-Based Access Control: An Access Control Model for Context-Aware Computing Environment (2010) (20)
- Towards Knowledge in the Cloud (2008) (20)
- Tree Subsumption: Reasoning with Outlines (1992) (20)
- Entity Type Recognition - Dealing with the Diversity of Knowledge (2020) (19)
- Scientific Knowledge Objects v.1 (2009) (19)
- A Faceted Ontology for a Semantic Geo-Catalogue (2011) (19)
- GeoWordNet : a resource for geospatial applications (2010) (18)
- Domain-Based Sense Disambiguation in Multilingual Structured Data (2016) (18)
- Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics (1992) (18)
- A Facet-Based Methodology for Geo-Spatial Modeling (2011) (17)
- A Large Scale Dataset for the Evaluation of Matching Systems (2006) (17)
- Towards semantic social networks (2015) (17)
- Calculating Criticalities (1996) (17)
- CogNet: A Large-Scale Cognate Database (2019) (17)
- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective (2005) (16)
- Mobile Social Media and Academic Performance (2017) (16)
- Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions (2003) (16)
- A Foundation for Metareasoning Part I: The Proof Theory (2002) (15)
- The Social Computer: Combining Machine and Human Computation (2010) (15)
- Scientific knowledge object patterns (2010) (15)
- A Hybrid Machine-Crowd Approach to Photo Retrieval Result Diversification (2014) (15)
- Named Entity Recognition for Mongolian Language (2015) (15)
- Mapping large-scale Knowledge Organization Systems (2009) (14)
- Peer-to-Peer Knowledge Management (2005) (14)
- Lightweight Parsing of Classifications into Lightweight Ontologies (2010) (14)
- Model Checking Security Protocols Using a Logic of Belief (2000) (14)
- Privacy for Peer Profiling in Collective Adaptive Systems (2014) (14)
- Save Up to 99% of Your Time in Mapping Validation (2010) (13)
- The Semantic Web Languages (2009) (13)
- Recognizing hospital care activities with a coat pocket worn smartphone (2014) (13)
- A collaborative Platform for multilingual Ontology Development (2015) (13)
- Foundations for the representation of diversity, evolution, opinion and bias (2009) (13)
- GeoEtypes: Harmonizing Diversity in Geospatial Data (Short Paper) (2016) (13)
- Query Processing in Ontology-Based Peer-to-Peer Systems (2005) (12)
- On the Interdisciplinary Foundations of Diversity (2009) (12)
- Interactive Label Cleaning with Example-based Explanations (2021) (12)
- Implementing Database Coordination in P2P Networks (2003) (12)
- Towards Explaining Semantic Matching (2004) (12)
- Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology (2002) (12)
- Web Service Composition via Semantic Matching of Interaction Specifications (2006) (12)
- Implicit Culture-Based Personal Agents for Knowledge Management (2003) (12)
- SmartSociety -- A Platform for Collaborative People-Machine Computation (2015) (12)
- Towards an Optimal Solution to Lemmatization in Arabic (2018) (11)
- Computing minimal mappings between lightweight ontologies (2012) (11)
- A Foundation for Metareasoning Part II: The Model Theory (2002) (11)
- Mulitlanguage First Order Theories of Propositional Attitudes (1991) (11)
- MorphyNet: a Large Multilingual Database of Derivational and Inflectional Morphology (2021) (11)
- Cross-Border Medical Research Using Multi-Layered and Distributed Knowledge (2020) (11)
- A single-model approach for Arabic segmentation, POS tagging, and named entity recognition (2018) (11)
- Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies (2007) (11)
- A Context-Based Framework for Mental Representation (2007) (11)
- Approaching Regular Polysemy in WordNet (2013) (11)
- Formal specification of beliefs in multi-agent systems (1996) (11)
- Stratified Data Integration (2021) (11)
- Healthcare Data Safe Havens: Towards a Logical Architecture and Experiment Automation (2016) (11)
- A Logic of Belief and a Model Checking Algorithm for Security Protocols (2000) (11)
- Towards Visual Semantics (2021) (11)
- Continual egocentric object recognition (2019) (10)
- Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World (1995) (10)
- An experiment in managing language diversity across cultures (2014) (10)
- Putting human behavior predictability in context (2021) (10)
- From Descriptions to Images: What Reasoning in between? (1984) (10)
- Description of alignment evaluation and benchmarking results (2007) (10)
- Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas (1988) (10)
- Converting Classifications into OWL Ontologies (2008) (10)
- OpenKnowledge Deliverable 6.5: Emergency response in an open information systems environment (2006) (9)
- Some Basic Mechanisms for Common Sense Reasoning About Stories Environments (1983) (9)
- Artificial Intelligence: Methodology, Systems, and Applications (1998) (9)
- The SAT-Based Approach for Classical Modal Logics (1999) (9)
- Social events and social ties (2013) (9)
- Multi-context Systems as a Specification Framework for Complex . . . (1992) (9)
- Regular Polysemy in WordNet and Pattern based Approach (2013) (9)
- Theorem proving with definitions (1989) (9)
- Mitigating Bias in Algorithmic Systems—A Fish-eye View (2021) (9)
- A New Method for Testing Decision Procedures in Modal and Terminological Logics (1996) (9)
- A General Purpose Reasoner for Abstraction (1996) (9)
- Towards Understanding Classification and Identification (2019) (8)
- A large and evolving cognate database (2021) (8)
- Learning in the Wild with Incremental Skeptical Gaussian Processes (2020) (8)
- Topological Regularization for Graph Neural Networks Augmentation (2021) (8)
- Building the Mongolian WordNet (2019) (8)
- The History of Temporal Data Visualization and a Proposed Event Centric Timeline Visualization Model (2013) (8)
- Computing Abstraction Hierarchies by Numerical Simulation (1996) (8)
- Personal Context Recognition Via Reliable Human-Machine Collaboration (2018) (8)
- OpenKnowledge Deliverable 3.1.: Dynamic Ontology Matching: a Survey (2006) (8)
- (Unseen) event recognition via semantic compositionality (2012) (8)
- A Major Wordnet for a Minority Language: Scottish Gaelic (2020) (7)
- Millikan + Ranganathan - From Perception to Classification (2021) (7)
- Indexing media by personal events (2012) (7)
- Reasoning Theories (2001) (7)
- The OMRS project: State of the art (1998) (7)
- Automating Meta-Theory Creation and System Extension (1991) (7)
- Life logging practice for human behavior modeling (2012) (7)
- The Theory, Practice, and Ethical Challenges of Designing a Diversity-Aware Platform for Social Relations (2021) (7)
- A Taxonomic Classification of WordNet Polysemy Types (2016) (7)
- Model Checking-Based Analysis of Multiagent Systems (2000) (6)
- A formal definition of culture of a set of agents: the version without states (2009) (6)
- The use of abstraction in automatic inference (1990) (6)
- The CUBRIK project: human-enhanced time-aware multimedia search (2012) (6)
- Abstraction in Planning via Model Checking (1998) (6)
- Understanding Scene Descriptions by Integrating Different Sources of Knowledge (1992) (6)
- Entity-Centric Visualization of Open Data (2015) (6)
- Proceedings of the 4th International Workshop on Ontology Matching (OM-2009) collocated with the 8th International Semantic Web Conference (ISWC-2009) Chantilly, USA, October 25, 2009 (2009) (6)
- Towards provably correct system synthesis and extension (1996) (6)
- “End to End” Towards a Framework for Reducing Biases and Promoting Transparency of Algorithmic Systems (2019) (6)
- Concept-level Debugging of Part-Prototype Networks (2022) (6)
- P2P CONCEPT SEARCH: SOME PRELIMINARY RESULTS (2009) (6)
- Proceedings of the IJCAI-03 Workshop on Ontologies and Distributed Systems (2003) (6)
- Artificial intelligence in 2027 (2018) (6)
- The SIGMORPHON 2022 Shared Task on Morpheme Segmentation (2022) (6)
- Living Knowledge (2012) (6)
- Media Aggregation via Events (2010) (6)
- Foundations of Digital Universities (2017) (6)
- A New Method for Testing Decision Procedures in Modal Logics (1997) (6)
- Compound Noun Polysemy and Sense Enumeration in WordNet (2015) (6)
- Clues of Personal Events in Online Photo Sharing (2011) (5)
- Approximate Semantic Tree Matching in OpenKnowledge (2006) (5)
- Modeling Recipes for Online Search (2016) (5)
- Visual Ground Truth Construction as Faceted Classification (2022) (5)
- Solving Specialization Polysemy in WordNet (2013) (5)
- Theorem proving in technology transfer: the user’s point of view (2000) (5)
- Ideal and Real Belief aobout Belief: Some Intuitions (1996) (5)
- ScienceTreks: an autonomous digital library system (2008) (5)
- Toward a Unified Framework for Debugging Gray-box Models (2021) (5)
- Improving Time Use Measurement with Personal Big Data Collection – The Experience of the European Big Data Hackathon 2019 (2020) (5)
- Representativeness and Diversity in Photos via Crowd-Sourced Media Analysis (2012) (5)
- Knowledge Coordinating Knowledge Sharing through Peer – to – Peer Interaction (2008) (5)
- Importing from Functional Knowledge Bases - A Preview (2007) (5)
- Formalizing Context (expanded Notes) the Development of These Ideas Has Beneetted from Discussions With (1997) (5)
- Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem (1995) (5)
- Lifelog event management: crowd research case study (2011) (5)
- On Knowledge Diversity (2013) (5)
- A Local Models Semantics for Propositional Attitudes (2000) (5)
- Formal Theories for Reactive Planning Systems: some considerations raised from an experimental application (1996) (5)
- Two-layered architecture for peer-to-peer concept search (2011) (5)
- Search and Analytics Challenges in Digital Libraries and Archives (2016) (5)
- Benchmarking methodology for good enough answers (2008) (5)
- Composing and Controlling Search in Reasoning Theories Using Mappings (2000) (5)
- Language Diversity: Visible to Humans, Exploitable by Machines (2022) (4)
- Assessing Annotation Consistency in the Wild (2018) (4)
- SKO Types: an entity-based scientific knowledge objects metadata schema (2015) (4)
- Personal Agents for Implicit Culture Support (2002) (4)
- Provenance in Open Data Entity-Centric Aggregation (2014) (4)
- Service Integration through Structure-Preserving Semantic Matching (2009) (4)
- Representation Heterogeneity (2022) (4)
- Semantic Enabled Role Based Social Network (2012) (4)
- Managing Language Diversity Across Cultures: the English-Mongolian Case Study (2013) (4)
- Human-in-the-loop handling of knowledge drift (2021) (4)
- The inevitability of inconsistent abstract spaces (1993) (4)
- Program tactics and logic tactics (1994) (4)
- Exploring the Language of Data (2020) (4)
- A Database and Visualization of the Similarity of Contemporary Lexicons (2021) (4)
- Ontology-Based Obfuscation and Anonymisation for Privacy - A Case Study on Healthcare (2015) (4)
- Service Bus (2009) (4)
- OpenKnowledge Deliverable 3.3.: A methodology for ontology matching quality evaluation (2007) (4)
- Access control via lightweight ontologies (2011) (4)
- 5 Conclusions and Future Work (1997) (4)
- Semantic flooding: Search over semantic links (2010) (4)
- A Many‐Sorted Natural Deduction (1998) (4)
- The open platform for personal lifelogging: the eLifeLog architecture (2013) (3)
- Human-Like Context Modelling for Robot Surveillance (2017) (3)
- Ontology-Driven Cross-Domain Transfer Learning (2020) (3)
- International Doctorate School in Information and Communication Technologies (2011) (3)
- Lifelog Data Model and Management: Study on Research Challenges (2012) (3)
- TOWARDS HYBRID AND DIVERSITY-AWARE COLLECTIVE ADAPTIVE SYSTEMS (2013) (3)
- An Innovation Ecosystem beyond the Triple Helix Model: The Trentino’s Case (2016) (3)
- Diversicon: Pluggable Lexical Domain Knowledge (2019) (3)
- Designinig Coordination among Human and Software Agents (2002) (3)
- Introduction to the Special Issue on Semantic Web Data Management (2012) (3)
- Few-shot Node Classification on Attributed Networks with Graph Meta-learning (2022) (3)
- Glocal Multimedia Retrieval (2009) (3)
- Object Recognition as Classification via Visual Properties (2021) (3)
- A multilingual ontology matcher (2015) (3)
- A Semantic-Based Information Management System to Support Innovative Product Design (2003) (3)
- An entity-based platform for the integration of social and scientific services (2012) (3)
- Ranking Schemas by Focus: A Cognitively-Inspired Approach (2021) (3)
- High Quality Photo Collection via Gamification (2015) (3)
- A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools (1998) (3)
- A Distributed Entity Directory (2013) (3)
- Integrating SAT solvers with domain-specific reasoners (2000) (3)
- A system for multi-level mathematical reasoning (1994) (3)
- Using Linguistic Typology to Enrich Multilingual Lexicons: the Case of Lexical Gaps in Kinship (2022) (3)
- The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics (2001) (3)
- Multi-Modal Subjective Context Modelling and Recognition (2020) (3)
- A large and evolving cognate database (2021) (3)
- A Semantic-Enabled Engine for Mobile Social Networks (2013) (3)
- Ontology matching OM-2010 (2010) (3)
- Reasoning about Relation Based Access Control (2010) (3)
- QROWD: Because big data integration is humanly possible (2018) (3)
- Multiagent Systems Verification via Model Checking (1998) (3)
- Using Grice Maxims In Ranking Community Question Answers (2018) (3)
- Mechanized Reasoning Systems : a Preliminary Report ? (1998) (3)
- TrentoTeam at SemEval-2017 Task 3: An application of Grice Maxims in Ranking Community Question Answers (2017) (3)
- An Incompleteness Theorem via Abstraction (1996) (3)
- Generalization and Personalization of Mobile Sensing-Based Mood Inference Models (2022) (3)
- Agent-Oriented Software Engineering (2002) (3)
- Open Social Systems (2020) (2)
- Design and Run Time Reasoning with RelBAC (2008) (2)
- Dealing with expected and unexpected obstacles (1996) (2)
- Knowledge Science, Engineering and Management (2018) (2)
- Dealing with Mislabeling via Interactive Machine Learning (2020) (2)
- *SAT, KSATC, DLP and TA: a comparative analysis (1999) (2)
- Autonomous Ontology : Operations and Semantics OR Local Semantics with Semantic Binding on Foreign Entity (2006) (2)
- Empowering Users in Online Open Communities (2021) (2)
- Hierarchical Meta-Logics - Some Proof Theoretical Results (1993) (2)
- Minimalist Metadata Visualization: The Minimal Set of Context Dependent Attributes for Entity Identification (2013) (2)
- Streaming and Learning the Personal Context (2021) (2)
- UniMorph 4.0: Universal Morphology (2022) (2)
- Towards Algorithmic Transparency: A Diversity Perspective (2021) (2)
- A Distributed Directory System (2013) (2)
- PHOTO ANNOTATIONS: PRESERVATION OF CONTENTS AND CONTEXTS (2012) (2)
- PNMTA: A Pretrained Network Modulation and Task Adaptation Approach for User Cold-Start Recommendation (2022) (2)
- Coordinating Mobile Databases: A System Demonstration (2004) (2)
- A Logic Level Specification of the NQTHM Simplification Process (1997) (2)
- SemUI: A Knowledge Driven Visualization of Diversified Data (2017) (2)
- Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem (1997) (2)
- Towards a Distributed Architecture for Value Added Services to Digital Libraries (2005) (2)
- An Epistemological Science of Common Sense (1995) (2)
- The control component of open mechanized reasoning systems (1999) (2)
- Evaluating Good Answers in Open Knowledge (2007) (2)
- Improving Abusive Language Detection with online interaction network (2022) (2)
- Hybrid Human Machine workflows for mobility management (2019) (2)
- ZiNet: Linking Chinese Characters Spanning Three Thousand Years (2022) (2)
- Web service integration via matching of interaction specifications (2008) (2)
- Coordinating Mobile Databases (2004) (2)
- A Metadata-Enabled Scientific Discourse Platform (2010) (2)
- Lightweight Parsing of Natural Language Metadata (2009) (2)
- Human-Like Context Sensing for Robot Surveillance (2018) (2)
- Proving TheoremsBy Using Abstraction Interactively (1994) (2)
- Graph topology enhancement for text classification (2022) (2)
- Social tagging: Semantics are actually used (2008) (2)
- Supporting Scientific Inclusion: Novel Approaches for the Representation and Assessment of Scientific Knowledge Objects (2010) (2)
- Space Representation and Object Positioning in Natural Language Driven Image Generation (1984) (2)
- NuSmv : a reimplementation of (2007) (2)
- A Multitask Learning Framework for Abuse Detection and Emotion Classification (2022) (2)
- From Software to Artifacts: Supporting the Current Scientific Knowledge Needs (2010) (2)
- Proceedings of the 9th International Conference on Cooperative Information Systems (2001) (2)
- Finding Errors in a Chinese Lexico-Semantic Resource Using GWAP (2017) (2)
- The Fur Project: Understanding Functional Reasoning (1988) (1)
- Proc. 2nd ISWC 2007 international workshop on ontology matching (OM) (2007) (1)
- A Joint-Training Two-Stage Method For Remote Sensing Image Captioning (2022) (1)
- Secret-Key Encryption (2009) (1)
- Skeptical Learning - An Algorithm and a Platform for Dealing with Mislabeling in Personal Context Recognition (2022) (1)
- Introduction to the special section on internet-scale human problem solving (2013) (1)
- Proceedings of the 2nd International Workshop on Ontology Matching (OM-2007) Collocated with the 6th International Semantic Web Conference (ISWC-2007) and the 2nd Asian Semantic Web Conference (ASWC-2007), Busan, Korea, November 11, 2007 (2008) (1)
- TwoLayered Architecture for PeertoPeer Concept Search (2010) (1)
- OpenKnowledge Deliverable D 4 . 1 Approximate Semantic Tree Matching in OpenKnowledge (2006) (1)
- Proceedings of the 10th International Workshop on Ontology Matching collocated with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, PA, USA, October 12, 2015 (2016) (1)
- LiveSchema: A Gateway Towards Learning on Knowledge Graph Schemas (2022) (1)
- iTelos- Building reusable knowledge graphs (2021) (1)
- Building Heterogeneous Multi-context Systems by Semantic Bindings (2009) (1)
- Understanding Natural Language Metadata (2010) (1)
- Background knowledge in ontology matching (2007) (1)
- Specification of the good enough answer component (2008) (1)
- From ER Models to the Entity Model (2014) (1)
- Model Checking Syllabi and Student Carreers (2001) (1)
- IndoUKC: A Concept-Centered Indian Multilingual Lexical Resource (2022) (1)
- Contexts, locality and generality (1996) (1)
- Cooperative Information Systems (2001) (1)
- OpenKnowledge Deliverable 3.4.: Specification ontology matching component (2007) (1)
- Statistical Decision Techniques (2009) (1)
- Combining Crowdsourcing and Crowdsensing to Infer the Spatial Context (2018) (1)
- Context Enabled Query and Minimalist Metadata Visualization: A Context Bound Approach for User and Content (2013) (1)
- Ontology-Based Obfuscation and Anonymisation for Privacy (2019) (1)
- Modeling and using context (1998) (1)
- Implementation of the Ontology Matching Component (2008) (1)
- Context-based Media Geotagging of Personal Photos (2013) (1)
- Distributed Name-based Entity Search (2012) (1)
- 2 a Theory of Abstraction Using Abstraction (1990) (1)
- Artificial intelligence : methodology, systems, and applications : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998 : proceedings (1998) (1)
- EASTWEB: building an integrated leading Euro-Asian higher education and research community in the field of the Semantic WEB (2006) (1)
- Plug-in component supporting query answering (2008) (1)
- Approximate structure preserving semantic matching (2008) (1)
- Good Enough Answer Algorithms (2008) (1)
- Is this Enough?-Evaluation of Malayalam Wordnet (2021) (1)
- Personal photo indexing (2012) (1)
- KR2002: proceedings of the 8th international conference on principles of knowledge representation and reasoning: Toulouse, France, April 22-25, 2002 (2002) (1)
- Lifelong Personal Context Recognition (2022) (1)
- OpenKnowledge FP 6-027253 D 3 . 7 Summative report on matching implementation and benchmarking results (2008) (1)
- A Comparison between Vector Quantization and Hidden Markov Mod- Els in Text Independent Speech Recognition Systems. Irst (1)
- Modeling Multiagent Systems with Local Model Semantics (1999) (1)
- Toward a Unified Framework for Debugging Concept-based Models (2021) (1)
- Semantic flooding (2011) (1)
- How Universal is Metonymy? Results from a Large-Scale Multilingual Analysis (2022) (1)
- Representing Habits as Streams of Situational Contexts (2022) (1)
- Introduction to the Special Volume on Reformulation (2005) (1)
- Eudaimonia and Behavior Change: Incorporating negative feelings into Game Design elements (2020) (1)
- Property-based entity type graph matching (2021) (1)
- Semantic flooding Semantic search across distributed lightweight ontologies (2010) (1)
- Building a Lexico-Semantic Resource Collaboratively (2018) (1)
- Relation Based Access Control: Logic and Policies (2010) (1)
- iTelos -- Purpose Driven Knowledge Graph Generation (2021) (1)
- Transparency Paths - Documenting the Diversity of User Perceptions (2021) (1)
- Complex Daily Activities, Country-Level Diversity, and Smartphone Sensing: A Study in Denmark, Italy, Mongolia, Paraguay, and UK (2023) (0)
- 8 Related Work (0)
- Federated Multi-Task Attention for Cross-Individual Human Activity Recognition (2022) (0)
- Robots as Transitional Objects for Young Children (2022) (0)
- Agents as Reasoners, Observers, or Arbitrary Believers (1995) (0)
- Lock Tuning (2009) (0)
- 4 Extensions and Future Work 3.3 Symbolic Layer (2007) (0)
- Istituto per La Ricerca Scientifica E Tecnologica Model Checking Multiagent Systems Model Checking Multiagent Systems (1997) (0)
- A Model Based Decision Procedure for Common Sense Temporal Reasoning (0)
- An Architecture and a Methodology Enabling Interoperability within and across Universities (2022) (0)
- Enhancing Ontology Translation Through Cross-Lingual Agreement (2023) (0)
- OpenKnowledge FP 6-027253 Comparison of Mapping Techniques (2008) (0)
- Explorer A multilingual ontology matcher (2017) (0)
- LFDNN: A Novel Hybrid Recommendation Model Based on DeepFM and LightGBM (2023) (0)
- OpenKnowledge FP 6-027253 Benchmarking Methodology for Good Enough Answers Coordinator : (2008) (0)
- Tuning Ontology Interoperability (2005) (0)
- The Quality of Lexical Semantic Resources: A Survey (2021) (0)
- Distributed directory system: A healthcare use case for rural areas (2015) (0)
- Autonomous Ontology: Operations and Semantics (2006) (0)
- LiveSchema: A Gateway to Relational Data Analysis and Transformation (2021) (0)
- OpenKnowledge FP 6-027253 Ontology Translation Framework (2008) (0)
- Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines (1987) (0)
- Position on Interoperability Everywhere Under IoT-ARM (2015) (0)
- ODBASE 2008 PC Co-chairs' Message (2008) (0)
- Incremental Image Labeling via Iterative Refinement (2023) (0)
- D3.7 Summative report on matching implementation and benchmarking results (2009) (0)
- OpenKnowledge FP 6-027253 Good enough answer plug-in component Coordinator (2008) (0)
- Cross-Domain Meta-Learner for Cold-Start Recommendation (2022) (0)
- Assessing Ontologies Usage Likelihood via Search Trends (2020) (0)
- Proceedings of the 4th International Workshop on Semantic Web Information Management (2011) (0)
- Toward an Architecture for Open Mechanized Reasoning Systems (2001) (0)
- A Practical Framework for Rel BAC Implementation. (2015) (0)
- SUNET: Speaker-utterance interaction Graph Neural Network for Emotion Recognition in Conversations (2023) (0)
- uk Programming the social computer (2013) (0)
- SWebB: Semantic Web Browsing (2005) (0)
- Towards Ranking Schemas by Focus (2023) (0)
- Recognizing Entity Types via Properties (2023) (0)
- Istituto per La Ricerca Scientifica E Tecnologica Nusmv: a Reimplementation of Smv Nusmv: a Reimplementation of Smv (1998) (0)
- IJCAI Organization (2007) (0)
- Proceedings of the Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), Lecture Notes in Artificial Intelligence, vol. 2680 (2003) (0)
- LiquidPub D1.2. SKO structure, evolution, and navigation models (v3) (2011) (0)
- P 2 P Concept Search : Some Preliminary Results (2009) (0)
- Fixing Mislabeling by Human Annotators via Conflict Resolution and the Exploitation of Prior Knowledge (2019) (0)
- Proceedings of the Fifth Workshop on Semantic Web Information Management, SWIM@SIGMOD Conference 2013, New York, NY, USA, June 23, 2013 (2013) (0)
- Special Issue of the journal Artificial Intelligence on Reformulation (2001) (0)
- Popularity Driven Data Integration (2022) (0)
- Erratum to: Provenance in Open Data Entity-Centric Aggregation (2014) (0)
- Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 (2002) (0)
- References 5 Conclusions and Future Work (1997) (0)
- CONTROL VIA LIGHTWEIGHT ONTOLOGIES (2011) (0)
- A Formal Perspective on Relation Based Access Control (2009) (0)
- Model Checking Multiagent Systems ( Extended Abstract ) (2008) (0)
- Evaluation of a multiprocessor structure for image processing (1987) (0)
- A Multi-agent System based on Implicit Culture (2003) (0)
- Classifying concepts via visual properties (2021) (0)
- Interoperating Vocabularies in Multilingual Domain Data (2022) (0)
- Open Mechanized Reasoning Systems Proposal to Nsf Principal Investigator Participating Investigators (1992) (0)
- Proceedings of the 8th International Conference on Ontology Matching - Volume 1111 (2006) (0)
- Spatial Analysis (2018) (0)
- LiquidPub D1.3. LiquidPub Core Platform (2011) (0)
- Guaranteeing Correctnessthrough the Communication ofCheckable Proofs ( or : Would You Really Trust an Automated ReasoningSystem ? ) Xiaorong Huang Manfred KerberMichael Kohlhase Dan Nesmith (2007) (0)
- Representation Heterogeneity (short paper) (2022) (0)
- Guest Editorial: Introduction to the Special Section on Communication-Efficient Distributed Machine Learning (2022) (0)
- - 1-Data Management for Peer-to-Peer Computing : A Vision 1 (2002) (0)
- A Context Model for Personal Data Streams (2022) (0)
- Computing minimal mappings between lightweight ontologies (2012) (0)
- 7 Conclusion and Results 5 Functional Speciication of the Logger/checker (0)
- One World - Seven Thousand Languages (Best Paper Award, Third Place) (2018) (0)
- Relation Based Access Control: Logic and Policies Relation Based Access Control: Logic and Policies (0)
- Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources (2005) (0)
- Relation path embedding in knowledge graphs (2018) (0)
- OpenKnowledge FP 6-027253 Specification of the Good Enough Answer Component (2008) (0)
- Statistical Disclosure Control (SDC) (2009) (0)
- OpenKnowledge FP 6-027253 Good Enough Answer Algorithms (2007) (0)
- Is your Schema Good Enough to Answer my Query? (2021) (0)
- Chapter 1 Semantic matching with S-Match ? (2009) (0)
- A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology (2012) (0)
- European Semantic Web Conference 2009-Fausto Giunchiglia, Uladzimir Kharkevich and Ilya Zaihrayeu. Concept Search (2012) (0)
- Events as media and knowlege aggregators (2010) (0)
- Learning in Streams (2009) (0)
- Link Analysis (2009) (0)
- Reasoning About Acting , Sensing , andFailure Handling : A Logic for AgentsEmbedded in the Real (1996) (0)
- Chapter 2: The Semantic Web Languages (2010) (0)
- Edinburgh Research Explorer Language and domain aware lightweight ontology matching (2017) (0)
- Abstraction and Problem Reformulation (1992) (0)
- SAT-BasedDecision Procedures for Automated Reasoning: AUnifying Perspective (2005) (0)
- Agents as Reasoners, Observers or Believers (1995) (0)
- Aligning Visual and Lexical Semantics (2022) (0)
- Model Checking−based Analysis of Multiagent Systems Limited Distribution Notice (2001) (0)
- Proceedings of the 3rd International Workshop on Ontology Matching (OM-2008) Collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26, 2008 (2008) (0)
- A Simple Contrastive Learning Framework for Interactive Argument Pair Identification via Argument-Context Extraction (2022) (0)
- A Multi-agent System for Knowledge Management based on the Implicit Culture Framework (2002) (0)
- Locality-Preserving Mapping (2009) (0)
- Deployable and Continuable Meta-learning-Based Recommender System with Fast User-Incremental Updates (2022) (0)
- Proceedings of the 8th international conference on Agent-oriented software engineering VIII (2002) (0)
- Representing Interlingual Meaning in Lexical Databases (2023) (0)
- Proceedings of the First Asian conference on The Semantic Web (2006) (0)
- Twelfth International Workshop Modelling and Reasoning in Context (2021) (0)
- Service Choreography (2009) (0)
- Journal on Data Semantics VIII (2007) (0)
- Measuring and mitigating language model biases in abusive language detection (2023) (0)
- A Practical Framework for RelBAC Implementation (2015) (0)
- Dealing with Mislabeling via Interactive Machine Learning (2020) (0)
- Report on the CyCAT winter school on fairness, accountability, transparency and ethics (FATE) in AI (2021) (0)
- Senior Program Committee Members (2004) (0)
- Service Item (2020) (0)
- Property-Based Semantic Similarity Criteria to Evaluate the Overlaps of Schemas (2021) (0)
- Istituto per La Ricerca Scientifica E Tecnologica Certification of Translators via Off- Line and On-line Proof Logging and Checking Certiication of Translators via Oo-line and On-line Proof Logging and Checking (2007) (0)
- Integrating SAT solvers with domain-specific reasoners (poster session) (2001) (0)
- ATOM: Ontology Aware Transportation Model (2017) (0)
- Proceedings of Languages, Methodologies and Development Tools for Multi-agent Systems workshop (2008) (0)
- ODS 2003, Proceedings of the IJCAI-03 Workshop on Ontologies and Distributed Systems : Acapulco, August 9th, 2003 (2003) (0)
- D1.2 Design of the Sko Structural Model and Evolution Version 2 (2011) (0)
- A Semantics for Abstraction a Semantics for Abstraction (2003) (0)
- AN ENTITY MODEL FOR ONLINE RECIPE SEARCH (2016) (0)
- Large-scale Structural Reranking for Hierarchical Text Categorization (2013) (0)
- Good enough answer plug-in component (2008) (0)
- Storage Array (2009) (0)
- LIGHTWEIGHT PARSING OF CLASSIFICATIONS (2010) (0)
- Using Abstraction Interactively (2007) (0)
- Putting human behavior predictability in context (2021) (0)
- The SemanticWeb Languages (2009) (0)
- An Interactive Platform for Multilingual Linguistic Resource Enrichment (2014) (0)
- Summarization of Concepts for Visual Disambiguation (2011) (0)
- Classifications and lightweight (2007) (0)
- A General Purpose Reasoner for Abstraction a General Purpose Reasoner for Abstraction (1993) (0)
This paper list is powered by the following services:
Other Resources About Fausto Giunchiglia
What Schools Are Affiliated With Fausto Giunchiglia?
Fausto Giunchiglia is affiliated with the following schools:
