標(biāo)題: Titlebook: Logic Programs, Norms and Action; Essays in Honor of M Alexander Artikis,Robert Craven,Kostas Stathis Book 2012 Springer-Verlag Berlin Heid [打印本頁] 作者: decoction 時(shí)間: 2025-3-21 16:59
書目名稱Logic Programs, Norms and Action影響因子(影響力)
書目名稱Logic Programs, Norms and Action影響因子(影響力)學(xué)科排名
書目名稱Logic Programs, Norms and Action網(wǎng)絡(luò)公開度
書目名稱Logic Programs, Norms and Action網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic Programs, Norms and Action被引頻次
書目名稱Logic Programs, Norms and Action被引頻次學(xué)科排名
書目名稱Logic Programs, Norms and Action年度引用
書目名稱Logic Programs, Norms and Action年度引用學(xué)科排名
書目名稱Logic Programs, Norms and Action讀者反饋
書目名稱Logic Programs, Norms and Action讀者反饋學(xué)科排名
作者: 狂熱文化 時(shí)間: 2025-3-21 22:34
Steve Barker,Andrew J. I. Jones,Antonis Kakas,Robert A. Kowalski,Alessio Lomuscio,Rob Miller,Stephen作者: 巨大沒有 時(shí)間: 2025-3-22 01:18 作者: 人類的發(fā)源 時(shí)間: 2025-3-22 04:38
Paolo Turrini,Xavier Parent,Leendert van der Torre,Silvano Colombo Tosatto作者: 較早 時(shí)間: 2025-3-22 10:39
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作者: debris 時(shí)間: 2025-3-22 13:37
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作者: liposuction 時(shí)間: 2025-3-22 19:33 作者: Immunotherapy 時(shí)間: 2025-3-22 21:15 作者: Anthropoid 時(shí)間: 2025-3-23 04:03
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作者: 漸強(qiáng) 時(shí)間: 2025-3-23 07:17
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作者: CODE 時(shí)間: 2025-3-23 10:40 作者: 不規(guī)則的跳動(dòng) 時(shí)間: 2025-3-23 16:23
The Scientific Contribution of Marek Sergotesearch 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作者: Pudendal-Nerve 時(shí)間: 2025-3-23 18:51
Teleo-Reactive Abductive Logic Programsnment. They combine proactive behaviour, which is goal-oriented, with reactive behaviour, which is sensitive to the changing environment. They can take advantage of situations in which the environment opportunistically solves the system’s goals, recover gracefully when the environment destroys solut作者: 天然熱噴泉 時(shí)間: 2025-3-24 01:41 作者: graphy 時(shí)間: 2025-3-24 05:48 作者: Blanch 時(shí)間: 2025-3-24 06:34 作者: Substitution 時(shí)間: 2025-3-24 14:10
Reactive Event Calculus for Monitoring Global Computing Applicationsents affects some representation (the .) of the world. Since its introduction, EC has been recognized for being an excellent framework to reason about time and events. Recently, with the advent of complex software systems decomposed into sets of autonomous, heterogeneous distributed entities, EC has作者: 樂意 時(shí)間: 2025-3-24 18:10 作者: 護(hù)航艦 時(shí)間: 2025-3-24 19:46
Symbolic Model Checking for Temporal-Epistemic Logic-based approaches for epistemic logic built on discrete and real-time branching time temporal logic. The underlying semantical model considered throughout is the one of interpreted system, suitably extended whenever necessary.作者: 托人看管 時(shí)間: 2025-3-25 01:36
GOAL Agents Instantiate Intention Logicof more computationally oriented frameworks have been proposed for engineering rational agents. It remains interesting to explore the relation between these logical theories and existing computational agent frameworks that are used to program agents. First of all, by establishing a formal relation b作者: 纖細(xì) 時(shí)間: 2025-3-25 03:41 作者: Moderate 時(shí)間: 2025-3-25 11:28
Irrationality in Persuasive Argumentationn-monotonic, logics. Yet one can claim that such approaches, while sufficing to describe the fluid nature of so-called “real-world” debate, e.g. in appeal determination for legal scenarios, ignore one significant component which figures in persuasive debate, i.e. that an argument may be deemed accep作者: 半導(dǎo)體 時(shí)間: 2025-3-25 15:01 作者: 鋸齒狀 時(shí)間: 2025-3-25 17:09 作者: Myosin 時(shí)間: 2025-3-25 23:53
Why Be Afraid of Identity?n a preference-based semantics. This is the principle .. The key point is to understand and appreciate what unconditional obligations the principle allows us to detach, and from what premises. It is argued that it does not license the move from . to ., which would amount to committing a breach of Hu作者: Folklore 時(shí)間: 2025-3-26 04:00 作者: RECUR 時(shí)間: 2025-3-26 06:33 作者: 鍍金 時(shí)間: 2025-3-26 11:06 作者: 亞當(dāng)心理陰影 時(shí)間: 2025-3-26 14:28 作者: 宿醉 時(shí)間: 2025-3-26 20:02 作者: 星星 時(shí)間: 2025-3-26 21:51 作者: 土坯 時(shí)間: 2025-3-27 04:14
The Scientific Contribution of Marek Sergot, 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.作者: POINT 時(shí)間: 2025-3-27 09:16 作者: 流利圓滑 時(shí)間: 2025-3-27 10:00 作者: 音樂戲劇 時(shí)間: 2025-3-27 17:24
Argumentation and the Event Calculusward persistence and (ii) persistence from observations. The paper discusses how this extended argumentation formulation is close to the original Event Calculus proposed by Kowalski and Sergot in 1986.作者: Gudgeon 時(shí)間: 2025-3-27 19:47 作者: Antagonist 時(shí)間: 2025-3-28 00:16 作者: SUGAR 時(shí)間: 2025-3-28 02:43 作者: 懦夫 時(shí)間: 2025-3-28 07:51 作者: Inexorable 時(shí)間: 2025-3-28 14:23
Irrationality in Persuasive Argumentationverview we examine a range of contexts in which tempering emotional appeal in the presentation of an issue may influence the audience to which it is addressed and briefly consider how such situations may formally be modelled, embodied, and exploited within multiagent debates.作者: 法官 時(shí)間: 2025-3-28 17:54
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logicthe satisfiability problem for . over ? to its satisfiability problem over ?. Compared to the corresponding reduction for point-based linear temporal logic, the one for . turns out to be much more involved. Finally, we prove that . is able to separate ? and ?, while . is not.作者: Grating 時(shí)間: 2025-3-28 19:47 作者: 合唱隊(duì) 時(shí)間: 2025-3-29 00:57
Why Be Afraid of Identity?ove all) compatible with the idea that obligations are essentially violable entities. An existing pragmatic theory can be used to explain it. Objections based on the definition of the unconditional obligation operator are countered.作者: anarchist 時(shí)間: 2025-3-29 04:32 作者: 蟄伏 時(shí)間: 2025-3-29 10:04 作者: Arboreal 時(shí)間: 2025-3-29 15:29
Symbolic Model Checking for Temporal-Epistemic Logic-based approaches for epistemic logic built on discrete and real-time branching time temporal logic. The underlying semantical model considered throughout is the one of interpreted system, suitably extended whenever necessary.作者: Ancestor 時(shí)間: 2025-3-29 16:49 作者: 蚊子 時(shí)間: 2025-3-29 22:30
Logical Approaches to Authorization Policies represented as particular logical theories in the axiom system that we introduce. Authorization policies are represented in our framework by using a form of answer set programming. We describe the motivations for our approach and we consider how properties of policies can be proven in our scheme.作者: Repatriate 時(shí)間: 2025-3-30 01:05
Alexander Artikis,Robert Craven,Kostas StathisCommemorative publication.Focusing on the research interests of Marek J. Sergot.Written by experts作者: 潔凈 時(shí)間: 2025-3-30 06:46 作者: 指派 時(shí)間: 2025-3-30 08:37
978-3-642-29413-6Springer-Verlag Berlin Heidelberg 2012作者: coddle 時(shí)間: 2025-3-30 12:48
Logic Programs, Norms and Action978-3-642-29414-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: alliance 時(shí)間: 2025-3-30 17:09 作者: FECT 時(shí)間: 2025-3-31 00:31 作者: 災(zāi)禍 時(shí)間: 2025-3-31 04:56
9樓作者: 下級(jí) 時(shí)間: 2025-3-31 07:56
9樓作者: 無禮回復(fù) 時(shí)間: 2025-3-31 10:47
9樓作者: conquer 時(shí)間: 2025-3-31 13:37
9樓作者: 使高興 時(shí)間: 2025-3-31 18:16
10樓作者: 信徒 時(shí)間: 2025-3-31 21:45
10樓作者: 影響深遠(yuǎn) 時(shí)間: 2025-4-1 03:04
10樓作者: 運(yùn)動(dòng)的我 時(shí)間: 2025-4-1 06:40
10樓
