基本信息
浏览量:53
职业迁徙
个人简介
Research Interests
Stefania's research interests are in the field of Computational Logic, Logic Programming and its applications to Artificial Intelligence.
Together with Elio Lanzarone, Stefania has defined Reflective Prolog, a metalogic programming language which extends the Horn clause language with a naming mechanism, metaevaluation clauses and a form of logical reflection. Reflective Prolog has been implemented at the Logic Programming Lab of the Computer Science Department of the University of Milano. The language has been experimented on several complex problems of significant application domains in Knowledge Representation and AI, such as plausible reasoning, case-based reasoning, legal reasoning and temporal reasoning. The language has been augmented with negation and agents, and simple forms of induction. The main concepts underlying Reflective Prolog have been further elaborated, to design (together with Jonas Barklund and Pier Dell'Acqua) a self-referential, reflective logical system whose main objective is to allow its users to specify and experiment a variety of deductive systems, defined via axioms and rules of inference. Stefania has been invited to contribute to a book in honour of Prof. Robert Kowalski, title of contribution: "Meta-Reasoning: a Survey". Recently, Stefania has exploited her work and experience about meta-reasoning in her research on logical agents, discussed below. Some important features of the DALI language that Stefania has proposed have been defined as forms of introspection. Reflection mechanisms taken from Reflective Prolog have been very useful for the agents to deal with ontologies, and with uncertain and incomplete knowledge.
Stefania's research interests are in the field of Computational Logic, Logic Programming and its applications to Artificial Intelligence.
Together with Elio Lanzarone, Stefania has defined Reflective Prolog, a metalogic programming language which extends the Horn clause language with a naming mechanism, metaevaluation clauses and a form of logical reflection. Reflective Prolog has been implemented at the Logic Programming Lab of the Computer Science Department of the University of Milano. The language has been experimented on several complex problems of significant application domains in Knowledge Representation and AI, such as plausible reasoning, case-based reasoning, legal reasoning and temporal reasoning. The language has been augmented with negation and agents, and simple forms of induction. The main concepts underlying Reflective Prolog have been further elaborated, to design (together with Jonas Barklund and Pier Dell'Acqua) a self-referential, reflective logical system whose main objective is to allow its users to specify and experiment a variety of deductive systems, defined via axioms and rules of inference. Stefania has been invited to contribute to a book in honour of Prof. Robert Kowalski, title of contribution: "Meta-Reasoning: a Survey". Recently, Stefania has exploited her work and experience about meta-reasoning in her research on logical agents, discussed below. Some important features of the DALI language that Stefania has proposed have been defined as forms of introspection. Reflection mechanisms taken from Reflective Prolog have been very useful for the agents to deal with ontologies, and with uncertain and incomplete knowledge.
研究兴趣
论文共 240 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Fabio Persia,Mouzhi Ge, Giovanni Pilato, Daniela D'Auria,Andrea Rafanelli,Stefania Costantini,Giovanni De Gasperis
IEEE International Conference on Semantic Computingpp.351-354, (2024)
Diagnostics (Basel, Switzerland)no. 12 (2023): 2126-2126
引用0浏览0WOS引用
0
0
Computer Methods and Programs in Biomedicine (2023): 107548-107548
Workshop From Objects to Agentspp.151-166, (2023)
引用0浏览0EI引用
0
0
CILC (2023)
引用0浏览0EI引用
0
0
International Conference of the Italian Association for Artificial Intelligence (2023)
引用0浏览0EI引用
0
0
Intelligenza Artificialeno. 1 (2023): 89-100
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn