Luciano Serafini

Mohamadreza Faridghasemnia

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

The Semantic PASCAL-Part Dataset.

[BibT_eX]

[DOI]

Dataset, January, 2022

Reasoning on with Defeasibility in ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Aligning and linking entity mentions in image, text, and knowledge base.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2022

Exploiting Socially-Aware Tasks for Embodied Social Navigation.

[BibT_eX]

[DOI]

CoRR, 2022

Logic Tensor Networks.

[BibT_eX]

[DOI]

Samy Badreddine

Michael Spranger

Artif. Intell., 2022

A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision.

[BibT_eX]

[DOI]

Gianluca Apriceno

Andrea Passerini

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

A better loss for visual-textual grounding.

[BibT_eX]

[DOI]

Davide Rigoni

Alessandro Sperduti

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

On Projectivity in Markov Logic Networks.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Online Grounding of Symbolic Planning Domains in Unknown Environments.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Multi Context Model Counting.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Knowledge Graph Generation From Text and the 1st International Workshop on Modular Knowledge co-located with 19th Extended Semantic Conference (ESWC 2022), 2022

Online Learning of Reusable Abstract Models for Object Goal Navigation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Knowledge Enhanced Neural Networks for Relational Domains.

[BibT_eX]

[DOI]

Alessandro Daniele

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

Logic Tensor Networks for Top-N Recommendation.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Logic Tensor Networks: Theory and Applications.

[BibT_eX]

[DOI]

Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Knowledge Graph OLAP.

[BibT_eX]

[DOI]

Semantic Web, 2021

On some Foundational Aspects of Human-Centered Artificial Intelligence.

[BibT_eX]

[DOI]

Javier Vázquez-Salceda

CoRR, 2021

Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments.

[BibT_eX]

[DOI]

CoRR, 2021

A formalisation of BPMN in Description Logics.

[BibT_eX]

[DOI]

CoRR, 2021

Reasoning on DL-LiteR with Defeasibility in ASP.

[BibT_eX]

[DOI]

CoRR, 2021

A Neuro-Symbolic Approach to Structured Event Recognition.

[BibT_eX]

[DOI]

Gianluca Apriceno

Andrea Passerini

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Online Learning of Action Models for PDDL Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Learning and Reasoning with Logic Tensor Networks: The Framework and an Application (Abstract of Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Learning and Reasoning with Logic Tensor Networks: the Framework and an Application.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces.

[BibT_eX]

[DOI]

Leonardo Lamanna

Alfonso Emilio Gerevini

Alessandro Saetti

Paolo Traverso

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Weighed Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.

[BibT_eX]

[DOI]

CoRR, 2020

Neural Networks Enhancement through Prior Logical Knowledge.

[BibT_eX]

[DOI]

Alessandro Daniele

CoRR, 2020

On Visual-Textual-Knowledge Entity Linking.

[BibT_eX]

[DOI]

Proceedings of the IEEE 14th International Conference on Semantic Computing, 2020

VTKEL: a resource for visual-textual-knowledge entity linking.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Jointly Linking Visual and Textual Entity Mentions with Background Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Processing and Information Systems, 2020

Exploiting Scene-Specific Features for Object Goal Navigation.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020 Workshops, 2020

VT-LINKER: Visual-Textual-Knowledge Entity Linker.

[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

2019

Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning.

[BibT_eX]

[DOI]

FLAP, 2019

A Note on Reasoning on DL-LiteR with Defeasibility.

[BibT_eX]

[DOI]

CoRR, 2019

Incremental Learning of Discrete Planning Domains from Continuous Perceptions.

[BibT_eX]

[DOI]

Paolo Traverso

CoRR, 2019

Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Complementing Logical Reasoning with Sub-symbolic Commonsense.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Knowledge Enhanced Neural Networks.

[BibT_eX]

[DOI]

Alessandro Daniele

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

Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Justifiable Exceptions in General Contextual Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2019

Event Detection from Video Using Answer Set Programing.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Learning Abstract Planning Domains and Mappings to Real World Perceptions.

[BibT_eX]

[DOI]

Paolo Traverso

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix).

[BibT_eX]

[DOI]

CoRR, 2018

Enhancing context knowledge repositories with justifiable exceptions.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Reasoning with Justifiable Exceptions in Contextual Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Bayesian Markov Logic Networks - Bayesian Inference for Statistical Relational Learning.

[BibT_eX]

[DOI]

Radim Nedbal

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2017

Distributed First Order Logic.

[BibT_eX]

[DOI]

Artif. Intell., 2017

CKR: Live Demo: Representing an Evolving Scenario by Contexts and Exceptions.

[BibT_eX]

[DOI]

Gaetano Calabrese

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

Towards integration of ontology and text-extracted data for event coreference reasoning.

[BibT_eX]

[DOI]

Stefano Borgo

Alessio Palmero Aprosio

Proceedings of the Symposium on Applied Computing, 2017

Logic Tensor Networks for Semantic Image Interpretation.

[BibT_eX]

[DOI]

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

CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States.

[BibT_eX]

[DOI]

Gaetano Calabrese

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes.

[BibT_eX]

[DOI]

Semantic Web, 2016

Integration of numeric and symbolic information for semantic image interpretation.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2016

On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning.

[BibT_eX]

[DOI]

Stefano Borgo

Alessio Palmero Aprosio

CoRR, 2016

Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016

Learning and Reasoning with Logic Tensor Networks.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

The KnowledgeStore: A Storage Framework for Interlinking Unstructured and Structured Knowledge.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2015

Ontology-centered environmental information delivery for personalized decision support.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2015

Getting the environmental information across: from the Web to the user.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2015

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print).

[BibT_eX]

[DOI]

CoRR, 2015

Semantic Enrichment of Mobile Phone Data Records Using Background Knowledge.

[BibT_eX]

[DOI]

CoRR, 2015

Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach.

[BibT_eX]

[DOI]

Daniil Mirylenka

Andrea Passerini

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Contextual Framework for Reasoning on Events.

[BibT_eX]

[DOI]

Stefano Borgo

Alessio Palmero Aprosio

Proceedings of the 4th International Workshop on Detection, 2015

2014

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version).

[BibT_eX]

[DOI]

Gabriel M. Kuper

CoRR, 2014

Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation.

[BibT_eX]

[DOI]

CoRR, 2014

Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources.

[BibT_eX]

[DOI]

Claudia d'Amato

Volha Bryl

Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Integrating NLP and SW with the KnowledgeStore.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Exploring an Ontology via Text Similarity: An Experimental Study.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Intelligent Exploration of Semantic Data (IESD 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

ePlanning: An Ontology-based System for Building Individualized Education Plans for Students with Special Educational Needs.

[BibT_eX]

[DOI]

Proceedings of the Industry Track at the International Semantic Web Conference 2014 Co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.

[BibT_eX]

[DOI]

Gabriel M. Kuper

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

NewsReader: recording history from daily news streams.

[BibT_eX]

[DOI]

Willem Robert van Hage

Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Human activity recognition from spatial data sources.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSPATIAL International Workshop on Mobile Geographic Information Systems, 2014

An ontology for the Business Process Modelling Notation.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

On the Collaborative Development of Application Ontologies: A Practical Case Study with a SME.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Integrating Unstructured and Structured Knowledge with the KnowledgeStore.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation - (Extended Paper).

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Mixing Low-Level and Semantic Features for Image Interpretation - A Framework and a Simple Case Study.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014

Combining Reasoning on Semantic Web Metadata.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Contextualized Knowledge Repositories with Justifiable Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.

[BibT_eX]

[DOI]

Gabriel M. Kuper

Proceedings of the 29th Italian Conference on Computational Logic, 2014

Defeasibility in Contextual Reasoning with CKR.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

The Medical Cyber-physical Systems Activity at EIT: A Look under the Hood.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Multi-context Logics - A General Introduction.

[BibT_eX]

[DOI]

Proceedings of the Context in Computing, 2014

2013

Anchoring Background Knowledge to Rich Multimedia Contexts in the KnowledgeStore.

[BibT_eX]

[DOI]

Proceedings of the New Trends of Research in Ontologies and Lexical Resources, 2013

Semantic technologies for industry: From knowledge modeling and integration to intelligent applications.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

Denoting Data in the Grounded Annotation Framework.

[BibT_eX]

[DOI]

Willem Robert van Hage

Rachele Sprugnoli

Jesper Hoeksema

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Semantic Interpretation of Mobile Phone Records Exploiting Background Knowledge.

[BibT_eX]

[DOI]

Zolzaya Dashdorj

Proceedings of the Doctoral Consortium co-located with 12th International Semantic Web Conference (ISWC 2013), 2013

Semantic Enrichment of Mobile Phone Data Records Using Linked Open Data.

[BibT_eX]

[DOI]

Zolzaya Dashdorj

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Interlinking Unstructured and Structured Knowledge in an Integrated Framework.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Seventh International Conference on Semantic Computing, 2013

GAF: A Grounded Annotation Framework for Events.

[BibT_eX]

[DOI]

Willem Robert van Hage

Rachele Sprugnoli

Jesper Hoeksema

Proceedings of the Workshop on Events: Definition, 2013

Semantic enrichment of mobile phone data records.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Mobile and Ubiquitous Multimedia, 2013

Comparing contextual and flat representations of knowledge: a concrete case about football data.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Knowledge Capture, 2013

Materialization Calculus for Contexts in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

ExpTime Tableaux Algorithm for Contextualized ALC.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2013

2012

Contextualized knowledge repositories for the Semantic Web.

[BibT_eX]

[DOI]

J. Web Semant., 2012

Semantics-Based Aspect-Oriented Management of Exceptional Flows in Business Processes.

[BibT_eX]

[DOI]

Paolo Tonella

IEEE Trans. Syst. Man Cybern. Part C, 2012

Corpus-based terminological evaluation of ontologies.

[BibT_eX]

[DOI]

Appl. Ontology, 2012

Multi Context Logics: a Formal Framework for Structuring Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Data-Driven Logical Reasoning.

[BibT_eX]

[DOI]

Claudia d'Amato

Volha Bryl

Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, 2012

Ontology-centric Decision Support.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Semantic Technologies meet Recommender Systems & Big Data, 2012

Formal Verification of Data Provenance Records.

[BibT_eX]

[DOI]

Szymon Klarman

Stefan Schlobach

Proceedings of the Semantic Web - ISWC 2012, 2012

A Formal Semantics for Weighted Ontology Mappings.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

A novel Framenet-based resource for the semantic web.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

From Ontology to NL: Generation of Multilingual User-Oriented Environmental Reports.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Processing and Information Systems, 2012

The KnowledgeStore: an Entity-Based Storage System.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Language Resources and Evaluation, 2012

Personalized Environmental Service Orchestration for Quality of Life Improvement.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2012

Personalized Environmental Service Configuration and Delivery Orchestration: The PESCaDO Demonstrator.

[BibT_eX]

[DOI]

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

Generation of Multilingual Personalized Environmental Bulletins from an OWL-based Ontology.

[BibT_eX]

[DOI]

Proceedings of the Light up the Ideas of Environmental Informatics: Proceedings of the 26th International Conference on Informatics for Environmental Protection, 2012

Semantic Knowledge Discovery from Heterogeneous Data Sources.

[BibT_eX]

[DOI]

Claudia d'Amato

Volha Bryl

Proceedings of the Knowledge Engineering and Knowledge Management, 2012

Investigating the Semantics of Frame Elements.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2012

Key-Concept Extraction for Ontology Engineering.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2012

Towards More Effective Tableaux Reasoning for CKR.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

An Ontological Framework for Decision Support.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology, Second Joint International Conference, 2012

TrentinoMedia: Exploiting NLP and Background Knowledge to Browse a Large Multimedia News Store.

[BibT_eX]

[DOI]

Proceedings of the Popularize Artificial Intelligence, 2012

2011

A framework for the collaborative specification of semantically annotated business processes.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2011

Simple Reasoning for Contextualized RDF Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Wiki-Based Conceptual Modeling: An Experience with the Public Administration.

[BibT_eX]

[DOI]

Cristiano Casagni

Proceedings of the Semantic Web - ISWC 2011, 2011

Boosting Collaborative Ontology Building with Key-Concept Extraction.

[BibT_eX]

[DOI]

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

Building an Environmental Information System for Personalized Content Delivery.

[BibT_eX]

[DOI]

Proceedings of the Environmental Software Systems. Frameworks of eEnvironment, 2011

Contextual Representation and Reasoning with Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Applications of Semantic Wikis.

[BibT_eX]

[DOI]

Proceedings of the Context and Semantics for Knowledge Management, 2011

2010

Augmenting Subsumption Propagation in Distributed Description Logics.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2010

Supporting Natural Language Processing with Background Knowledge: Coreference Resolution Case.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Context-Driven Semantic Enrichment of Italian News Archive.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2010

Automatic Support for Formative Ontology Evaluation.

[BibT_eX]

[DOI]

Viktoria Pammer

Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Modeling Contextualized Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Context, Information and Ontologies, 2010

MoKi: a Wiki-based Conceptual Modeling Tool.

[BibT_eX]

[DOI]

Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Using Background Knowledge to Support Coreference Resolution.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Towards Formal Comparison of Ontology Linking, Mapping and Importing.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

A Formal Model of Queries on Interlinked RDF Graphs.

[BibT_eX]

[DOI]

Proceedings of the Linked Data Meets Artificial Intelligence, 2010

2009

Composing Modular Ontologies with Distributed Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 2009

Formal and Conceptual Comparison of Ontology Mapping Languages.

[BibT_eX]

[DOI]

Saartje Brockmans

Peter Haase

Proceedings of the Modular Ontologies: Concepts, 2009

MoKi: the Modelling wiKi.

[BibT_eX]

[DOI]

Proceedings of the 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), 2009

Highlighting Assertional Effects of Ontology Editing Activities in OWL.

[BibT_eX]

[DOI]

Viktoria Pammer

Proceedings of the 3rd International Workshop on Ontology Dynamics, 2009

Semantically-Aided Business Process Modeling.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

A Methodology for Knowledge Acquisition in Consumer-Oriented Healthcare.

[BibT_eX]

[DOI]

Elena Cardillo

Proceedings of the Knowledge Discovery, Knowlege Engineering and Knowledge Management, 2009

A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition.

[BibT_eX]

Elena Cardillo

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

Revision Support for Modeling Tasks, Topics and Skills.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Semantic Systems, 2009

Context shifting for effective search over large knowledge bases.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Context, Information and Ontologies, 2009

MoKi: The Enterprise Modelling Wiki.

[BibT_eX]

[DOI]

Barbara Kump

Proceedings of the Semantic Web: Research and Applications, 2009

A Lexical-Ontological Resource for Consumer Healthcare.

[BibT_eX]

[DOI]

Elena Cardillo

Proceedings of the Electronic Healthcare - Second International ICST Conference, 2009

Collaborative Specification of Semantically Annotated Business Processes.

[BibT_eX]

[DOI]

Paolo Tonella

Proceedings of the Business Process Management Workshops, 2009

Querying the Web of Data: A Formal Approach.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, Fourth Asian Conference, 2009

Modular Knowledge Representation and Reasoning in the Semantic Web.

[BibT_eX]

[DOI]

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

2008

Collaborative Enterprise Integrated Modelling.

[BibT_eX]

[DOI]

Andreas Faatz

Tobias Ley

Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company.

[BibT_eX]

[DOI]

Conny Christl

Joanna Guss

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Reasoning on Semantically Annotated Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2008

Complexity of Reasoning With Expressive Ontology Mappings.

[BibT_eX]

[DOI]

Sergio Tessaris

Proceedings of the Formal Ontology in Information Systems, 2008

Bridging Heterogeneous Representations of Binary Relations: First Results.

[BibT_eX]

[DOI]

Sergio Tessaris

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Logical Analysis of Mappings between Medical Classification Systems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Reasoning with Instances of Heterogeneous Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita' degli Studi di Bari, 2007

Instance Migration in Heterogeneous Ontology Environments.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2007

A Modular Framework for Ontology-based Representation of Patent Information.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2007

Contextual Default Reasoning.

[BibT_eX]

[DOI]

Gerhard Brewka

Proceedings of the IJCAI 2007, 2007

On Relating Heterogeneous Elements from Different Ontologies.

[BibT_eX]

[DOI]

Rubén Carvajal-Schiaffino

Sergio Tessaris

Proceedings of the Modeling and Using Context, 2007

2006

Formal analysis of an agent-based optimisation strategy for Data Grids.

[BibT_eX]

[DOI]

David G. Cameron

Multiagent Grid Syst., 2006

Logics For Artificial Intelligence.

[BibT_eX]

Luigia Carlucci Aiello

Enrico Giunchiglia

Intelligenza Artificiale, 2006

Bootstrapping semantics on the web: meaning elicitation from schemas.

[BibT_eX]

[DOI]

Proceedings of the 15th international conference on World Wide Web, 2006

From Mentions to Ontology: A Pilot Sudy.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2006, 2006

Semantic Import: An Approach for Partial Ontology Reuse.

[BibT_eX]

[DOI]

Jeff Z. Pan

Yuting Zhao

Proceedings of the 1st International Workshop on Modular Ontologies, 2006

Mapping Properties of Heterogeneous Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Modular Ontologies, 2006

Verifying Space and Time Requirements for Resource-Bounded Agents.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

The role of lexical resources in matching classification schemas.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

Matching Hierarchical Classifications with Attributes.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

Reconciling Concepts and Relations in Heterogeneous Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

Autonomous Ontology: Operations and Semantics.

[BibT_eX]

[DOI]

Yuting Zhao

Proceedings of the Semantic Web, 2006

Model-Checking Memory Requirements of Resource-Bounded Reasoners.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Semantic Coordination of Heterogeneous Classifications Schemas.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web and Peer-to-Peer, 2006

2005

Distributed Instance Retrieval in Heterogeneous Ontologies.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2005, 2005

From Text to Knowledge for the Semantic Web: the ONTOTEXT Project.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2005, 2005

Introducing Context into RDF Knowledge Bases.

[BibT_eX]

[DOI]

Heiko Stoermer

Proceedings of the SWAP 2005, 2005

A Formal Investigation of Mapping Language for Terminological Knowledge.

[BibT_eX]

[DOI]

Holger Wache

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Aspects of Distributed and Modular Ontology Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Minimal and Absent Information in Contexts.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

DRAGO: Distributed Reasoning Architecture for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2005

Minimality and Non-determinism in Multi-context Systems.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2005

A Formal Investigation of Mapping Languages for Terminological Knowledge.

[BibT_eX]

Holger Wache

Proceedings of the BNAIC 2005, 2005

2004

Peer-to-peer semantic coordination.

[BibT_eX]

[DOI]

J. Web Semant., 2004

Contextualizing ontologies.

[BibT_eX]

[DOI]

J. Web Semant., 2004

Semantic Coordination for Document Retrieval.

[BibT_eX]

[DOI]

Manuela Speranza

Künstliche Intell., 2004

Comparing formal theories of context in AI.

[BibT_eX]

[DOI]

Artif. Intell., 2004

Using C-OWL for the alignment and merging of medical ontologies.

[BibT_eX]

[DOI]

Proceedings of the KR-MED 2004, 2004

Satisfiability for Propositional Contexts.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems.

[BibT_eX]

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

Local Tableaux for Reasoning in Distributed Description Logics.

[BibT_eX]

[DOI]

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

Coordinating Semantic Peers.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2004

Complexity of Contextual Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Context matching for electronic marketplaces: a case study.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2003

Distributed Description Logics: Assimilating Information from Peer Sources.

[BibT_eX]

[DOI]

J. Data Semant., 2003

A Robust and Computational Characterisation of Peer-to-Peer Database Systems

[BibT_eX]

[DOI]

CoRR, 2003

Semantic Coordination in Systems of Autonomous Agents: the Approach and an Implementation.

[BibT_eX]

Mario Zanobini

Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

Semantic Coordination: A New Approach and an Application.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2003

C-OWL: Contextualizing Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2003

Planning For Web Services the Hard Way.

[BibT_eX]

[DOI]

Mark James Carman

Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT 2003), 27-31 January 2003, 2003

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Databases, 2003

Local Relational Model: A Logical Formalization of Database Coordination.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2003

On the Difference between Bridge Rules and Lifting Axioms.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2003

A SAT-Based Algorithm for Context Matching.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2003

Making Explicit the Hidden Semantics of Hierarchical Classifications.

[BibT_eX]

[DOI]

Manuela Speranza

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

2002

Mental States Recognition from Communication.

[BibT_eX]

[DOI]

Aldo Franco Dragoni

Paolo Giorgini

J. Log. Comput., 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

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

[BibT_eX]

[DOI]

Philip A. Bernstein

Anastasios Kementsietsidis

John Mylopoulos

Ilya Zaihrayeu

Proceedings of the Fifth International Workshop on the Web and Databases, 2002

A Request Language for Web-Services Based on Planning and Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, Third International Workshop, 2002

Updating Contexts.

[BibT_eX]

Antonia Donà

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Distributed Description Logics: First results.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

Multicontext Logic for Semigroups of Contexts.

[BibT_eX]

[DOI]

Rolf Nossum

Proceedings of the Artificial Intelligence, 2002

2001

Toward an architecture for quantum programming

[BibT_eX]

[DOI]

S. Bettelli

Tommaso Calarco

CoRR, 2001

Extending Multi-agent Cooperation by Overhearing.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

Two Formalizations of Context: A Comparison.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2001

Ontological Overhearing.

[BibT_eX]

[DOI]

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

2000

Using Wrapper Agents to Answer Queries in Distributed Information Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Updating Mental States from Communication.

[BibT_eX]

[DOI]

Aldo Franco Dragoni

Paolo Giorgini

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Updating mental states from informative communication.

[BibT_eX]

[DOI]

Aldo Franco Dragoni

Paolo Giorgini

Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1999

Formal specification of beliefs in multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1999

A Context-Based Logic for Distributed Knowledge Representation and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 1999

1998

Model Checking Multiagent Systems.

[BibT_eX]

[DOI]

Massimo Benerecetti

J. Log. Comput., 1998

Multiagent Systems Verification via Model Checking.

[BibT_eX]

[DOI]

Massimo Benerecetti

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]

Massimo Benerecetti

Proceedings of the Intelligent Agents V, 1998

Information Integration for Electronic Commerce.

[BibT_eX]

[DOI]

Proceedings of the Agent Mediated Electronic Commerce, 1998

Model Theoretic Semantics for Information Integration.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 1998

1996

Mechanizing Multi-Agent Reasoning with Belief Contexts.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

Formal Specification of Beliefs in Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents III, 1996

1995

Agents as Reasoners, Observers, or Arbitrary Believers.

[BibT_eX]

Enrico Giunchiglia

Proceedings of the First International Conference on Multiagent Systems, 1995

Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance.

[BibT_eX]

Proceedings of the First International Conference on Multiagent Systems, 1995

Agents as Reasoners, Observers or Believers.

[BibT_eX]

[DOI]

Enrico Giunchiglia

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

Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents, 1994

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

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

1991

Mulitlanguage First Order Theories of Propositional Attitudes.

[BibT_eX]