標(biāo)題: Titlebook: Computational Logic in Multi-Agent Systems; 5th International Wo Jo?o Leite,Paolo Torroni Conference proceedings 2005 Springer-Verlag Berli [打印本頁] 作者: Fibromyalgia 時(shí)間: 2025-3-21 19:31
書目名稱Computational Logic in Multi-Agent Systems影響因子(影響力)
書目名稱Computational Logic in Multi-Agent Systems影響因子(影響力)學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度
書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems被引頻次
書目名稱Computational Logic in Multi-Agent Systems被引頻次學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems年度引用
書目名稱Computational Logic in Multi-Agent Systems年度引用學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems讀者反饋
書目名稱Computational Logic in Multi-Agent Systems讀者反饋學(xué)科排名
作者: SCORE 時(shí)間: 2025-3-21 21:15 作者: Calibrate 時(shí)間: 2025-3-22 03:09
https://doi.org/10.1007/11533092agent communication; agent cooperation; agent learning; agent negotiation; agents; ai logics; artificial i作者: Carbon-Monoxide 時(shí)間: 2025-3-22 07:43
978-3-540-28060-6Springer-Verlag Berlin Heidelberg 2005作者: HAIL 時(shí)間: 2025-3-22 10:59
Studienstart und Tipps zum Studium,We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic interpreted systems. We exemplify the use of TCTLKD by discussing a variant of the “railroad crossing system”.作者: 打折 時(shí)間: 2025-3-22 15:56 作者: 打折 時(shí)間: 2025-3-22 20:33
Berufsaussichten des Medieninformatikers, execution of a plan changes an agent’s beliefs. Plans can be revised during execution. Due to these plan revision capabilities of 3APL agents, plans cannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to hand作者: 使混合 時(shí)間: 2025-3-22 23:42 作者: 同來核對(duì) 時(shí)間: 2025-3-23 04:33
Joachim Griese,Uwe Pape,Rainer Thomerograms written in such languages being usually called action programs. Logic programming is an important area in the field of knowledge representation and some languages for specifying updates of Logic Programs had been defined. Starting from the update language Evolp, in this work we propose a new作者: FILLY 時(shí)間: 2025-3-23 07:00 作者: Presbyopia 時(shí)間: 2025-3-23 11:12
https://doi.org/10.1007/978-3-663-13920-1eclarative specification of agent control. Control is given in terms of ., which define in a declarative way the possible alternative behaviours of agents, depending on the particular circumstances of the (perceived) external environment in which they are situated, on the internal state of the agent作者: 殺蟲劑 時(shí)間: 2025-3-23 14:59 作者: 描述 時(shí)間: 2025-3-23 18:35 作者: 奇怪 時(shí)間: 2025-3-23 22:52 作者: 聚集 時(shí)間: 2025-3-24 02:59
Wilfried Brauer,Siegfried Münchonsider the following two problems: given two logic programs .. and .., which have the sets of answer sets . and ., respectively; (i) find a program . which has the set of answer sets such that . = .; (ii) find a program . which has the set of answer sets such that . = .. A program . satisfying the 作者: FIR 時(shí)間: 2025-3-24 09:10
Studien- und Forschungsführer Informatikrguments. In order to be flexible, this protocol is defined as a combination of a set of conversation policies. These policies are formalized as a set of dialogue games. The protocol is specified using two types of dialogue games: entry dialogue game and chaining dialogue games. The protocol termina作者: 雜役 時(shí)間: 2025-3-24 14:26
https://doi.org/10.1007/978-3-642-97180-8n that a given protocol implementation is “conformant” w.r.t. the abstract specification of it. In this work we tackle those aspects of the conformance verification issue, that regard the dependence/independence of conformance from the agent private state in the case of logic, individual agents, set作者: Arteriography 時(shí)間: 2025-3-24 17:13 作者: SCORE 時(shí)間: 2025-3-24 22:21 作者: BLAZE 時(shí)間: 2025-3-25 01:55
Literatur zur Wirtschaftsinformatik,n its own best interests. When addressing multiple goals, the rational action may not be obvious. Equipping the agents with decision-theoretic methods allows the agent to mathematically evaluate the risks, uncertainty, and benefits of the various available courses of action. Using this evaluation, a作者: misshapen 時(shí)間: 2025-3-25 06:47 作者: enchant 時(shí)間: 2025-3-25 07:32
Contextual Taxonomiesr different languages, and a number of operations on contexts are defined. Using this framework, a simple scenario taken from the legal domain is modeled, and a formal account of the so called open-texture of legal terms is provided characterizing the notions of “core” and “penumbra” of the meaning of a concept.作者: 人類學(xué)家 時(shí)間: 2025-3-25 13:12 作者: 制定法律 時(shí)間: 2025-3-25 17:02 作者: Creatinine-Test 時(shí)間: 2025-3-25 21:49
Berufsaussichten des Medieninformatikers,cannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to handle the plan revision aspect of 3APL. For this logic, we give a sound and complete axiomatization.作者: 加花粗鄙人 時(shí)間: 2025-3-26 00:40
https://doi.org/10.1007/978-3-642-97135-8ment, is well fitted to naturally represent not only the physical structure of the application, but also the virtual structure in which it operates. The adoption of a logic-based modelling system provides high-level programming concepts, and allows the designer to rapidly design and develop flexible software to be used in active environments.作者: CBC471 時(shí)間: 2025-3-26 07:33
Dynamic Logic for Plan Revision in Intelligent Agentscannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to handle the plan revision aspect of 3APL. For this logic, we give a sound and complete axiomatization.作者: 可忽略 時(shí)間: 2025-3-26 10:19
Organising Software in Active Environmentsment, is well fitted to naturally represent not only the physical structure of the application, but also the virtual structure in which it operates. The adoption of a logic-based modelling system provides high-level programming concepts, and allows the designer to rapidly design and develop flexible software to be used in active environments.作者: visual-cortex 時(shí)間: 2025-3-26 14:31 作者: 推測 時(shí)間: 2025-3-26 17:34
Forschung und Lehre in der Bundesrepublik,h it is situated, (iii) because this environment is highly dynamic. In this paper, we propose a framework to design situated agents capable of planning partially. The framework is based upon the specification of planning problems via an abductive variant of the event calculus.作者: PALSY 時(shí)間: 2025-3-27 00:49
Metareasoning for Multi-agent Epistemic Logicsand agents, we get much of the generality and power of higher-order logic even though we are in a firstorder setting. Finally, we are able to use Athena’s versatile tactics for proof automation in the multi-agent logic. We illustrate by developing a tactic for solving the generalized version of the wise men problem.作者: Negligible 時(shí)間: 2025-3-27 02:39
Planning Partially for Situated Agentsh it is situated, (iii) because this environment is highly dynamic. In this paper, we propose a framework to design situated agents capable of planning partially. The framework is based upon the specification of planning problems via an abductive variant of the event calculus.作者: Spinous-Process 時(shí)間: 2025-3-27 08:56 作者: DEFT 時(shí)間: 2025-3-27 13:16 作者: Feature 時(shí)間: 2025-3-27 16:27
https://doi.org/10.1007/978-3-663-13920-1ly implemented in the PROSOCS platform. We also show how, via cycle theories, we can formally verify properties of agents’ behaviour, focusing on the concrete property of agents’ .. Finally, we give some examples to show how different cycle theories give rise to different, heterogeneous agents’ behaviours.作者: SUGAR 時(shí)間: 2025-3-27 19:18 作者: IVORY 時(shí)間: 2025-3-27 23:30
Wilfried Brauer,Siegfried Münchion primitives other than inform are required. We extend BIT with questions, and discuss the relationship with belief, inform and trust. An answer to a question can lead to trust, when the answer conforms to the beliefs of the agent.作者: Slit-Lamp 時(shí)間: 2025-3-28 02:56 作者: Neutropenia 時(shí)間: 2025-3-28 06:30
Forschung und Lehre in der Bundesrepublik,bduction is a new form of abduction whose abducibles can be referred to in any search path once abduced. This mechanism is used to propagate information about already-executed actions so that we can modify an alternative plan to accommodate side-effects caused by the already-executed actions.作者: Affable 時(shí)間: 2025-3-28 11:39
Literatur zur Wirtschaftsinformatik,agent must replan to maintain rational decision-making. This research uses macro actions to transform the state space for the agent’s decision problem into the desire space of the agent. Reasoning in the desire space, the agent can efficiently maintain rationality in response to addition and removal of goals.作者: ablate 時(shí)間: 2025-3-28 16:27 作者: 接合 時(shí)間: 2025-3-28 22:40 作者: 拋物線 時(shí)間: 2025-3-29 01:19
Declarative Agent Controlly implemented in the PROSOCS platform. We also show how, via cycle theories, we can formally verify properties of agents’ behaviour, focusing on the concrete property of agents’ .. Finally, we give some examples to show how different cycle theories give rise to different, heterogeneous agents’ behaviours.作者: 鋼盔 時(shí)間: 2025-3-29 04:51 作者: 車床 時(shí)間: 2025-3-29 09:31 作者: 責(zé)任 時(shí)間: 2025-3-29 12:13 作者: Malaise 時(shí)間: 2025-3-29 16:52 作者: 懸崖 時(shí)間: 2025-3-29 20:52 作者: RLS898 時(shí)間: 2025-3-30 00:05
Conference proceedings 2005sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci作者: 節(jié)省 時(shí)間: 2025-3-30 06:07
Berufsbild des Medizinischen Informatikers,r different languages, and a number of operations on contexts are defined. Using this framework, a simple scenario taken from the legal domain is modeled, and a formal account of the so called open-texture of legal terms is provided characterizing the notions of “core” and “penumbra” of the meaning of a concept.作者: Affection 時(shí)間: 2025-3-30 10:17 作者: 祖先 時(shí)間: 2025-3-30 15:08
Dynamic Logic for Plan Revision in Intelligent Agents execution of a plan changes an agent’s beliefs. Plans can be revised during execution. Due to these plan revision capabilities of 3APL agents, plans cannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to hand作者: Conscientious 時(shí)間: 2025-3-30 18:34
Contextual Taxonomieso this aim, a new proposal for dealing with “contexts as abstract mathematical entities” is set forth, which is geared toward solving some problems arising in the area of normative system specifications for modeling multi-agent systems. Contexts are interpreted as sets of description logic models fo作者: Licentious 時(shí)間: 2025-3-31 00:32 作者: LAITY 時(shí)間: 2025-3-31 02:46 作者: bibliophile 時(shí)間: 2025-3-31 08:10
Declarative Agent Controleclarative specification of agent control. Control is given in terms of ., which define in a declarative way the possible alternative behaviours of agents, depending on the particular circumstances of the (perceived) external environment in which they are situated, on the internal state of the agent作者: Panther 時(shí)間: 2025-3-31 12:05
Metareasoning for Multi-agent Epistemic Logicsrder logic. We then use Athena as a metalanguage in order to reason about the multi-agent logic an as object language. This facilitates theorem proving in the multi-agent logic in several ways. First, it lets us marshal the highly efficient theorem provers for classical first-order logic that are in
