標題: Titlebook: Declarative Agent Languages and Technologies IV; 4th International Wo Matteo Baldoni,Ulle Endriss Conference proceedings 2006 Springer-Verl [打印本頁] 作者: 精明 時間: 2025-3-21 19:07
書目名稱Declarative Agent Languages and Technologies IV影響因子(影響力)
書目名稱Declarative Agent Languages and Technologies IV影響因子(影響力)學科排名
書目名稱Declarative Agent Languages and Technologies IV網(wǎng)絡公開度
書目名稱Declarative Agent Languages and Technologies IV網(wǎng)絡公開度學科排名
書目名稱Declarative Agent Languages and Technologies IV被引頻次
書目名稱Declarative Agent Languages and Technologies IV被引頻次學科排名
書目名稱Declarative Agent Languages and Technologies IV年度引用
書目名稱Declarative Agent Languages and Technologies IV年度引用學科排名
書目名稱Declarative Agent Languages and Technologies IV讀者反饋
書目名稱Declarative Agent Languages and Technologies IV讀者反饋學科排名
作者: 壕溝 時間: 2025-3-21 23:39 作者: gnarled 時間: 2025-3-22 01:50
Producing Compliant Interactions: Conformance, Coverage, and Interoperabilityng agents is based upon the traditional idea of .. We present a number of examples to comprehensively illustrate the orthogonality of conformance, coverage, and interoperability..Compliance is a property of an agent’s execution whereas conformance is a property of the agent’s design. In order to pro作者: 附錄 時間: 2025-3-22 06:13 作者: Exhilarate 時間: 2025-3-22 11:31 作者: Callus 時間: 2025-3-22 14:41 作者: Callus 時間: 2025-3-22 19:03 作者: Forsake 時間: 2025-3-23 00:53 作者: 積習已深 時間: 2025-3-23 04:11
A Foundational Ontology of Organizations and Roless model social concepts like organization and roles and which properties distinguish them from other categories like objects and agents: the organizational structure of institutions and the relation between roles and organizations. All social concepts depend on descriptions defining them, which are 作者: 好色 時間: 2025-3-23 09:14
When Agents Communicate Hypotheses in Critical Situationsto information, the explanation(s) and conclusion(s) they can draw from their observations are inevitably uncertain. In this context, the efficient propagation of information is concerned with two interrelated aspects: spreading the information as quickly as possible, and refining the hypotheses at 作者: TRACE 時間: 2025-3-23 12:35 作者: Orthodontics 時間: 2025-3-23 14:49
Programming Declarative Goals Using Plan Patternsork with an elegant formal semantics. However, the original language is too abstract to be used as a programming language for developing multi-agent system. In this paper, we address one of the features that are essential for a pragmatical agent programming language. We show how certain . of AgentSp作者: reaching 時間: 2025-3-23 18:27 作者: Herpetologist 時間: 2025-3-23 22:24 作者: 故意 時間: 2025-3-24 03:39
A Dynamic Logic Programming Based System for Agents with Declarative Goalsons that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of Answer-Set Programming that allows for the representation of knowledge that changes with time, to represent the goals of the agent and their evolution, in a simple, declarative作者: Transfusion 時間: 2025-3-24 07:31
A Collaborative Framework to Realize Virtual Enterprises Using 3APLusing 3APL technologies [7] and employs the idea of viewing WebService composition as a planning problem [8]. We describe the implementation of the framework and experiment with two micro assembly work cells.作者: 鼓掌 時間: 2025-3-24 11:17
A Modeling Framework for Generic Agent Interaction Protocolsotocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams作者: Interdict 時間: 2025-3-24 17:50 作者: Goblet-Cells 時間: 2025-3-24 21:29
A Functional Program for Agents, Actions, and Deontic Specifications relative to deontic concepts derived from Standard Deontic Logic and Dynamic Deontic Logic. The concepts of abstract actions are derived from Dynamic Logic. The logics are declarative, while the implementation is operational. Actions have explicit action preconditions and postconditions. We have de作者: Indigence 時間: 2025-3-24 23:40
https://doi.org/10.1007/978-1-349-11412-2using complicated true statements (theory) from another, we must confront the problem of ., which is difficult because of the .. In this paper, using an inferential approach we call ., we show how to translate complex axioms between different time ontologies. We also prove the validity of our algorithm.作者: Accolade 時間: 2025-3-25 06:24
Paths, Choices, Outcomes, and Uncertaintyxtended version of AgentSpeak available in ., a Java-based interpreter; we also define special (internal) actions used for dropping intentions. We then present a number of . which correspond to elaborate forms of declarative goals. Finally, we give examples of the use of such types of declarative goals and describe how they are implemented in ..作者: 別炫耀 時間: 2025-3-25 10:08
Vitche Gabrielian,Frank Fischer for in the literature. The central innovation is the expression of complex violation and fulfillment markers. The language can be used to express a range of alternative notions of actions and deontic specification.作者: GEN 時間: 2025-3-25 14:00 作者: Rinne-Test 時間: 2025-3-25 16:33 作者: Amendment 時間: 2025-3-25 22:39
A Functional Program for Agents, Actions, and Deontic Specifications for in the literature. The central innovation is the expression of complex violation and fulfillment markers. The language can be used to express a range of alternative notions of actions and deontic specification.作者: albuminuria 時間: 2025-3-26 01:37 作者: 共同時代 時間: 2025-3-26 04:38
A Foundational Ontology of Organizations and Rolescollectively accepted, and the descriptions defining the components of organizations, including roles, are included in the description of the organizations they belong to. Thus, the relational dependence of roles means that they are defined in the organizations they belong to.作者: oncologist 時間: 2025-3-26 10:05
Agreeing on Defeasible Commitmentsbroader semantics helps in modeling different types of contracts (gratuitous promises, unilateral contracts, bilateral contracts, and forward contracts) and negotiation patterns. The semantics of higher-order commitments is useful in deciding whether to sign an agreement or not and to represent a larger variety of protocols and legal contracts.作者: epidermis 時間: 2025-3-26 15:38
A Dynamic Logic Programming Based System for Agents with Declarative Goals, fashion. In this paper, we represent agent’s goals as a DLP, discuss and show how to represent some situations where the agent should adopt or drop goals, and investigate some properties that emerge from using such representation.作者: 虛弱 時間: 2025-3-26 18:59 作者: 一夫一妻制 時間: 2025-3-26 21:32
When Agents Communicate Hypotheses in Critical Situationsopagation of information is concerned with two interrelated aspects: spreading the information as quickly as possible, and refining the hypotheses at the same time. We describe a formal framework designed to investigate this class of problem, and we report on preliminary results and experiments using the described theory.作者: FOIL 時間: 2025-3-27 05:12
A Fibred Tableau Calculus for Modal Logics of Agentsu proof systems, (. & .), with the help of a scenario (The Friend’s Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori’s labelled tableau system .. We conclude with a discussion on .’s features.作者: sorbitol 時間: 2025-3-27 05:49 作者: 諄諄教誨 時間: 2025-3-27 12:59
International Political Economy Seriesg that interaction protocols are meshed with agents that possess compatible deontic constraints. This is essentially an issue of property checking dynamically at run-time. We show how model checking can be applied to this problem.作者: 我不怕犧牲 時間: 2025-3-27 14:24
Lothar Brock,Anna Geis,Harald Müllercollectively accepted, and the descriptions defining the components of organizations, including roles, are included in the description of the organizations they belong to. Thus, the relational dependence of roles means that they are defined in the organizations they belong to.作者: Jargon 時間: 2025-3-27 21:40
Rival Views of Postcommunist Market Societybroader semantics helps in modeling different types of contracts (gratuitous promises, unilateral contracts, bilateral contracts, and forward contracts) and negotiation patterns. The semantics of higher-order commitments is useful in deciding whether to sign an agreement or not and to represent a larger variety of protocols and legal contracts.作者: NOT 時間: 2025-3-27 22:38
Civil Service Neutrality in Hong Kong, fashion. In this paper, we represent agent’s goals as a DLP, discuss and show how to represent some situations where the agent should adopt or drop goals, and investigate some properties that emerge from using such representation.作者: commune 時間: 2025-3-28 03:12 作者: NIB 時間: 2025-3-28 09:25 作者: 容易生皺紋 時間: 2025-3-28 13:32
https://doi.org/10.1057/9780230626560u proof systems, (. & .), with the help of a scenario (The Friend’s Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori’s labelled tableau system .. We conclude with a discussion on .’s features.作者: 沒收 時間: 2025-3-28 18:05
Rival Views of Postcommunist Market Societycation. Rather than relying on a library of plans, the framework implementing jadl allows agents to plan from first principles. We also describe the framework and some applications that have been implemented.作者: 致敬 時間: 2025-3-28 19:32
A Collaborative Framework to Realize Virtual Enterprises Using 3APLusing 3APL technologies [7] and employs the idea of viewing WebService composition as a planning problem [8]. We describe the implementation of the framework and experiment with two micro assembly work cells.作者: canvass 時間: 2025-3-29 01:25
Plan Generation and Plan Execution in Agent Programming languages for cognitive agents. The first approach generates plans before executing them while the second approach interleaves the generation and execution of plans. Both approaches are presented formally and their relation is investigated.作者: synovium 時間: 2025-3-29 06:59
Declarative Agent Languages and Technologies IV978-3-540-68961-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Bouquet 時間: 2025-3-29 11:01
0302-9743 Overview: 978-3-540-68959-1978-3-540-68961-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 不可思議 時間: 2025-3-29 11:44
https://doi.org/10.1007/978-1-349-24808-7using 3APL technologies [7] and employs the idea of viewing WebService composition as a planning problem [8]. We describe the implementation of the framework and experiment with two micro assembly work cells.作者: DOLT 時間: 2025-3-29 18:47
Democratization and Bureaucratic Neutrality languages for cognitive agents. The first approach generates plans before executing them while the second approach interleaves the generation and execution of plans. Both approaches are presented formally and their relation is investigated.作者: Engaged 時間: 2025-3-29 21:02
International Political Economy SeriesThis paper presents complexity results for model checking formulae of . (a logic to reason about time and knowledge in multi-agent systems) in concurrent programs. We apply these results to evaluate the complexity of verifying programs of two model checkers for multi-agent systems: . and Verics.作者: Creatinine-Test 時間: 2025-3-30 01:48
The Complexity of Model Checking Concurrent Programs Against CTLK SpecificationsThis paper presents complexity results for model checking formulae of . (a logic to reason about time and knowledge in multi-agent systems) in concurrent programs. We apply these results to evaluate the complexity of verifying programs of two model checkers for multi-agent systems: . and Verics.作者: Onerous 時間: 2025-3-30 07:06 作者: sed-rate 時間: 2025-3-30 10:05 作者: nocturnal 時間: 2025-3-30 13:27 作者: 有發(fā)明天才 時間: 2025-3-30 17:05
https://doi.org/10.1007/978-1-349-11412-2agents and web services may use vocabularies from different ontologies to describe their data. The current research on ontology mapping and ontology translation mainly focuses on how to map and translate vocabularies and associated data instances from one ontology to another. However, more complicat作者: HAUNT 時間: 2025-3-30 23:07 作者: 裂口 時間: 2025-3-31 02:38
https://doi.org/10.1057/9780230626560nal belief additions, and support for reasoning with ontological knowledge, which imply the need for belief revision within an AgentSpeak agent. In this paper, we show how a polynomial-time belief-revision algorithm can be incorporated into the . AgentSpeak interpreter by making use of .’s language 作者: 孤獨無助 時間: 2025-3-31 08:02
Lothar Brock,Anna Geis,Harald Müllers model social concepts like organization and roles and which properties distinguish them from other categories like objects and agents: the organizational structure of institutions and the relation between roles and organizations. All social concepts depend on descriptions defining them, which are 作者: peak-flow 時間: 2025-3-31 12:23
Lothar Brock,Anna Geis,Harald Müllerto information, the explanation(s) and conclusion(s) they can draw from their observations are inevitably uncertain. In this context, the efficient propagation of information is concerned with two interrelated aspects: spreading the information as quickly as possible, and refining the hypotheses at 作者: FRAUD 時間: 2025-3-31 13:26 作者: 百靈鳥 時間: 2025-3-31 18:39
Paths, Choices, Outcomes, and Uncertaintyork with an elegant formal semantics. However, the original language is too abstract to be used as a programming language for developing multi-agent system. In this paper, we address one of the features that are essential for a pragmatical agent programming language. We show how certain . of AgentSp
