Logic Programs, Norms and Action
Logic Programs, Norms and Action
复制标题
逻辑程序、规范和行动
DOI：
10.1007/978-3-642-29414-3_2
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Barker S
中科院分区：
文献类型：
--
作者：
Barker S
Marek Sergot的技术贡献涉及不同的主题。他提出了一系列新颖的思想和形式化方法，将人工智能、计算逻辑、哲学逻辑、法律的理论、人工智能与法律、多智能体系统和生物信息学等不同的研究领域联系起来。通过将他在逻辑和计算方面的背景与他在法律、道义逻辑、行动和相关领域的兴趣相结合，运用他所有的能力来理解社会互动和规范推理的微妙之处，马雷克已经能够开辟新的研究方向，并已成为一个参考，灵感，和模型，许多研究人员在许多领域，他曾工作。
Marek Sergot’s technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics.By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas, and applying to all his capacity to understand the subtleties of social interactions and normative reasoning, Marek has been able to open new directions of research, and has been a reference, an inspiration, and a model for many researchers in the many fields in which he has worked.
登录
查看更多内容
DOI：
--
发表时间：
2009
期刊：
Argumentation in Artificial Intelligence
影响因子：
--
作者：
J. Pollock
通讯作者：
J. Pollock
DOI：
--
发表时间：
1989
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
A. B. Baker;M. Ginsberg
通讯作者：
M. Ginsberg
将普通法律纠纷形式化：案例研究
影响因子：
4.1
作者：
H. Prakken
通讯作者：
H. Prakken
重建证据的因果推理：案例研究
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
H. Prakken;S. Renooij
通讯作者：
S. Renooij
影响因子：
--
作者：
Martin Wigbertus Antonius Caminada
通讯作者：
Martin Wigbertus Antonius Caminada