재정 지원 요구사항을 통해 공개된 자료 - Laura Giordano자세히 알아보기
제공된 곳이 없음: 3
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics.
L Giordano, V Gliozzi
ECSQARU 2019, 15th European Conference on Quantitative Approaches to …, 2019
재정 지원 요구사항 정책: Government of Italy
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL
L Giordano, A Martelli, D Theseider Dupré
LPNMR 2022, LNCS 13416, 231--244, 2022
재정 지원 요구사항 정책: Government of Italy
Extending with the Power-Set Construct
L Giordano, A Policriti
European Conference on Logics in Artificial Intelligence, 387-398, 2019
재정 지원 요구사항 정책: Government of Italy
제공된 곳이 있음: 27
Semantic characterization of rational closure: From propositional logic to description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 226, 1-33, 2015
재정 지원 요구사항 정책: Government of Italy
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model
L Giordano, D Theseider Dupré
17th European Conf. on Logics in AI, JELIA 2021, May 17-20, volume 12678 of …, 2021
재정 지원 요구사항 정책: Government of Italy
A reconstruction of multipreference closure
L Giordano, V Gliozzi
Artificial Intelligence 290, 103398, 2021
재정 지원 요구사항 정책: Government of Italy
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
L Giordano, D Theseider Dupré
Theory and Practice of Logic Programming 20 (5), 751--766, 2020
재정 지원 요구사항 정책: Government of Italy
On the KLM Properties of a Fuzzy DL with Typicality
L Giordano
ECSQARU 2021, 16th European Conference on Symbolic and Quantitative …, 2021
재정 지원 요구사항 정책: Government of Italy
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps
L Giordano, V Gliozzi, D Theseider Dupré
J. Log. Comput. 32 (2), 178--205, 2022
재정 지원 요구사항 정책: Government of Italy
ASP for minimal entailment in a rational extension of SROEL
L Giordano, DT Dupré
Theory and Practice of Logic Programming 16 (5-6), 738-754, 2016
재정 지원 요구사항 정책: Government of Italy
Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure
L Giordano, DT Dupré
Fundamenta Informaticae 161 (1-2), 135-161, 2018
재정 지원 요구사항 정책: Government of Italy
Logics in access control: a conditional approach
V Genovese, L Giordano, V Gliozzi, GL Pozzato
Journal of Logic and Computation 24 (4), 705-762, 2014
재정 지원 요구사항 정책: Government of Italy
An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
L Giordano, DT Dupré
Theory and Practice of Logic Programming 22 (4), 589-605, 2022
재정 지원 요구사항 정책: Government of Italy
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
L Giordano, V Gliozzi
Fundamenta Informaticae 176 (3-4), 235-269, 2020
재정 지원 요구사항 정책: Government of Italy
Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
L Giordano, V Gliozzi, N Olivetti
Fundamenta Informaticae 159 (1-2), 95-122, 2018
재정 지원 요구사항 정책: Government of Italy
ASP for reasoning about actions with an EL knowledge base
L Giordano, A Martelli, M Spiotta, DT Dupré
CEUR Workshop Proceedings 1645, 217-229, 2016
재정 지원 요구사항 정책: Government of Italy
Reasoning in a Rational Extension of SROEL (⊓,×)
L Giordano, DT Dupré
DL 2016, 29th International Workshop on Description Logics, CEUR Workshop …, 2016
재정 지원 요구사항 정책: Government of Italy
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
L Giordano, A Martelli, DT Dupré
Journal of Logic and Computation 25 (6), 1307-1330, 2015
재정 지원 요구사항 정책: Government of Italy
Strengthening the Rational Closure for Description Logics: An Overview.
L Giordano, V Gliozzi
CILC, 68-81, 2019
재정 지원 요구사항 정책: Government of Italy
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics.
M Alviano, L Giordano, D Theseider Dupré
Workshops co-located with the 39th International Conference on Logic …, 2023
재정 지원 요구사항 정책: European Commission, Government of Italy
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.