Fausto Giunchiglia

According to our database1, Fausto Giunchiglia authored at least 341 papers between 1983 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Diversity and language technology: how language modeling bias causes epistemic injustice.
Ethics Inf. Technol., March, 2024

From Knowledge Organization to Knowledge Representation and Back.
CoRR, 2024

2023
Adaptation of student behavioural routines during Covid-19: a multimodal approach.
EPJ Data Sci., December, 2023

Topological enhanced graph neural networks for semi-supervised node classification.
Appl. Intell., October, 2023

Representing interlingual meaning in lexical databases.
Artif. Intell. Rev., October, 2023

Cross-Domain Meta-Learner for Cold-Start Recommendation.
IEEE Trans. Knowl. Data Eng., August, 2023

Measuring and mitigating language model biases in abusive language detection.
Inf. Process. Manag., May, 2023

LFDNN: A Novel Hybrid Recommendation Model Based on DeepFM and LightGBM.
Entropy, April, 2023

SUNET: Speaker-utterance interaction Graph Neural Network for Emotion Recognition in Conversations.
Eng. Appl. Artif. Intell., 2023

Mitigating Bias in Algorithmic Systems - A Fish-eye View.
ACM Comput. Surv., 2023

TACIT: A Target-Agnostic Feature Disentanglement Framework for Cross-Domain Text Classification.
CoRR, 2023

From Knowledge Representation to Knowledge Organization and Back.
CoRR, 2023

Social Interactions Mediated by the Internet and the Big- Five: a Cross-Country Analysis.
CoRR, 2023

Lexical Diversity in Kinship Across Languages and Dialects.
CoRR, 2023

Diversity and Language Technology: How Techno-Linguistic Bias Can Cause Epistemic Injustice.
CoRR, 2023

Towards Bridging the Digital Language Divide.
CoRR, 2023

Automatic Counterfactual Augmentation for Robust Text Classification Based on Word-Group Search.
CoRR, 2023

Building Interoperable Electronic Health Records as Purpose-Driven Knowledge Graphs.
CoRR, 2023

Towards Ranking Schemas by Focus.
CoRR, 2023

Towards a Gateway for Knowledge Graph Schemas Collection, Analysis, and Embedding.
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

Local and Global: Temporal Question Answering via Information Fusion.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Aligning Visual and Lexical Semantics.
Proceedings of the Information for a Better World: Normality, Virtuality, Physicality, Inclusivity, 2023

Concept-level Debugging of Part-Prototype Networks.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

Enhancing Ontology Translation Through Cross-Lingual Agreement.
Proceedings of the IEEE International Conference on Acoustics, 2023

Incremental Image Labeling Via Iterative Refinement.
Proceedings of the IEEE International Conference on Acoustics, 2023

Diversity-Aware Hybrid Human-Artificial Intelligence (Preface).
Proceedings of the Workshops at the Second International Conference on Hybrid Human-Artificial Intelligence co-located with (HHAI 2023), 2023

Social Interactions Mediated by the Internet and the Big- Five: A Cross-Country Analysis (Short Paper).
Proceedings of the Workshops at the Second International Conference on Hybrid Human-Artificial Intelligence co-located with (HHAI 2023), 2023

Egocentric Hierarchical Visual Semantics.
Proceedings of the HHAI 2023: Augmenting Human Intellect, 2023

Recognizing Entity Types via Properties.
Proceedings of the Formal Ontology in Information Systems, 2023

A Semantics-Driven Methodology for High-Quality Image Annotation.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Integration of Social Interaction-Based Applications with the WeNet Platform.
Proceedings of the XLIX Latin American Computer Conference, 2023

Complex Daily Activities, Country-Level Diversity, and Smartphone Sensing: A Study in Denmark, Italy, Mongolia, Paraguay, and UK.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022
Guest Editorial: Introduction to the Special Section on Communication-Efficient Distributed Machine Learning.
IEEE Trans. Netw. Sci. Eng., 2022

Deep Feature-Based Text Clustering and its Explanation.
IEEE Trans. Knowl. Data Eng., 2022

A Joint-Training Two-Stage Method For Remote Sensing Image Captioning.
IEEE Trans. Geosci. Remote. Sens., 2022

A large and evolving cognate database.
Lang. Resour. Evaluation, 2022

Improving Abusive Language Detection with online interaction network.
Inf. Process. Manag., 2022

Generalization and Personalization of Mobile Sensing-Based Mood Inference Models: An Analysis of College Students in Eight Countries.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

Human-in-the-loop handling of knowledge drift.
Data Min. Knowl. Discov., 2022

LiveSchema: A Gateway Towards Learning on Knowledge Graph Schemas.
CoRR, 2022

Representation Heterogeneity.
CoRR, 2022

The SIGMORPHON 2022 Shared Task on Morpheme Segmentation.
CoRR, 2022

Concept-level Debugging of Part-Prototype Networks.
CoRR, 2022

Lifelong Personal Context Recognition.
CoRR, 2022

Visual Ground Truth Construction as Faceted Classification.
CoRR, 2022

Graph topology enhancement for text classification.
Appl. Intell., 2022

Skeptical Learning - An Algorithm and a Platform for Dealing with Mislabeling in Personal Context Recognition.
Algorithms, 2022

A Multitask Learning Framework for Abuse Detection and Emotion Classification.
Algorithms, 2022

PNMTA: A Pretrained Network Modulation and Task Adaptation Approach for User Cold-Start Recommendation.
Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022

Robots as Transitional Objects for Young Children.
Proceedings of the Information Systems and Technologies, 2022

Interoperating Vocabularies in Multilingual Domain Data.
Proceedings of the 24th IEEE Conference on Business Informatics, 2022

Few-shot Node Classification on Attributed Networks with Graph Meta-learning.
Proceedings of the SIGIR '22: The 45th International ACM SIGIR Conference on Research and Development in Information Retrieval, Madrid, Spain, July 11, 2022

Deployable and Continuable Meta-learning-Based Recommender System with Fast User-Incremental Updates.
Proceedings of the SIGIR '22: The 45th International ACM SIGIR Conference on Research and Development in Information Retrieval, Madrid, Spain, July 11, 2022

The Journey Through Illness of the Type 1 Diabetes Caregiver, from Disruption to Positive Coping.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2022

IndoUKC: A Concept-Centered Indian Multilingual Lexical Resource.
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Using Linguistic Typology to Enrich Multilingual Lexicons: the Case of Lexical Gaps in Kinship.
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

UniMorph 4.0: Universal Morphology.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Popularity Driven Data Integration.
Proceedings of the Knowledge Graphs and Semantic Web, 2022

Representation Heterogeneity (short paper).
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

Federated Multi-Task Attention for Cross-Individual Human Activity Recognition.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

An Architecture and a Methodology Enabling Interoperability within and across Universities.
Proceedings of the IEEE International Conference on Knowledge Graph, 2022

A Simple Contrastive Learning Framework for Interactive Argument Pair Identification via Argument-Context Extraction.
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Representing Habits as Streams of Situational Contexts.
Proceedings of the Advanced Information Systems Engineering Workshops, 2022

A Context Model for Personal Data Streams.
Proceedings of the Web and Big Data - 6th International Joint Conference, 2022

ZiNet: Linking Chinese Characters Spanning Three Thousand Years.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

Language Diversity: Visible to Humans, Exploitable by Machines.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022

2021
Empowering Users in Online Open Communities.
SN Comput. Sci., 2021

Towards Visual Semantics.
SN Comput. Sci., 2021

Report on the CyCAT winter school on fairness, accountability, transparency and ethics (FATE) in AI.
SIGIR Forum, 2021

Putting human behavior predictability in context.
EPJ Data Sci., 2021

Object Recognition as Classification via Visual Properties.
CoRR, 2021

Toward a Unified Framework for Debugging Gray-box Models.
CoRR, 2021

Classifying concepts via visual properties.
CoRR, 2021

iTelos- Building reusable knowledge graphs.
CoRR, 2021

Towards Algorithmic Transparency: A Diversity Perspective.
CoRR, 2021

Topological Regularization for Graph Neural Networks Augmentation.
CoRR, 2021

Mitigating Bias in Algorithmic Systems: A Fish-Eye View of Problems and Solutions Across Domains.
CoRR, 2021

Is your Schema Good Enough to Answer my Query?
CoRR, 2021

Property-Based Semantic Similarity Criteria to Evaluate the Overlaps of Schemas.
Algorithms, 2021

Transparency Paths - Documenting the Diversity of User Perceptions.
Proceedings of the Adjunct Publication of the 29th ACM Conference on User Modeling, 2021

A Database and Visualization of the Similarity of Contemporary Lexicons.
Proceedings of the Text, Speech, and Dialogue - 24th International Conference, 2021

Property-based entity type graph matching.
Proceedings of the 16th International Workshop on Ontology Matching co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021

Interactive Label Cleaning with Example-based Explanations.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Millikan + Ranganathan - From Perception to Classification.
Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

Streaming and Learning the Personal Context.
Proceedings of the Twelfth International Workshop Modelling and Reasoning in Context (MRC 2021) co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

The Quality of Lexical Semantic Resources: A Survey.
Proceedings of the 4th International Conference on Natural Language and Speech Processing, 2021

Ranking Schemas by Focus: A Cognitively-Inspired Approach.
Proceedings of the Graph-Based Representation and Reasoning, 2021

Stratified Data Integration.
Proceedings of the 2nd International Workshop on Knowledge Graph Construction co-located with 18th Extended Semantic Web Conference (ESWC 2021), 2021

Deep Attention Diffusion Graph Neural Networks for Text Classification.
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

The Theory, Practice, and Ethical Challenges of Designing a Diversity-Aware Platform for Social Relations.
Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

2020
The Internet of Musical Things Ontology.
J. Web Semant., 2020

Dealing with Mislabeling via Interactive Machine Learning.
Künstliche Intell., 2020

Improving time use measurement with personal big data collection - the experience of the European Big Data Hackathon 2019.
CoRR, 2020

A Major Wordnet for a Minority Language: Scottish Gaelic.
Proceedings of The 12th Language Resources and Evaluation Conference, 2020

Entity Type Recognition - Dealing with the Diversity of Knowledge.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Assessing Ontologies Usage Likelihood via Search Trends.
Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

Learning in the Wild with Incremental Skeptical Gaussian Processes.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Eudaimonia and Behavior Change: Incorporating negative feelings into Game Design elements.
Proceedings of the GoodTechs '20: 6th EAI International Conference on Smart Objects and Technologies for Social Good, 2020

Ontology-Driven Cross-Domain Transfer Learning.
Proceedings of the Formal Ontology in Information Systems, 2020

Open Social Systems.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

Multi-Modal Subjective Context Modelling and Recognition.
Proceedings of the Eleventh International Workshop Modelling and Reasoning in Context co-located with the 24th European Conference on Artificial Intelligence, 2020

Continual Egocentric Object Recognition.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Cross-Border Medical Research Using Multi-Layered and Distributed Knowledge.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Exploring the Language of Data.
Proceedings of the 28th International Conference on Computational Linguistics, 2020

2019
Relation path embedding in knowledge graphs.
Neural Comput. Appl., 2019

Diversicon: Pluggable Lexical Domain Knowledge.
J. Data Semant., 2019

Fixing Mislabeling by Human Annotators Leveraging Conflict Resolution and Prior Knowledge.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2019

Hybrid Human Machine workflows for mobility management.
Proceedings of the Companion of The 2019 World Wide Web Conference, 2019

Building the Mongolian WordNet.
Proceedings of the 10th Global Wordnet Conference, 2019

"End to End" Towards a Framework for Reducing Biases and Promoting Transparency of Algorithmic Systems.
Proceedings of the 14th International Workshop on Semantic and Social Media Adaptation and Personalization, 2019

Towards Understanding Classification and Identification.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

On Knowledge Diversity.
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

CogNet: A Large-Scale Cognate Database.
Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

2018
Lightweight Ontologies.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Semantic Matching.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Human-Like Context Sensing for Robot Surveillance.
Int. J. Semantic Comput., 2018

Mobile social media usage and academic performance.
Comput. Hum. Behav., 2018

Artificial intelligence in 2027.
AI Matters, 2018

Combining Crowdsourcing and Crowdsensing to Infer the Spatial Context.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Assessing Annotation Consistency in the Wild.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Personal Context Recognition Via Reliable Human-Machine Collaboration.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

A single-model approach for Arabic segmentation, POS tagging, and named entity recognition.
Proceedings of the 2nd International Conference on Natural Language and Speech Processing, 2018

One World - Seven Thousand Languages (Best Paper Award, Third Place).
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2018

Towards an Optimal Solution to Lemmatization in Arabic.
Proceedings of the Fourth International Conference On Arabic Computational Linguistics, 2018

2017
Language and domain aware lightweight ontology matching.
J. Web Semant., 2017

Mobile Social Media and Academic Performance.
Proceedings of the Social Informatics, 2017

TrentoTeam at SemEval-2017 Task 3: An application of Grice Maxims in Ranking Community Question Answers.
Proceedings of the 11th International Workshop on Semantic Evaluation, 2017

Finding Errors in a Chinese Lexico-Semantic Resource Using GWAP.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

SemUI: A Knowledge Driven Visualization of Diversified Data.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Human-Like Context Modelling for Robot Surveillance.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

ATOM: Ontology Aware Transportation Model.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Personal context modelling and annotation.
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

Understanding and Exploiting Language Diversity.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Teleologies: Objects, Actions and Functions.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

2016
Search and Analytics Challenges in Digital Libraries and Archives.
ACM J. Data Inf. Qual., 2016

A Taxonomic Classification of WordNet Polysemy Types.
Proceedings of the 8th Global WordNet Conference, 2016

GeoEtypes: Harmonizing Diversity in Geospatial Data (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Modeling Recipes for Online Search.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Concepts as (Recognition) Abilities.
Proceedings of the Formal Ontology in Information Systems, 2016

2015
SKO Types: an entity-based scientific knowledge objects metadata schema.
J. Knowl. Manag., 2015

Named Entity Recognition for Mongolian Language.
Proceedings of the Text, Speech, and Dialogue - 18th International Conference, 2015

SmartSociety - A Platform for Collaborative People-Machine Computation.
Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

A multilingual ontology matcher.
Proceedings of the 10th International Workshop on Ontology Matching collocated with the 14th International Semantic Web Conference (ISWC 2015), 2015

Ontology-Based Obfuscation and Anonymisation for Privacy - A Case Study on Healthcare.
Proceedings of the Privacy and Identity Management. Time for a Revolution?, 2015

Position on Interoperability Everywhere Under IoT-ARM.
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

A Practical Framework for <i>Rel</i>BAC Implementation.
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Entity-Centric Visualization of Open Data.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

High Quality Photo Collection via Gamification.
Proceedings of the Second International Workshop on Gamification for Information Retrieval co-located with the 37th European Conference on Information Retrieval (ECIR 2015), 2015

Distributed directory system: A healthcare use case for rural areas.
Proceedings of the 2015 Latin American Computing Conference, 2015

Towards semantic social networks.
Proceedings of the 2015 Latin American Computing Conference, 2015

2014
Privacy for Peer Profiling in Collective Adaptive Systems.
Proceedings of the Privacy and Identity Management for the Future Internet in the Age of Globalisation, 2014

Recognizing hospital care activities with a coat pocket worn smartphone.
Proceedings of the 6th International Conference on Mobile Computing, 2014

A Hybrid Machine-Crowd Approach to Photo Retrieval Result Diversification.
Proceedings of the MultiMedia Modeling - 20th Anniversary International Conference, 2014

Provenance in Open Data Entity-Centric Aggregation.
Proceedings of the Provenance and Annotation of Data and Processes, 2014

An Interactive Platform for Multilingual Linguistic Resource Enrichment.
Proceedings of the KEOD 2014, 2014

Multi-device activity logging.
Proceedings of the 2014 ACM Conference on Ubiquitous Computing, 2014

From ER Models to the Entity Model.
Proceedings of the Knowledge Engineering and Knowledge Management, 2014

2013
Introduction to the special section on internet-scale human problem solving.
ACM Trans. Interact. Intell. Syst., 2013

Solving Specialization Polysemy in WordNet.
Int. J. Comput. Linguistics Appl., 2013

A Distributed Directory System.
Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, 2013

Social events and social ties.
Proceedings of the International Conference on Multimedia Retrieval, 2013

A Distributed Entity Directory.
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

A Semantic-Enabled Engine for Mobile Social Networks.
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

The open platform for personal lifelogging: the eLifeLog architecture.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012
Domains and context: First steps towards managing diversity in knowledge.
J. Web Semant., 2012

S-Match: An open source framework for matching lightweight ontologies.
Semantic Web, 2012

A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology.
J. Data Semant., 2012

Computing minimal mappings between lightweight ontologies.
Int. J. Digit. Libr., 2012

Introduction to the Special Issue on Semantic Web Data Management.
Inf. Syst., 2012


Life logging practice for human behavior modeling.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Personal photo indexing.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

Indexing media by personal events.
Proceedings of the International Conference on Multimedia Retrieval, 2012

(Unseen) event recognition via semantic compositionality.
Proceedings of the 2012 IEEE Conference on Computer Vision and Pattern Recognition, 2012

An entity-based platform for the integration of social and scientific services.
Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

Representativeness and Diversity in Photos via Crowd-Sourced Media Analysis.
Proceedings of the Adaptive Multimedia Retrieval: Semantics, 2012

2011
Semantic flooding - Semantic search across distributed lightweight ontologies.
World Wide Web, 2011

Clues of Personal Events in Online Photo Sharing.
Proceedings of the Workhop on Detection, 2011

Access Control via Lightweight Ontologies.
Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

A Facet-Based Methodology for Geo-Spatial Modeling.
Proceedings of the GeoSpatial Semantics - 4th International Conference, 2011

A Faceted Ontology for a Semantic Geo-Catalogue.
Proceedings of the Semanic Web: Research and Applications, 2011

From Software to Artifacts: Supporting the Current Scientific Knowledge Needs.
Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

2010
Relation-Based Access Control: An Access Control Model for Context-Aware Computing Environment.
Wirel. Pers. Commun., 2010

Save Up to 99% of Your Time in Mapping Validation.
Proceedings of the On the Move to Meaningful Internet Systems, 2010

Reasoning about Relation Based Access Control.
Proceedings of the Fourth International Conference on Network and System Security, 2010

Events as media and knowlege aggregators.
Proceedings of the 2nd ACM international workshop on Events in multimedia, 2010

Semantic flooding: Search over semantic links.
Proceedings of the Workshops Proceedings of the 26th International Conference on Data Engineering, 2010

Scientific knowledge object patterns.
Proceedings of the European Conference on Pattern Languages of Programs, 2010

GeoWordNet: A Resource for Geo-spatial Applications.
Proceedings of the Semantic Web: Research and Applications, 2010

Lightweight Parsing of Classifications into Lightweight Ontologies.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2010

2009

Lightweight Ontologies.
Proceedings of the Encyclopedia of Database Systems, 2009

Semantic Matching.
Proceedings of the Encyclopedia of Database Systems, 2009

A large dataset for the evaluation of ontology matching.
Knowl. Eng. Rev., 2009

Service Integration through Structure-Preserving Semantic Matching.
J. Cases Inf. Technol., 2009

On the Interdisciplinary Foundations of Diversity.
Proceedings of First International Workshop on Living Web, 2009

Computing Minimal Mappings.
Proceedings of the 4th International Workshop on Ontology Matching (OM-2009) collocated with the 8th International Semantic Web Conference (ISWC-2009) Chantilly, 2009

Ontology Driven Community Access Control.
Proceedings of the ESWC2009 Workshop on Trust and Privacy on the Social and Semantic Web (SPOT2009) Heraklion, 2009

Concept Search.
Proceedings of the Semantic Web: Research and Applications, 2009

Using Description Logics in Relation Based Access Control.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Faceted Lightweight Ontologies.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Introduction.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

Semantic Matching with S-Match.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

The Semantic Web Languages.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

Service Integration through Structure-Preserving Semantic Matching.
Proceedings of the Cases on Semantic Interoperability for Information Systems Integration, 2009

2008
ScienceTreks: an autonomous digital library system.
Online Inf. Rev., 2008

RelBAC: Relation Based Access Control.
Proceedings of the Fourth International Conference on Semantics, Knowledge and Grid, 2008

Approximate Structure-Preserving Semantic Matching.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

ODBASE 2008 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008


Concept Search: Semantics Enabled Syntactic Search.
Proceedings of the Workshop on Semantic Search (SemSearch 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

2007
Publish and perish: why the current publication and review model is killing research and wasting your money.
Ubiquity, 2007

Semantic Matching: Algorithms and Implementation.
J. Data Semant., 2007

Encoding Classifications into Lightweight Ontologies.
J. Data Semant., 2007

Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies.
Proceedings of the Semantic Web, 2007

From Web Directories to Ontologies: Natural Language Processing Challenges.
Proceedings of the Semantic Web, 2007

Structure Preserving Semantic Matching.
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), 2007


Importing from Functional Knowledge Bases - A Preview.
Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007

Formalizing the Get-Specific Document Classification Algorithm.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2007

2006
Discovering Missing Background Knowledge in Ontology Matching.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Managing Diversity in Knowledge.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Autonomous Ontology: Operations and Semantics.
Proceedings of the Semantic Web, 2006

2005
Introduction to the Special Volume on Reformulation.
Artif. Intell., 2005

A Large Scale Taxonomy Mapping Evaluation.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Towards a Distributed Architecture for Value Added Services to Digital Libraries.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Semantic Schema Matching.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Web Explanations for Semantic Heterogeneity Discovery.
Proceedings of the Semantic Web: Research and Applications, 2005

Efficient Semantic Matching.
Proceedings of the Semantic Web: Research and Applications, 2005

SWebB: Semantic Web Browsing.
Proceedings of the Semantic Web: Research and Applications, 2005

S-Match: an algorithm and an implementation of semantic matching.
Proceedings of the Semantic Interoperability and Integration, 2005

SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Contextualizing ontologies.
J. Web Semant., 2004

Tropos: An Agent-Oriented Software Development Methodology.
Auton. Agents Multi Agent Syst., 2004

Coordinating Mobile Databases.
Proceedings of the MobiQuitous'04 Workshop on Peer-to-Peer Knowledge Management (P2PKM 2004), 2004

Using C-OWL for the alignment and merging of medical ontologies.
Proceedings of the KR-MED 2004, 2004

A Semantics for Abstraction.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Towards Explaining Semantic Matching.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
Semantic matching.
Knowl. Eng. Rev., 2003

A Multi-agent System for Knowledge Management based on the Implicit Culture Framework.
Proceedings of the WM 2003: Professionelles Wissensmanagement, 2003

C-OWL: Contextualizing Ontologies.
Proceedings of the Semantic Web, 2003

Local Relational Model: A Logical Formalization of Database Coordination.
Proceedings of the Modeling and Using Context, 2003

Implicit Culture-Based Personal Agents for Knowledge Management.
Proceedings of the Agent Mediated Knowledge Management, 2003

2002
A Foundation for Metareasoning Part II: The Model Theory.
J. Log. Comput., 2002

A Foundation for Metareasoning Part I: The Proof Theory.
J. Log. Comput., 2002

ML Systems: A Proof Theory for Contexts.
J. Log. Lang. Inf., 2002

SAT-Based Decision Procedures for Classical Modal Logics.
J. Autom. Reason., 2002

Data Management for Peer-to-Peer Computing : A Vision.
Proceedings of the Fifth International Workshop on the Web and Databases, 2002

Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination.
Proceedings of the Cooperative Information Agents VI, 6th International Workshop, 2002

NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

The Tropos Software Development Methodology: Processes, Models and Diagrams.
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

2001
Ideal and Real Belief about Belief.
J. Log. Comput., 2001

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics.
J. Symb. Comput., 2001

Reasoning Theories.
J. Autom. Reason., 2001

Local Models Semantics, or contextual reasoning=locality+compatibility.
Artif. Intell., 2001

Special Issue of the journal Artificial Intelligence on Reformulation.
Artif. Intell., 2001

Towards an Agent Oriented Approach to Software Engineering.
Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

Model Checking Syllabi and Student Carreers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Agent- Oriented Software Development: A Case Study.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Knowledge Level Software Engineering.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Modeling Early Requirements in Tropos: A Transformation Based Approach.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

A knowledge level software engineering methodology for agent oriented programming.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
Theorem proving in technology transfer: the user's point of view.
Int. J. Softw. Tools Technol. Transf., 2000

NUSMV: A New Symbolic Model Checker.
Int. J. Softw. Tools Technol. Transf., 2000

Verification of a safety-critical railway interlocking system with real-time constraints.
Sci. Comput. Program., 2000

SAT vs. translation based decision procedures for modal logics: a comparative evaluation.
J. Appl. Non Class. Logics, 2000

Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m).
Inf. Comput., 2000

Model Checking Security Protocols Using a Logic of Belief.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Composing and Controlling Search in Reasoning Theories Using Mappings.
Proceedings of the Frontiers of Combining Systems, 2000

A Logic of Belief and a Model Checking Algorithm for Security Protocols.
Proceedings of the Formal Techniques for Distributed System Development, 2000

Model Checking-Based Analysis of Multiagent Systems.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999
Specification and Integration of Theorem Provers and Computer Algebra Systems.
Fundam. Informaticae, 1999

The OMRS project: State of the art.
Proceedings of the Systems for Integrated Computation and Deduction, 1999

The control component of open mechanized reasoning systems.
Proceedings of the Systems for Integrated Computation and Deduction, 1999

Using Abstrips Abstractions - Where do We Stand?
Artif. Intell. Rev., 1999

Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.
Artif. Intell., 1999

Planning as Model Checking.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

*SAT, KSATC, DLP and TA: a comparative analysis.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Improved Automata Generation for Linear Temporal Logic.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

NUSMV: A New Symbolic Model Verifier.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

The SAT-Based Approach for Classical Modal Logics.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998
Editorial.
J. Log. Comput., 1998

Model Checking Multiagent Systems.
J. Log. Comput., 1998

Formal Verification of a Railway Interlocking System using Model Checking.
Formal Aspects Comput., 1998

The OMRS project: state of the art.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

A Many-Sorted Natural Deduction.
Comput. Intell., 1998

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
Proceedings of the Computer Safety, 1998

A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
Proceedings of the Computer Safety, 1998

More Evaluation of Decision Procedures for Modal Logics.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Multiagent Systems Verification via Model Checking.
Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998

A Model Checking Algorithm for Multiagent Systems.
Proceedings of the Intelligent Agents V, 1998

1997
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.
J. Autom. Reason., 1997

Theories of Abstraction.
AI Commun., 1997

Planning via Model Checking: A Decision Procedure for <i>AR</i>.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

A New Method for Testing Decision Procedures in Modal Logics.
Proceedings of the Automated Deduction, 1997

1996
Dealing with expected and unexpected obstacles.
J. Exp. Theor. Artif. Intell., 1996

Towards provably correct system synthesis and extension.
Future Gener. Comput. Syst., 1996

Program Tactics and Logic Tactics.
Ann. Math. Artif. Intell., 1996

A Metatheory of a Mechanized Object Theory.
Artif. Intell., 1996

Calculating Criticalities.
Artif. Intell., 1996

Ideal and Real Belief aobout Belief: Some Intuitions.
Proceedings of the Agents Breaking Away, 1996

A SAT-based Decision Procedure for ALC.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.
Proceedings of the Frontiers of Combining Systems, 1996

An SAT-based Decision Procedure for ALC.
Proceedings of the 1996 International Workshop on Description Logics, 1996

A New Method for Testing Decision Procedures in Modal and Terminological Logics.
Proceedings of the 1996 International Workshop on Description Logics, 1996

ABSFOL: A Proof Checker with Abstraction.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Formal Specification of Beliefs in Multi-Agent Systems.
Proceedings of the Intelligent Agents III, 1996

A General Purpose Reasoner for Abstraction.
Proceedings of the Advances in Artificial Intelligence, 1996

Computing Abstraction Hierarchies by Numerical Simulation.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem.
Fundam. Informaticae, 1995

An Epistemological Science of Common Sense.
Artif. Intell., 1995

Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

Agents as Reasoners, Observers, or Arbitrary Believers.
Proceedings of the First International Conference on Multiagent Systems, 1995

Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
Proceedings of the Intelligent Agents II, 1995

Agents as Reasoners, Observers or Believers.
Proceedings of the Topics in Artificial Intelligence, 1995

1994
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics.
Artif. Intell., 1994

Introspective Metatheoretic Reasoning.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Planning with Failure.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

1993
The Inevitability of Inconsistent Abstract Spaces.
J. Autom. Reason., 1993

Non-Omniscient Belief as Context-Based Resoning.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Understanding Scene Descriptions by Integrating Different Sources of Knowledge.
Int. J. Man Mach. Stud., 1992

A Theory of Abstraction.
Artif. Intell., 1992

Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Tree Subsumption: Reasoning with Outlines.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991
Mulitlanguage First Order Theories of Propositional Attitudes.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Automating Meta-Theory Creation and System Extension.
Proceedings of the Trends in Artificial Intelligence, 1991

1989
FUR: Understanding functional reasoning.
Int. J. Intell. Syst., 1989

Abstract Theorem Proving.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Reflection in Constructive and Non-constructive Automated Reasoning.
Proceedings of the Meta-Programming in Logic Programming, 1988

Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987
Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines.
Proceedings of the COMPCON'87, 1987

1986
Reasoning about scene descriptions.
Proc. IEEE, 1986

1984
From Descriptions to Images: What Reasoning in between?
Proceedings of the Advances in Artificial Intelligence, 1984

Natural Language driven Image Generation.
Proceedings of the 10th International Conference on Computational Linguistics and 22nd Annual Meeting of the Association for Computational Linguistics, 1984

Space Representation and Object Positioning in Natural Language Driven Image Generation.
Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983
Some Basic Mechanisms for Common Sense Reasoning About Stories Environments.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983


  Loading...