Fausto Giunchiglia

Proceedings of the Information for a Better World: Normality, Virtuality, Physicality, Inclusivity, 2023

Concept-level Debugging of Part-Prototype Networks.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Enhancing Ontology Translation Through Cross-Lingual Agreement.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2023

Incremental Image Labeling Via Iterative Refinement.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2023

Diversity-Aware Hybrid Human-Artificial Intelligence (Preface).

[BibT_eX]

[DOI]

Loizos Michael

Jessica Heesen

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).

[BibT_eX]

[DOI]

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

Egocentric Hierarchical Visual Semantics.

[BibT_eX]

[DOI]

Proceedings of the HHAI 2023: Augmenting Human Intellect, 2023

Recognizing Entity Types via Properties.

[BibT_eX]

[DOI]

Daqian Shi

Proceedings of the Formal Ontology in Information Systems, 2023

A Semantics-Driven Methodology for High-Quality Image Annotation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Improving Ontology Translation from Disentangled Semantic and Language Representations.

[BibT_eX]

[DOI]

Mingjie Tian

Hao Xu

Proceedings of the 45th Annual Meeting of the Cognitive Science Society, 2023

Personalized multi-task attention for multimodal mental health detection and explanation.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual Meeting of the Cognitive Science Society, 2023

Integration of Social Interaction-Based Applications with the WeNet Platform.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Sci. Eng., 2022

Deep Feature-Based Text Clustering and its Explanation.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2022

A Joint-Training Two-Stage Method For Remote Sensing Image Captioning.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2022

A large and evolving cognate database.

[BibT_eX]

[DOI]

Lang. Resour. Evaluation, 2022

Improving Abusive Language Detection with online interaction network.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2022

Generalization and Personalization of Mobile Sensing-Based Mood Inference Models: An Analysis of College Students in Eight Countries.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

Human-in-the-loop handling of knowledge drift.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2022

LiveSchema: A Gateway Towards Learning on Knowledge Graph Schemas.

[BibT_eX]

[DOI]

CoRR, 2022

Representation Heterogeneity.

[BibT_eX]

[DOI]

CoRR, 2022

The SIGMORPHON 2022 Shared Task on Morpheme Segmentation.

[BibT_eX]

[DOI]

CoRR, 2022

Concept-level Debugging of Part-Prototype Networks.

[BibT_eX]

[DOI]

CoRR, 2022

Lifelong Personal Context Recognition.

[BibT_eX]

[DOI]

CoRR, 2022

Visual Ground Truth Construction as Faceted Classification.

[BibT_eX]

[DOI]

CoRR, 2022

Graph topology enhancement for text classification.

[BibT_eX]

[DOI]

Appl. Intell., 2022

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

[BibT_eX]

[DOI]

Algorithms, 2022

A Multitask Learning Framework for Abuse Detection and Emotion Classification.

[BibT_eX]

[DOI]

Algorithms, 2022

PNMTA: A Pretrained Network Modulation and Task Adaptation Approach for User Cold-Start Recommendation.

[BibT_eX]

[DOI]

Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022

Robots as Transitional Objects for Young Children.

[BibT_eX]

[DOI]

Silvia Torsi

Nandu Chandran Nair

Proceedings of the Information Systems and Technologies, 2022

Interoperating Vocabularies in Multilingual Domain Data.

[BibT_eX]

[DOI]

Simone Bocca

Rajendran Sankara Velayuthan

Proceedings of the 24th IEEE Conference on Business Informatics, 2022

Few-shot Node Classification on Attributed Networks with Graph Meta-learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2022

IndoUKC: A Concept-Centered Indian Multilingual Lexical Resource.

[BibT_eX]

[DOI]

Nandu Chandran Nair

Yamini Chandrashekar

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Using Linguistic Typology to Enrich Multilingual Lexicons: the Case of Lexical Gaps in Kinship.

[BibT_eX]

[DOI]

Temuulen Khishigsuren

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

UniMorph 4.0: Universal Morphology.

[BibT_eX]

[DOI]

Jaime Rafael Montoya Samame

Delio Siticonatzi Camaiteri

Gema Celeste Silva Villegas

Lucas Torroba Hennigen

Adam Ek

David Guriel

Peter Dirix

Jean-Philippe Bernardy

Andrey Scherbakov

Aziyana Bayyr-ool

Antonios Anastasopoulos

Natalia Krizhanovskaya

Jonathan North Washington

Maria Nepomniashchaya

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Popularity Driven Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Graphs and Semantic Web, 2022

Representation Heterogeneity (short paper).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

An Architecture and a Methodology Enabling Interoperability within and across Universities.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Knowledge Graph, 2022

A Simple Contrastive Learning Framework for Interactive Argument Pair Identification via Argument-Context Extraction.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Metonymy as a Universal Cognitive Phenomenon: Evidence from Multilingual Lexicons.

[BibT_eX]

[DOI]

Temuulen Khishigsuren

Proceedings of the 44th Annual Meeting of the Cognitive Science Society, 2022

Representing Habits as Streams of Situational Contexts.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2022

A Context Model for Personal Data Streams.

[BibT_eX]

[DOI]

Proceedings of the Web and Big Data - 6th International Joint Conference, 2022

ZiNet: Linking Chinese Characters Spanning Three Thousand Years.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

Language Diversity: Visible to Humans, Exploitable by Machines.

[BibT_eX]

[DOI]

Erdenebileg Byambadorj

Yamini Chandrashekar

Danish Ashgar Cheema

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022

2021

Empowering Users in Online Open Communities.

[BibT_eX]

[DOI]

SN Comput. Sci., 2021

Towards Visual Semantics.

[BibT_eX]

[DOI]

Luca Erculiani

Andrea Passerini

SN Comput. Sci., 2021

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

[BibT_eX]

[DOI]

Monica Lestari Paramita

Michael Rovatsos

Avital Shulner-Tal

SIGIR Forum, 2021

Putting human behavior predictability in context.

[BibT_eX]

[DOI]

EPJ Data Sci., 2021

Object Recognition as Classification via Visual Properties.

[BibT_eX]

[DOI]

CoRR, 2021

Toward a Unified Framework for Debugging Gray-box Models.

[BibT_eX]

[DOI]

CoRR, 2021

Classifying concepts via visual properties.

[BibT_eX]

[DOI]

CoRR, 2021

iTelos- Building reusable knowledge graphs.

[BibT_eX]

[DOI]

CoRR, 2021

Towards Algorithmic Transparency: A Diversity Perspective.

[BibT_eX]

[DOI]

Jahna Otterbacher

Styliani Kleanthous

Veronika Bogina

Tsvi Kuflik

Avital Shulner-Tal

CoRR, 2021

Topological Regularization for Graph Neural Networks Augmentation.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

Kalia Orphanou

Jahna Otterbacher

Styliani Kleanthous

CoRR, 2021

Is your Schema Good Enough to Answer my Query?

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

Algorithms, 2021

Transparency Paths - Documenting the Diversity of User Perceptions.

[BibT_eX]

[DOI]

Proceedings of the Adjunct Publication of the 29th ACM Conference on User Modeling, 2021

A Database and Visualization of the Similarity of Contemporary Lexicons.

[BibT_eX]

[DOI]

Proceedings of the Text, Speech, and Dialogue - 24th International Conference, 2021

Property-based entity type graph matching.

[BibT_eX]

[DOI]

Daqian Shi

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hadi Khalilia

Proceedings of the 4th International Conference on Natural Language and Speech Processing, 2021

Ranking Schemas by Focus: A Cognitively-Inspired Approach.

[BibT_eX]

[DOI]

Daqian Shi

Proceedings of the Graph-Based Representation and Reasoning, 2021

Stratified Data Integration.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

2020

The Internet of Musical Things Ontology.

[BibT_eX]

[DOI]

J. Web Semant., 2020

Dealing with Mislabeling via Interactive Machine Learning.

[BibT_eX]

[DOI]

Wanyi Zhang

Andrea Passerini

Künstliche Intell., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

A Major Wordnet for a Minority Language: Scottish Gaelic.

[BibT_eX]

[DOI]

Proceedings of The 12th Language Resources and Evaluation Conference, 2020

Entity Type Recognition - Dealing with the Diversity of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Assessing Ontologies Usage Likelihood via Search Trends.

[BibT_eX]

[DOI]

Tania Bailoni

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Eudaimonia and Behavior Change: Incorporating negative feelings into Game Design elements.

[BibT_eX]

[DOI]

Silvia Torsi

Cristina Rebek

Benedetta Giunchiglia

Proceedings of the GoodTechs '20: 6th EAI International Conference on Smart Objects and Technologies for Social Good, 2020

Ontology-Driven Cross-Domain Transfer Learning.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2020

Open Social Systems.

[BibT_eX]

[DOI]

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

Multi-Modal Subjective Context Modelling and Recognition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Luca Erculiani

Andrea Passerini

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Linda Gremes

Proceedings of the 28th International Conference on Computational Linguistics, 2020

2019

Relation path embedding in knowledge graphs.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2019

Diversicon: Pluggable Lexical Domain Knowledge.

[BibT_eX]

[DOI]

Francisco José Quesada Real

Fiona McNeill

David Leoni

J. Data Semant., 2019

Fixing Mislabeling by Human Annotators Leveraging Conflict Resolution and Prior Knowledge.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2019

Hybrid Human Machine workflows for mobility management.

[BibT_eX]

[DOI]

Proceedings of the Companion of The 2019 World Wide Web Conference, 2019

Building the Mongolian WordNet.

[BibT_eX]

[DOI]

Amarsanaa Ganbold

Altangerel Chagnaa

Proceedings of the 10th Global Wordnet Conference, 2019

"End to End" Towards a Framework for Reducing Biases and Promoting Transparency of Algorithmic Systems.

[BibT_eX]

[DOI]

Avital Shulner-Tal

Veronika Bogina

Styliani Kleanthous Loizou

Alan Hartman

Tsvi Kuflik

Jahna Otterbacher

Proceedings of the 14th International Workshop on Semantic and Social Media Adaptation and Personalization, 2019

Towards Understanding Classification and Identification.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

On Knowledge Diversity.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

CogNet: A Large-Scale Cognate Database.

[BibT_eX]

[DOI]

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

2018

Lightweight Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Semantic Matching.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Human-Like Context Sensing for Robot Surveillance.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2018

Mobile social media usage and academic performance.

[BibT_eX]

[DOI]

Comput. Hum. Behav., 2018

Artificial intelligence in 2027.

[BibT_eX]

[DOI]

AI Matters, 2018

Combining Crowdsourcing and Crowdsensing to Infer the Spatial Context.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Assessing Annotation Consistency in the Wild.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Personal Context Recognition Via Reliable Human-Machine Collaboration.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Natural Language and Speech Processing, 2018

One World - Seven Thousand Languages (Best Paper Award, Third Place).

[BibT_eX]

[DOI]

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2018

Towards an Optimal Solution to Lemmatization in Arabic.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference On Arabic Computational Linguistics, 2018

2017

Language and domain aware lightweight ontology matching.

[BibT_eX]

[DOI]

Fiona McNeill

J. Web Semant., 2017

Mobile Social Media and Academic Performance.

[BibT_eX]

[DOI]

Proceedings of the Social Informatics, 2017

TrentoTeam at SemEval-2017 Task 3: An application of Grice Maxims in Ranking Community Question Answers.

[BibT_eX]

[DOI]

Mohammed R. H. Qwaider

Proceedings of the 11th International Workshop on Semantic Evaluation, 2017

Finding Errors in a Chinese Lexico-Semantic Resource Using GWAP.

[BibT_eX]

[DOI]

Hanyu Zhang

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

SemUI: A Knowledge Driven Visualization of Diversified Data.

[BibT_eX]

[DOI]

Subhashis Das

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Human-Like Context Modelling for Robot Surveillance.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

ATOM: Ontology Aware Transportation Model.

[BibT_eX]

[DOI]

Subhashis Das

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Personal context modelling and annotation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

Understanding and Exploiting Language Diversity.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Teleologies: Objects, Actions and Functions.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

2016

Search and Analytics Challenges in Digital Libraries and Archives.

[BibT_eX]

[DOI]

ACM J. Data Inf. Qual., 2016

A Taxonomic Classification of WordNet Polysemy Types.

[BibT_eX]

[DOI]

Proceedings of the 8th Global WordNet Conference, 2016

GeoEtypes: Harmonizing Diversity in Geospatial Data (Short Paper).

[BibT_eX]

[DOI]

Subhashis Das

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Modeling Recipes for Online Search.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Concepts as (Recognition) Abilities.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2016

2015

SKO Types: an entity-based scientific knowledge objects metadata schema.

[BibT_eX]

[DOI]

Hao Xu

J. Knowl. Manag., 2015

Named Entity Recognition for Mongolian Language.

[BibT_eX]

[DOI]

Zoljargal Munkhjargal

Altangerel Chagnaa

Proceedings of the Text, Speech, and Dialogue - 18th International Conference, 2015

SmartSociety - A Platform for Collaborative People-Machine Computation.

[BibT_eX]

[DOI]

Ognjen Scekic

Daniele Miorandi

Tommaso Schiavinotto

Dimitrios I. Diochnos

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

A multilingual ontology matcher.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Simone Fischer-Hübner

Proceedings of the Privacy and Identity Management. Time for a Revolution?, 2015

Position on Interoperability Everywhere Under IoT-ARM.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

A Practical Framework for <i>Rel</i>BAC Implementation.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Entity-Centric Visualization of Open Data.

[BibT_eX]

[DOI]

Mladjan Jovanovic

Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

High Quality Photo Collection via Gamification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Luca Cernuzzi

Proceedings of the 2015 Latin American Computing Conference, 2015

Towards semantic social networks.

[BibT_eX]

[DOI]

Luca Cernuzzi

Proceedings of the 2015 Latin American Computing Conference, 2015

2014

Privacy for Peer Profiling in Collective Adaptive Systems.

[BibT_eX]

[DOI]

Simone Fischer-Hübner

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.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Mobile Computing, 2014

A Hybrid Machine-Crowd Approach to Photo Retrieval Result Diversification.

[BibT_eX]

[DOI]

Proceedings of the MultiMedia Modeling - 20th Anniversary International Conference, 2014

Provenance in Open Data Entity-Centric Aggregation.

[BibT_eX]

[DOI]

Moaz Reyad

Proceedings of the Provenance and Annotation of Data and Processes, 2014

An Interactive Platform for Multilingual Linguistic Resource Enrichment.

[BibT_eX]

[DOI]

Ahmed Tawfik

Francesco Bux

Proceedings of the KEOD 2014, 2014

Multi-device activity logging.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

From ER Models to the Entity Model.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

2013

Introduction to the special section on internet-scale human problem solving.

[BibT_eX]

[DOI]

David Robertson

ACM Trans. Interact. Intell. Syst., 2013

Solving Specialization Polysemy in WordNet.

[BibT_eX]

[DOI]

Int. J. Comput. Linguistics Appl., 2013

A Distributed Directory System.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, 2013

Social events and social ties.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Multimedia Retrieval, 2013

A Distributed Entity Directory.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

A Semantic-Enabled Engine for Mobile Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

The open platform for personal lifelogging: the eLifeLog architecture.

[BibT_eX]

[DOI]

Pil Ho Kim

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.

[BibT_eX]

[DOI]

J. Web Semant., 2012

S-Match: An open source framework for matching lightweight ontologies.

[BibT_eX]

[DOI]

Juan Pane

Semantic Web, 2012

A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology.

[BibT_eX]

[DOI]

J. Data Semant., 2012

Computing minimal mappings between lightweight ontologies.

[BibT_eX]

[DOI]

Int. J. Digit. Libr., 2012

Introduction to the Special Issue on Semantic Web Data Management.

[BibT_eX]

[DOI]

Inf. Syst., 2012

The CUBRIK project: human-enhanced time-aware multimedia search.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference, 2012

Life logging practice for human behavior modeling.

[BibT_eX]

[DOI]

Pil Ho Kim

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Personal photo indexing.

[BibT_eX]

[DOI]

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

Indexing media by personal events.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Multimedia Retrieval, 2012

(Unseen) event recognition via semantic compositionality.

[BibT_eX]

[DOI]

Julian Stöttinger

Jasper R. R. Uijlings

Anand K. Pandey

Nicu Sebe

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.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

Representativeness and Diversity in Photos via Crowd-Sourced Media Analysis.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Multimedia Retrieval: Semantics, 2012

2011

Semantic flooding - Semantic search across distributed lightweight ontologies.

[BibT_eX]

[DOI]

World Wide Web, 2011

Clues of Personal Events in Online Photo Sharing.

[BibT_eX]

[DOI]

Pierre Andrews

Javier Paniagua

Proceedings of the Workhop on Detection, 2011

Access Control via Lightweight Ontologies.

[BibT_eX]

[DOI]

Bruno Crispo

Rui Zhang

Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

A Facet-Based Methodology for Geo-Spatial Modeling.

[BibT_eX]

[DOI]

Proceedings of the GeoSpatial Semantics - 4th International Conference, 2011

A Faceted Ontology for a Semantic Geo-Catalogue.

[BibT_eX]

[DOI]

Feroz Farazi

Alexander Ivanyukovich

Proceedings of the Semanic Web: Research and Applications, 2011

From Software to Artifacts: Supporting the Current Scientific Knowledge Needs.

[BibT_eX]

Luca Cernuzzi

Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

2010

Relation-Based Access Control: An Access Control Model for Context-Aware Computing Environment.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2010

Save Up to 99% of Your Time in Mapping Validation.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2010

Reasoning about Relation Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Network and System Security, 2010

Events as media and knowlege aggregators.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM international workshop on Events in multimedia, 2010

Semantic flooding: Search over semantic links.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 26th International Conference on Data Engineering, 2010

Scientific knowledge object patterns.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Pattern Languages of Programs, 2010

GeoWordNet: A Resource for Geo-spatial Applications.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2010

Lightweight Parsing of Classifications into Lightweight Ontologies.

[BibT_eX]

[DOI]

Adrián Perreau de Pinninck

Pierre Andrews

Proceedings of the Research and Advanced Technology for Digital Libraries, 2010

2009

Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing.

[BibT_eX]

[DOI]

Ronny Siebes

Carles Sierra

Chris Walton

Proceedings of the Advances in Web Semantics I, 2009

Lightweight Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Semantic Matching.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

A large dataset for the evaluation of ontology matching.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2009

Service Integration through Structure-Preserving Semantic Matching.

[BibT_eX]

[DOI]

J. Cases Inf. Technol., 2009

On the Interdisciplinary Foundations of Diversity.

[BibT_eX]

[DOI]

Proceedings of First International Workshop on Living Web, 2009

Computing Minimal Mappings.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rui Zhang

Bruno Crispo

Proceedings of the ESWC2009 Workshop on Trust and Privacy on the Social and Semantic Web (SPOT2009) Heraklion, 2009

Concept Search.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

Using Description Logics in Relation Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Faceted Lightweight Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Introduction.

[BibT_eX]

[DOI]

Roberto De Virgilio

Letizia Tanca

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

Semantic Matching with S-Match.

[BibT_eX]

[DOI]

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

The Semantic Web Languages.

[BibT_eX]

[DOI]

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

Service Integration through Structure-Preserving Semantic Matching.

[BibT_eX]

[DOI]

Proceedings of the Cases on Semantic Interoperability for Information Systems Integration, 2009

2008

ScienceTreks: an autonomous digital library system.

[BibT_eX]

[DOI]

Alexander Ivanyukovich

Online Inf. Rev., 2008

RelBAC: Relation Based Access Control.

[BibT_eX]

[DOI]

Rui Zhang

Bruno Crispo

Proceedings of the Fourth International Conference on Semantics, Knowledge and Grid, 2008

ODBASE 2008 PC Co-chairs' Message.

[BibT_eX]

[DOI]

David de Francisco Marcos

Ling Feng

Malú Castellanos

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Towards Knowledge in the Cloud.

[BibT_eX]

[DOI]

Davide Cerri

Emanuele Della Valle

Dietrich Rebholz-Schuhmann

Reto Krummenacher

Elena Paslaru Bontas Simperl

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Concept Search: Semantics Enabled Syntactic Search.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Search (SemSearch 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

Approximate structure preserving semantic matching.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

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

[BibT_eX]

[DOI]

Fabio Casati

Ubiquity, 2007

Semantic Matching: Algorithms and Implementation.

[BibT_eX]

[DOI]

J. Data Semant., 2007

Encoding Classifications into Lightweight Ontologies.

[BibT_eX]

[DOI]

J. Data Semant., 2007

Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2007

From Web Directories to Ontologies: Natural Language Processing Challenges.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2007

Structure Preserving Semantic Matching.

[BibT_eX]

[DOI]

Adrián Perreau de Pinninck

Fiona McNeill

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

Open Knowledge.

[BibT_eX]

[DOI]

Srinandan Dasmahapatra

Antonis Loizou

Proceedings of the Languages, 2007

Importing from Functional Knowledge Bases - A Preview.

[BibT_eX]

[DOI]

Alexander Borgida

Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007

Formalizing the Get-Specific Document Classification Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2007

2006

Discovering Missing Background Knowledge in Ontology Matching.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Managing Diversity in Knowledge.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Autonomous Ontology: Operations and Semantics.

[BibT_eX]

[DOI]

Yuting Zhao

Proceedings of the Semantic Web, 2006

2005

Introduction to the Special Volume on Reformulation.

[BibT_eX]

[DOI]

Thomas Ellman

Artif. Intell., 2005

A Large Scale Taxonomy Mapping Evaluation.

[BibT_eX]

[DOI]

Paolo Avesani

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Towards a Distributed Architecture for Value Added Services to Digital Libraries.

[BibT_eX]

[DOI]

Aliaksei Yanchuk

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Semantic Schema Matching.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Web Explanations for Semantic Heterogeneity Discovery.

[BibT_eX]

[DOI]

Paulo Pinheiro da Silva

Deborah L. McGuinness

Proceedings of the Semantic Web: Research and Applications, 2005

Efficient Semantic Matching.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2005

SWebB: Semantic Web Browsing.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2005

SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Contextualizing ontologies.

[BibT_eX]

[DOI]

Heiner Stuckenschmidt

J. Web Semant., 2004

Tropos: An Agent-Oriented Software Development Methodology.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2004

Coordinating Mobile Databases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Heiner Stuckenschmidt

Proceedings of the KR-MED 2004, 2004

S-Match: an Algorithm and an Implementation of Semantic Matching.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2004

A Semantics for Abstraction.

[BibT_eX]

Chiara Ghidini

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Towards Explaining Semantic Matching.

[BibT_eX]

[DOI]

Deborah L. McGuinness

Paulo Pinheiro da Silva

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

Semantic matching.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2003

A Multi-agent System for Knowledge Management based on the Implicit Culture Framework.

[BibT_eX]

[DOI]

Proceedings of the WM 2003: Professionelles Wissensmanagement, 2003

C-OWL: Contextualizing Ontologies.

[BibT_eX]

[DOI]

Heiner Stuckenschmidt

Proceedings of the Semantic Web, 2003

Local Relational Model: A Logical Formalization of Database Coordination.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2003

Implicit Culture-Based Personal Agents for Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Agent Mediated Knowledge Management, 2003

2002

A Foundation for Metareasoning Part II: The Model Theory.

[BibT_eX]

[DOI]

Giovanni Criscuolo

J. Log. Comput., 2002

A Foundation for Metareasoning Part I: The Proof Theory.

[BibT_eX]

[DOI]

Giovanni Criscuolo

J. Log. Comput., 2002

ML Systems: A Proof Theory for Contexts.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2002

SAT-Based Decision Procedures for Classical Modal Logics.

[BibT_eX]

[DOI]

Armando Tacchella

J. Autom. Reason., 2002

Data Management for Peer-to-Peer Computing : A Vision.

[BibT_eX]

[DOI]

Philip A. Bernstein

Anastasios Kementsietsidis

John Mylopoulos

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.

[BibT_eX]

[DOI]

Anna Perini

Angelo Susi

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.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents VI, 6th International Workshop, 2002

NuSMV 2: An OpenSource Tool for Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

The Tropos Software Development Methodology: Processes, Models and Diagrams.

[BibT_eX]

[DOI]

John Mylopoulos

Anna Perini

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

2001

Ideal and Real Belief about Belief.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics.

[BibT_eX]

[DOI]

J. Symb. Comput., 2001

Reasoning Theories.

[BibT_eX]

[DOI]

Paolo Pecchiari

Carolyn L. Talcott

J. Autom. Reason., 2001

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

[BibT_eX]

[DOI]

Chiara Ghidini

Artif. Intell., 2001

Special Issue of the journal Artificial Intelligence on Reformulation.

[BibT_eX]

[DOI]

Thomas Ellman

Artif. Intell., 2001

Towards an Agent Oriented Approach to Software Engineering.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Alessandro Tomasi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Agent- Oriented Software Development: A Case Study.

[BibT_eX]

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Knowledge Level Software Engineering.

[BibT_eX]

[DOI]

Anna Perini

Fabrizio Sannicolò

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Modeling Early Requirements in Tropos: A Transformation Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

A knowledge level software engineering methodology for agent oriented programming.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

Theorem proving in technology transfer: the user's point of view.

[BibT_eX]

[DOI]

Vicky Hartonas-Garmhausen

Int. J. Softw. Tools Technol. Transf., 2000

NUSMV: A New Symbolic Model Checker.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2000

Verification of a safety-critical railway interlocking system with real-time constraints.

[BibT_eX]

[DOI]

Sérgio Vale Aguiar Campos

Alessandro Cimatti

Edmund M. Clarke

Sci. Comput. Program., 2000

SAT vs. translation based decision procedures for modal logics: a comparative evaluation.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2000

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

[BibT_eX]

[DOI]

Inf. Comput., 2000

Model Checking Security Protocols Using a Logic of Belief.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Composing and Controlling Search in Reasoning Theories Using Mappings.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2000

A Logic of Belief and a Model Checking Algorithm for Security Protocols.

[BibT_eX]

Proceedings of the Formal Techniques for Distributed System Development, 2000

Model Checking-Based Analysis of Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Specification and Integration of Theorem Provers and Computer Algebra Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

The OMRS project: State of the art.

[BibT_eX]

[DOI]

Proceedings of the Systems for Integrated Computation and Deduction, 1999

The control component of open mechanized reasoning systems.

[BibT_eX]

[DOI]

Alessandro Armando

Alessandro Coglio

Proceedings of the Systems for Integrated Computation and Deduction, 1999

Using Abstrips Abstractions - Where do We Stand?

[BibT_eX]

[DOI]

Artif. Intell. Rev., 1999

Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.

[BibT_eX]

[DOI]

Luca Spalazzi

Artif. Intell., 1999

Planning as Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

*SAT, KSATC, DLP and TA: a comparative analysis.

[BibT_eX]

[DOI]

Armando Tacchella

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Improved Automata Generation for Linear Temporal Logic.

[BibT_eX]

[DOI]

Marco Daniele

Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

NUSMV: A New Symbolic Model Verifier.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

The SAT-Based Approach for Classical Modal Logics.

[BibT_eX]

[DOI]

Armando Tacchella

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

Editorial.

[BibT_eX]

[DOI]

Nicholas R. Jennings

Michael J. Wooldridge

J. Log. Comput., 1998

Model Checking Multiagent Systems.

[BibT_eX]

[DOI]

J. Log. Comput., 1998

Formal Verification of a Railway Interlocking System using Model Checking.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

The OMRS project: state of the art.

[BibT_eX]

[DOI]

Piergiorgio Bertoli

Alessandro Coglio

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

A Many-Sorted Natural Deduction.

[BibT_eX]

[DOI]

Alessandro Cimatti

Richard W. Weyhrauch

Comput. Intell., 1998

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1998

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

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1998

More Evaluation of Decision Procedures for Modal Logics.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Multiagent Systems Verification via Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998

A Model Checking Algorithm for Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents V, 1998

1997

Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

Theories of Abstraction.

[BibT_eX]

[DOI]

Adolfo Villafiorita

AI Commun., 1997

Planning via Model Checking: A Decision Procedure for <i>AR</i>.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

A New Method for Testing Decision Procedures in Modal Logics.

[BibT_eX]

[DOI]

Marco Roveri

Proceedings of the Automated Deduction, 1997

1996

Dealing with expected and unexpected obstacles.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1996

Towards provably correct system synthesis and extension.

[BibT_eX]

[DOI]

Paolo Pecchiari

Alessandro Armando

Future Gener. Comput. Syst., 1996

Program Tactics and Logic Tactics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1996

A Metatheory of a Mechanized Object Theory.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Calculating Criticalities.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Ideal and Real Belief aobout Belief: Some Intuitions.

[BibT_eX]

[DOI]

Proceedings of the Agents Breaking Away, 1996

A SAT-based Decision Procedure for ALC.

[BibT_eX]

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.

[BibT_eX]

Paolo Pecchiari

Carolyn L. Talcott

Proceedings of the Frontiers of Combining Systems, 1996

An SAT-based Decision Procedure for ALC.

[BibT_eX]

Proceedings of the 1996 International Workshop on Description Logics, 1996

A New Method for Testing Decision Procedures in Modal and Terminological Logics.

[BibT_eX]

Marco Roveri

Proceedings of the 1996 International Workshop on Description Logics, 1996

ABSFOL: A Proof Checker with Abstraction.

[BibT_eX]

[DOI]

Adolfo Villafiorita

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents III, 1996

A General Purpose Reasoner for Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 1996

Computing Abstraction Hierarchies by Numerical Simulation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Paolo Bouquet

Fundam. Informaticae, 1995

An Epistemological Science of Common Sense.

[BibT_eX]

Artif. Intell., 1995

Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem.

[BibT_eX]

Paolo Bouquet

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

Agents as Reasoners, Observers, or Arbitrary Believers.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Luca Spalazzi

Proceedings of the Intelligent Agents II, 1995

Agents as Reasoners, Observers or Believers.

[BibT_eX]

[DOI]

Proceedings of the Topics in Artificial Intelligence, 1995

1994

Multilanguage Hierarchical Logics or: How we can do Without Modal Logics.

[BibT_eX]

[DOI]

Artif. Intell., 1994

Introspective Metatheoretic Reasoning.

[BibT_eX]

[DOI]

Alessandro Cimatti

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Planning with Failure.

[BibT_eX]

[DOI]

Luca Spalazzi

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

1993

The Inevitability of Inconsistent Abstract Spaces.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Non-Omniscient Belief as Context-Based Resoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1992

A Theory of Abstraction.

[BibT_eX]

[DOI]

Artif. Intell., 1992

Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.

[BibT_eX]

[DOI]

Alex K. Simpson

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Tree Subsumption: Reasoning with Outlines.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

Mulitlanguage First Order Theories of Propositional Attitudes.

[BibT_eX]

Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Automating Meta-Theory Creation and System Extension.

[BibT_eX]

[DOI]

David A. Basin

Proceedings of the Trends in Artificial Intelligence, 1991

1989

FUR: Understanding functional reasoning.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1989

Abstract Theorem Proving.

[BibT_eX]

[DOI]

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

1988

Reflection in Constructive and Non-constructive Automated Reasoning.

[BibT_eX]

Alan Smaill

Proceedings of the Meta-Programming in Logic Programming, 1988

Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the COMPCON'87, 1987

1986

Reasoning about scene descriptions.

[BibT_eX]

[DOI]

Proc. IEEE, 1986

1984

From Descriptions to Images: What Reasoning in between?

[BibT_eX]

Proceedings of the Advances in Artificial Intelligence, 1984

Natural Language driven Image Generation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Ernesto Pino

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983

Some Basic Mechanisms for Common Sense Reasoning About Stories Environments.

[BibT_eX]

[DOI]