1.4k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of TurinIT1.5k papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT1.4k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di TorinoIT1.3k papers
- Joint Institute for Nuclear ResearchRU1.2k papers
- Peking UniversityCN1.1k papers
- Carnegie Mellon UniversityUS1.1k papers
- National Centre for Nuclear ResearchPL1.1k papers
- University of PerugiaIT1.1k papers
- European Organization for Nuclear ResearchCH1k papers
- Institute of High Energy PhysicsCN1k papers
- Panjab UniversityIN956 papers
- The Ohio State UniversityUS953 papers
10 papers · 1 filter
A framework for Conditional Reasoning in Answer Set Programming
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
In this paper we introduce a Conditional Answer Set Programming framework (Conditional ASP) for the definition of conditional extensions of Answer Set Programming (ASP). The approa…
Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach
Laura Giordano, Daniele Theseider Dupré
Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy cas…
Reasoning about actions with EL ontologies with temporal answer sets
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight descriptio…
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
In this paper we establish a link between fuzzy and preferential semantics for description logics and Self-Organising Maps, which have been proposed as possible candidates to expla…
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
Laura Giordano, Daniele Theseider Dupré
In this work we study a rational extension of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typical…
Rational Closure in SHIQ
Laura Giordano, Valentina Gliozzi, Nicola Olivetti +1
We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Mag…
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability
Luigi Portinale, Andrea Bobbio
Bayesian Networks (BN) provide robust probabilistic methods of reasoning under uncertainty, but despite their formal grounds are strictly based on the notion of conditional depende…
Parametric Dependability Analysis through Probabilistic Horn Abduction
Andrea Bobbio, Stefania Montani, Luigi Portinale
Dependability modeling and evaluation is aimed at investigating that a system performs its function correctly in time. A usual way to achieve a high reliability, is to design redun…
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board
L. Console, C. Picardi, D. Theseider Duprè
The automatic generation of decision trees based on off-line reasoning on models of a domain is a reasonable compromise between the advantages of using a model-based approach in te…
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective
Daniele Theseider Dupre'
Diagnostic reasoning has been characterized logically as consistency-based reasoning or abductive reasoning. Previous analyses in the literature have shown, on the one hand, that c…