基本信息
浏览量:42
职业迁徙
个人简介
Gian Luca Pozzato was born in Moncalieri (Turin) in 1978.
He took his ``Laurea'' degree ``summa cum laude'' in Computer Science in April 2003, and his Ph.D. in Computer Science in February 2007, both at the University of Turin, Italy. Since October 2007 he is a researcher at the Department of Computer Science in the Università degli studi di Torino, where he is member of the Logic Programming & Automatic Reasoning group.
His PhD dissertation "Proof Methods for Conditional and Preferential Logics" has been awarded by the Italian Association for Logic Programming (GULP) with the "Marco Cadoli" price, as one of the best two Phd thesis focused on computation logic and discussed between 2007 and 2009. Visit GULP page
His main research interests include non-monotonic reasoning, non-classical logics (in particular, conditional and preferential logics), non-monotonic extensions of description logics, and logic programming.
Conditional logics have a long history, and recently they have found interesting applications in several areas of artificial intelligence, including belief revision and update, the representation of causal inferences in action planning, the formalization of hypothetical queries in deductive databases. Conditional logics have also been applied to non-monotonic reasoning. A fundamental contribution to the study of the relation between conditional logics and non-monotonic reasoning has been given by Kraus, Lehmann and Magidor, who have introduced the so called KLM framework. The KLM framework has been introduced in order to describe a set of properties that any concrete non-monotonic reasoning system should satisfy. The logics of this framework are called preferential logics.
The family of Description Logics (DLs) represents one of the most important formalism of knowledge representation. DLs have a well-defined semantics based on first order logic and offer a good trade-off between expressivity and complexity. Since the very objective of a DL knowledge base is to represent a taxonomy of concepts, the need of representing prototypical properties and to reason about inheritance with exceptions easily arises. Standard DLs do not allow to reason about defeasible properties. His recent research is focused on extending standrd DLs with a typicality operator, in order to define defeasible properties and to reason about eceptions.
研究兴趣
论文共 139 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
HUMAN-COMPUTER INTERACTIONno. 1-2 (2024): 109-143
Gian Luca Pozzato, Marco Spinnicchia
AIxIA 2023 – Advances in Artificial Intelligence: XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedingspp.74-87, (2023)
引用0浏览0EI引用
0
0
OVERLAY@AI*IApp.45-50, (2022)
引用0浏览0EI引用
0
0
AI4CH@AI*IApp.1-12, (2022)
引用0浏览0EI引用
0
0
AI*IA (2022): 345-357
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn