Rafael Peñaloza

Alessandro Raganato

Proceedings of The Seventh Image Schema Day co-located with The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023

Plan Recognition as Probabilistic Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Process Mining, 2023

Semiring Provenance in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

ASP-based Axiom Pinpointing for Description Logics.

[BibT_eX]

[DOI]

2022

Probabilistic declarative process mining.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Highlights of AI Research in Europe.

[BibT_eX]

[DOI]

Steven Schockaert

AI Commun., 2022

Towards a Robust Approach to Analyze Time-Dependent Data in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2022

Pinpointing Axioms in Ontologies via ASP.

[BibT_eX]

[DOI]

Francesco Ricca

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

User-aware Explications of Ontology Consequences: Levelling Technicality.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

Union and Intersection of All Justifications.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 19th International Conference, 2022

2021

The Probabilistic Description Logic.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

Theory Pract. Log. Program., 2021

Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361).

[BibT_eX]

[DOI]

João Marques-Silva

Uli Sattler

Dagstuhl Reports, 2021

A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics.

[BibT_eX]

[DOI]

Algorithms, 2021

Special issue on historical and future perspectives of AI.

[BibT_eX]

[DOI]

Steven Schockaert

AI Commun., 2021

Safety of quantified ABoxes w.r.t. singleton εL policies.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Using an Ensemble of Features for Personalized Recommendations of Scientific Publications.

[BibT_eX]

[DOI]

Proceedings of the 11th Italian Information Retrieval Workshop 2021, 2021

Probabilistic Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Process Mining, 2021

Complementing Language Embeddings with Knowledge Bases for Specific Domains.

[BibT_eX]

[DOI]

Paolo Tenti

Gabriella Pasi

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

An Upper Bound for Provenance in ELHr.

[BibT_eX]

[DOI]

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

Union and Intersection of all Justifications (Extended Abstract).

[BibT_eX]

[DOI]

Jieying Chen

Hui Yang

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

Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox.

[BibT_eX]

[DOI]

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

A Tool for Computing Probabilistic Trace Alignments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC, Australia, June 28, 2021

2020

Axiom Pinpointing.

[BibT_eX]

[DOI]

Proceedings of the Applications and Practices in Ontology Design, 2020

Error-Tolerance and Error Management in Lightweight Description Logics.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT.

[BibT_eX]

[DOI]

Norbert Manthey

Sebastian Rudolph

Künstliche Intell., 2020

The Probabilistic Description Logic BALC.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

CoRR, 2020

Axiom Pinpointing.

[BibT_eX]

[DOI]

CoRR, 2020

Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2020, 2020

Introduction to Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Query Answering in Fuzzy DL-Lite with Graded Axioms.

[BibT_eX]

[DOI]

Gabriella Pasi

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

Towards a Logic of Meta-Analysis.

[BibT_eX]

[DOI]

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

Reasoning with Contextual Knowledge and Influence Diagrams.

[BibT_eX]

[DOI]

Erman Acar

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

Provenance for the Description Logic ELHr.

[BibT_eX]

[DOI]

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

Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract).

[BibT_eX]

[DOI]

Gabriella Pasi

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Provenance for the Description Logic ELHr (Extended Abstract).

[BibT_eX]

[DOI]

Introduction to Probabilistic Ontologies (tutorial).

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Probabilistic Conformance Checking Based on Declarative Process Models.

[BibT_eX]

[DOI]

Fabrizio Maria Maggi

Marco Montali

Proceedings of the Advanced Information Systems Engineering, 2020

Extending Temporal Business Constraints with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 18th International Conference, 2020

Temporal Logics Over Finite Traces with Uncertainty.

[BibT_eX]

[DOI]

Fabrizio Maria Maggi

Marco Montali

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Image Schema Combinations and Complex Events.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Enriching Ontology-based Data Access with Provenance (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Probabilistic Temporal Logic over Finite Traces (Technical Report).

[BibT_eX]

[DOI]

Fabrizio Maria Maggi

Marco Montali

Alessander Botti Benevides

CoRR, 2019

Representing a reference foundational ontology of events in SROIQ.

[BibT_eX]

[DOI]

Jean-Rémi Bourguet

Giancarlo Guizzardi

João Paulo A. Almeida

Appl. Ontology, 2019

Making Decisions with Knowledge Base Repairs.

[BibT_eX]

[DOI]

Proceedings of the Modeling Decisions for Artificial Intelligence, 2019

A Bayesian Extension of the Description Logic ALC.

[BibT_eX]

[DOI]

Thomas Meyer

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Enriching Ontology-based Data Access with Provenance.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Making Decisions over Contextual Ontologies.

[BibT_eX]

[DOI]

Erman Acar

Livia Predoiu

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

Explaining Axiom Pinpointing.

[BibT_eX]

[DOI]

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

2018

A Hardware/Software Stack for Heterogeneous Systems.

[BibT_eX]

[DOI]

IEEE Trans. Multi Scale Comput. Syst., 2018

Query Answering for Rough EL Ontologies (Extended Technical Report).

[BibT_eX]

[DOI]

Veronika Thost

CoRR, 2018

Repairing Description Logic Ontologies by Weakening Axioms.

[BibT_eX]

[DOI]

CoRR, 2018

Upward refinement operators for conceptual blending in the description logic ℰ ℒ++.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2018

Consequence-Based Axiom Pinpointing.

[BibT_eX]

[DOI]

Ana Ozaki

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Query Answering for Rough EL Ontologies.

[BibT_eX]

[DOI]

Veronika Thost

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

Cutting Diamonds: A Temporal Logic with Probabilistic Distributions.

[BibT_eX]

[DOI]

Alisa Kovtunova

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

Making Repairs in Description Logics More Gentle.

[BibT_eX]

[DOI]

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

Two Approaches to Ontology Aggregation Based on Axiom Weakening.

[BibT_eX]

[DOI]

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

Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Computational Creativity, 2018

Provenance in Ontology-based Data Access.

[BibT_eX]

[DOI]

Ana Ozaki

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data.

[BibT_eX]

[DOI]

Alisa Kovtunova

The Bayesian Description Logic BALC.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

Making Repairs in Description Logics More Gentle (Extended Abstract).

[BibT_eX]

[DOI]

What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, 2018

Repairing Ontologies via Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Decidability and Complexity of Fuzzy Description Logics.

[BibT_eX]

[DOI]

Künstliche Intell., 2017

The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2017

Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

The complexity of fuzzy EL under the Łukasiewicz T-norm.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness.

[BibT_eX]

[DOI]

FLAP, 2017

Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version).

[BibT_eX]

[DOI]

CoRR, 2017

A Decidable Very Expressive Description Logic for Databases (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Understanding the complexity of axiom pinpointing in lightweight description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Towards Statistical Reasoning in Description Logics over Finite Domains.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Fuzzy Description Logics - A Survey.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

A Decidable Very Expressive Description Logic for Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Inconsistency-Tolerant Instance Checking in Tractable Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

Repairing Socially Aggregated Ontologies Using Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

An Automata View to Goal-Directed Methods.

[BibT_eX]

[DOI]

Lisa Hutschenreiter

Proceedings of the Language and Automata Theory and Applications, 2017

The Shape of the Other.

[BibT_eX]

[DOI]

Alessander Botti Benevides

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Representing the UFO-B Foundational Ontology of Events in SROIQ.

[BibT_eX]

[DOI]

Jean-Rémi Bourguet

Giancarlo Guizzardi

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Query Answering in Ontologies under Preference Rankings.

[BibT_eX]

[DOI]

Oana Tifrea-Marciuska

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

Lean Kernels in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 14th International Conference, 2017

Debugging EL+ Ontologies through Horn MUS Enumeration.

[BibT_eX]

[DOI]

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

Coherence, Similarity, and Concept Generalisation.

[BibT_eX]

[DOI]

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

Łukasiewicz Fuzzy EL is Undecidable.

[BibT_eX]

[DOI]

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

Semantic Rules for Machine Diagnostics: Execution and Management.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Two Applications of Concept Refinement.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017 co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

Minimal Undefinedness for Fuzzy Answer Sets.

[BibT_eX]

[DOI]

Mario Alviano

Giovanni Amendola

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.

[BibT_eX]

[DOI]

J. Data Semant., 2016

Reasoning in Fuzzy Description Logics using Automata.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2016

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version).

[BibT_eX]

[DOI]

CoRR, 2016

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Efficient Reasoning for Inconsistent Horn Formulae.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Complexity Results for Probabilistic Datalog±.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Efficient Axiom Pinpointing in EL using SAT Technology.

[BibT_eX]

[DOI]

Norbert Manthey

Sebastian Rudolph

Proceedings of the 29th International Workshop on Description Logics, 2016

Conceptual Blending in EL++.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Reasoning in Expressive Gödel Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Fuzzy answer set computation via satisfiability modulo theories.

[BibT_eX]

[DOI]

Mario Alviano

Theory Pract. Log. Program., 2015

On the Decidability Status of Fuzzy ALC with General Concept Inclusions.

[BibT_eX]

[DOI]

J. Philos. Log., 2015

Similarity-based relaxed instance queries.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

Dynamic Bayesian Ontology Languages.

[BibT_eX]

[DOI]

CoRR, 2015

Reasoning in Infinitely Valued G-IALCQ.

[BibT_eX]

[DOI]

CoRR, 2015

The limits of decidability in fuzzy description logics with general concept inclusions.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Probabilistic Query Answering in the Bayesian Description Logic BEL.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015

The Bayesian Ontology Reasoner is BORN!

[BibT_eX]

[DOI]

Julian Mendez

Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Iterative Ontology Updates Using Context Labels.

[BibT_eX]

[DOI]

Aparna Saisree Thuluva

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

The Complexity of Subsumption in Fuzzy EL.

[BibT_eX]

[DOI]

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

Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Dynamic Bayesian Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Answering EL Queries in the Presence of Preferences.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Conjunctive Query Answering with Finitely Many Truth Degrees.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

The complexity of computing the behaviour of lattice automata on infinite trees.

[BibT_eX]

[DOI]

Karsten Lehmann

Theor. Comput. Sci., 2014

Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Consistency reasoning in lattice-based fuzzy Description Logics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Finite Lattices Do Not Make Reasoning in ALCOI Harder.

[BibT_eX]

[DOI]

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

Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics.

[BibT_eX]

[DOI]

Theofilos P. Mailis

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

Answering Instance Queries Relaxed by Concept Similarity.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Decidable Gödel Description Logics without the Finitely-Valued Model Property.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Reasoning in ALC with Fuzzy Concrete Domains.

[BibT_eX]

[DOI]

Dorian Merz

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$.

[BibT_eX]

[DOI]

Michel Ludwig

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics.

[BibT_eX]

[DOI]

José A. Leyva Galano

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

DeaLing with Ontologies using CODs.

[BibT_eX]

[DOI]

Chiara Del Vescovo

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

Certain Answers in a Rough World.

[BibT_eX]

[DOI]

Veronika Thost

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

Towards Parallel Repair: An Ontology Decomposition-based Approach.

[BibT_eX]

[DOI]

Yue Ma

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

Brave and Cautious Reasoning in EL.

[BibT_eX]

[DOI]

Michel Ludwig

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

Mary, What's Like All Cats?

[BibT_eX]

[DOI]

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

Bayesian Description Logics.

[BibT_eX]

[DOI]

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

Gödel FL_0 with Greatest Fixed-Point Semantics.

[BibT_eX]

[DOI]

José A. Leyva Galano

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

Gödel Description Logics with General Models.

[BibT_eX]

[DOI]

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

The Bayesian Description Logic ${\mathcal{BEL}}$.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Many-valued Horn Logic is Hard.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics.

[BibT_eX]

[DOI]

Stathis Delivorias

Haralampos Hatzikirou

Dirk Walther

Proceedings of the Cellular Automata, 2014

Reasoning in the Description Logic BEL Using Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the Statistical Relational Artificial Intelligence, 2014

2013

Fuzzy answer sets approximations.

[BibT_eX]

[DOI]

Mario Alviano

Theory Pract. Log. Program., 2013

The Complexity of Lattice-Based Fuzzy Description Logics.

[BibT_eX]

[DOI]

J. Data Semant., 2013

Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013

Computing Role-Depth Bounded Generalizations in the Description Logic.

[BibT_eX]

[DOI]

Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Positive Subsumption in Fuzzy EL with General t-Norms.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Roughening the Envelope.

[BibT_eX]

[DOI]

Tingting Zou

Proceedings of the Frontiers of Combining Systems, 2013

Rough EL Classification.

[BibT_eX]

[DOI]

Tingting Zou

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

Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals.

[BibT_eX]

[DOI]

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

About Subsumption in Fuzzy EL.

[BibT_eX]

[DOI]

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

2012

Context-dependent views to axioms and consequences of Semantic Web ontologies.

[BibT_eX]

[DOI]

J. Web Semant., 2012

A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Undecidability of Fuzzy Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Adding Context to Tableaux for DLs.

[BibT_eX]

[DOI]

Weili Fu

Proceedings of the 2012 International Workshop on Description Logics, 2012

Non-Gödel Negation Makes Unwitnessed Consistency Undecidable.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Gödel Negation Makes Unwitnessed Consistency Crisp.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

How Fuzzy Is My Fuzzy Description Logic?

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Finite Lattices Do Not Make Reasoning in ALCI Harder.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011

Description Logics over Lattices with Multi-Valued Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Are fuzzy description logics with general concept inclusion axioms decidable?

[BibT_eX]

[DOI]

Proceedings of the FUZZ-IEEE 2011, 2011

On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

A Practical Approach for Computing Generalization Inferences in EL\mathcal{EL}.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2011

Correcting Access Restrictions to a Consequence More Flexibly.

[BibT_eX]

[DOI]

Eldora

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

Fuzzy Ontologies over Lattices with T-norms.

[BibT_eX]

[DOI]

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

GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable.

[BibT_eX]

[DOI]

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

The Inclusion Problem for Weighted Automata on Infinite Trees.

[BibT_eX]

Proceedings of the Automata and Formal Languages, 13th International Conference, 2011

2010

Axiom Pinpointing in General Tableaux.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Automata-Based Axiom Pinpointing.

[BibT_eX]

[DOI]

J. Autom. Reason., 2010

Using Sums-of-Products for Non-standard Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2010

On the Complexity of Axiom Pinpointing in the EL Family of Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A Generic Approach for Correcting Access Restrictions to a Consequence.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2010

Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes.

[BibT_eX]

[DOI]

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

Complexity of Axiom Pinpointing in the DL-Lite Family.

[BibT_eX]

[DOI]

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

Correcting Access Restrictions to a Consequence.

[BibT_eX]

[DOI]

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

Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

2009

Axiom pinpointing in description logics and beyond.

[BibT_eX]

[DOI]

Rafael Peñaloza Nyssen

PhD thesis, 2009

A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.

[BibT_eX]

[DOI]

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

Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2009, 2009

Axiom Pinpointing is Hard.

[BibT_eX]

[DOI]

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

Reasoning With Weighted Ontologies.

[BibT_eX]

[DOI]

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

2008

Automata can show PSpace results for description logics.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Automata-based Pinpointing for DLs.

[BibT_eX]

[DOI]

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

2007

SI! Automata Can Show PSPACE Results for Description Logics.

[BibT_eX]

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

Pinpointing in the Description Logic EL+.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Pinpointing in the Description Logic EL.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Blocking Automata for PSPACE DLs.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

PSPACE Automata for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2003

Using Bayesian Networks as an Inference Engine in KAMET.

[BibT_eX]

[DOI]

Osvaldo Cairó