找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Logic Programs, Norms and Action; Essays in Honor of M Alexander Artikis,Robert Craven,Kostas Stathis Book 2012 Springer-Verlag Berlin Heid

[复制链接]
查看: 46927|回复: 61
发表于 2025-3-21 16:59:49 | 显示全部楼层 |阅读模式
书目名称Logic Programs, Norms and Action
副标题Essays in Honor of M
编辑Alexander Artikis,Robert Craven,Kostas Stathis
视频video
概述Commemorative publication.Focusing on the research interests of Marek J. Sergot.Written by experts
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Logic Programs, Norms and Action; Essays in Honor of M Alexander Artikis,Robert Craven,Kostas Stathis Book 2012 Springer-Verlag Berlin Heid
描述This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas including 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 interaction and normative reasoning, Professor Sergot has opened up new directions of research, and has been a reference, an inspiration, and a model for many researchers in the fields to which he has contributed. The Festschrift includes several reminiscences and introductory essays describing Professor Sergot‘s achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.
出版日期Book 2012
关键词argumentation; business process management; computational logic; multi-agent systems; service oriented a
版次1
doihttps://doi.org/10.1007/978-3-642-29414-3
isbn_softcover978-3-642-29413-6
isbn_ebook978-3-642-29414-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2012
The information of publication is updating

书目名称Logic Programs, Norms and Action影响因子(影响力)




书目名称Logic Programs, Norms and Action影响因子(影响力)学科排名




书目名称Logic Programs, Norms and Action网络公开度




书目名称Logic Programs, Norms and Action网络公开度学科排名




书目名称Logic Programs, Norms and Action被引频次




书目名称Logic Programs, Norms and Action被引频次学科排名




书目名称Logic Programs, Norms and Action年度引用




书目名称Logic Programs, Norms and Action年度引用学科排名




书目名称Logic Programs, Norms and Action读者反馈




书目名称Logic Programs, Norms and Action读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 22:34:35 | 显示全部楼层
Steve Barker,Andrew J. I. Jones,Antonis Kakas,Robert A. Kowalski,Alessio Lomuscio,Rob Miller,Stephen
发表于 2025-3-22 01:18:13 | 显示全部楼层
发表于 2025-3-22 04:38:11 | 显示全部楼层
Paolo Turrini,Xavier Parent,Leendert van der Torre,Silvano Colombo Tosatto
发表于 2025-3-22 10:39:28 | 显示全部楼层
Teleo-Reactive Abductive Logic Programsthe frame problem of explicitly reasoning about the persistence of facts that are not affected by the updates. The model-theoretic semantics of the representation is defined by associating a logic program with the TR program, the sequence of observations and actions, and the succession of database s
发表于 2025-3-22 13:37:14 | 显示全部楼层
GOAL Agents Instantiate Intention Logicon Logic and the agent programming language .. This is a natural choice because Intention Logic and . use the same set of basic concepts to define agents, namely declarative beliefs and goals. We discuss various assumptions and identify some subtle differences between the two systems. We show that a
发表于 2025-3-22 19:33:44 | 显示全部楼层
发表于 2025-3-22 21:15:40 | 显示全部楼层
发表于 2025-3-23 04:03:04 | 显示全部楼层
Stefano Bragaglia,Federico Chesani,Paola Mello,Marco Montali,Paolo Torronile internal energy is postulated to depend thermodynamically on the extensive properties of the system, and is then decomposed to provide energy dependences for each of the system components. These decomposed forms, along with the entropy inequality, lead to the conservation equations with constitut
发表于 2025-3-23 07:17:41 | 显示全部楼层
Justin Blount,Michael Gelfondsequence: (1) complexation with Co.; (2) site-selective oxidation at one of the Co. sites; (3) site-selective transmetalation of the other Co. sites with Ni.; (4) reduction of the Co. site. Notably, the obtained heterometallic complex could not be synthesized directly from ligand, Co., and Ni. under
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-23 14:15
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表