咨询与建议

限定检索结果

文献类型

  • 34 篇 会议
  • 19 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 54 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 42 篇 工学
    • 39 篇 计算机科学与技术...
    • 17 篇 软件工程
    • 9 篇 控制科学与工程
    • 7 篇 电气工程
    • 2 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 信息与通信工程
  • 8 篇 管理学
    • 8 篇 管理科学与工程(可...
  • 7 篇 理学
    • 7 篇 数学

主题

  • 54 篇 agent programmin...
  • 9 篇 formal semantics
  • 6 篇 goals
  • 4 篇 planning
  • 3 篇 jacamo
  • 3 篇 dynamic epistemi...
  • 3 篇 commitments and ...
  • 3 篇 social computing
  • 3 篇 agents & artifac...
  • 3 篇 formal verificat...
  • 2 篇 object oriented ...
  • 2 篇 query languages
  • 2 篇 languages
  • 2 篇 hybrid systems
  • 2 篇 model checking
  • 2 篇 nurse scheduling
  • 2 篇 nurse rostering
  • 2 篇 logic programmin...
  • 2 篇 bdi logics
  • 2 篇 distributed prog...

机构

  • 3 篇 utrecht universi...
  • 2 篇 delft university...
  • 2 篇 university of ot...
  • 2 篇 univ liverpool d...
  • 2 篇 vrije univ amste...
  • 2 篇 gothenburg univ ...
  • 2 篇 univ turin dipar...
  • 1 篇 fdn bruno kessle...
  • 1 篇 nicta natl ict a...
  • 1 篇 swedish inst com...
  • 1 篇 univ london impe...
  • 1 篇 university of no...
  • 1 篇 rmit university ...
  • 1 篇 tech univ denmar...
  • 1 篇 university of li...
  • 1 篇 tech univ denmar...
  • 1 篇 ryerson uni dept...
  • 1 篇 univ technol fg ...
  • 1 篇 univ koblenz lan...
  • 1 篇 north carolina s...

作者

  • 4 篇 m. birna van rie...
  • 4 篇 michael winikoff
  • 3 篇 mehdi dastani
  • 3 篇 baroglio cristin...
  • 3 篇 baldoni matteo
  • 3 篇 capuzzimati fede...
  • 3 篇 micalizio robert...
  • 2 篇 alessandro ricci
  • 2 篇 wielemaker jan
  • 2 篇 vieira renata
  • 2 篇 van riemsdijk m....
  • 2 篇 koen v. hindriks
  • 2 篇 lager torbjorn
  • 2 篇 souza marlo
  • 2 篇 fisher michael
  • 2 篇 jonker catholijn...
  • 2 篇 moreira alvaro
  • 1 篇 enrico scala
  • 1 篇 governatori guid...
  • 1 篇 chopra amit k.

语言

  • 52 篇 英文
  • 2 篇 其他
检索条件"主题词=Agent Programming"
54 条 记 录,以下是1-10 订阅
排序:
Partially observable game-theoretic agent programming in Golog
收藏 引用
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2020年 119卷 220-241页
作者: Finzi, Alberto Lukasiewicz, Thomas Univ Napoli Federico II DIETI Naples Italy Univ Oxford Dept Comp Sci Oxford England
In this paper, we present the agent programming language POGTGolog (Partially Observable Game-Theoretic Golog), which integrates explicit agent programming in Golog with game-theoretic multi-agent planning in partiall... 详细信息
来源: 评论
agent programming in the Cognitive Era  21
Agent Programming in the Cognitive Era
收藏 引用
Proceedings of the 20th International Conference on Autonomous agents and Multiagent Systems
作者: Rafael H. Bordini Amal El Fallah Seghrouchni Koen Hindriks Brian Logan Alessandro Ricci Pontifical Catholic University of Rio Grande do Sul Porto Alegre Brazil Sorbonne Universite Paris France Vrije Universiteit Amsterdam Amsterdam Netherlands University of Nottingham Nottingham United Kingdom University of Bologna Bologna Italy
It is claimed that, in the nascent 'Cognitive Era', intelligent systems will be trained using machine learning techniques rather than programmed by software developers. A contrary point of view argues that mac... 详细信息
来源: 评论
JS-son - A Lean, Extensible JavaScript agent programming Library  7th
JS-son - A Lean, Extensible JavaScript Agent Programming Lib...
收藏 引用
7th International Workshop on Engineering Multi-agent Systems (EMAS)
作者: Kampik, Timotheus Nieves, Juan Carlos Umea Univ S-90187 Umea Sweden
A multitude of agent-oriented software engineering frameworks exist, most of which are developed by the academic multi-agent systems community. However, these frameworks often impose programming paradigms on their use... 详细信息
来源: 评论
"Go to the Children": Rethinking Intelligent agent Design and programming in a Developmental Learning Perspective  22
"Go to the Children": Rethinking Intelligent Agent Design an...
收藏 引用
Proceedings of the 21st International Conference on Autonomous agents and Multiagent Systems
作者: Alessandro Ricci Università di Bologna Cesena Italy
In this paper we propose to rethink the development of intelligent agents based on cognitive architectures as a developmental learning process, inspired by theories of learning in children and cognitive development. T... 详细信息
来源: 评论
Tractable reasoning about agent programming in Dynamic Preference Logic
Tractable reasoning about Agent Programming in Dynamic Prefe...
收藏 引用
7th Brazilian Conference on Intelligent Systems (BRACIS)
作者: Souza, Marlo Moreira, Alvaro Vieira, Renata Univ Fed Bahia Inst Math & Stat Salvador BA Brazil Univ Fed Rio Grande do Sul Inst Informat Porto Alegre RS Brazil Pontificia Univ Catolica Rio Grande do Sul Fac Informat Porto Alegre RS Brazil
While several BDI logics have been proposed in the area of agent programming, it is not clear how these logics are connected to the agent programs they are supposed to specify. More yet, the reasoning problems in thes... 详细信息
来源: 评论
A Dynamic Preference Logic for reasoning about agent programming  6
A Dynamic Preference Logic for reasoning about Agent Program...
收藏 引用
6th Brazilian Conference on Intelligent Systems (BRACIS)
作者: Souza, Marlo Moreira, Alvaro Vieira, Renata Meyer, John-Jules Ch Fed Univ Bahia UFBA Salvador BA Brazil Fed Univ Rio Grande UFRGS Porto Alegre RS Brazil Pontifical Catholic Univ Rio Grande PUCRS Porto Alegre RS Brazil Univ Utrecht Uthrecht Netherlands
In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes. Further, exploring this codification and the representation of preferences over possible worlds by preferences over prop... 详细信息
来源: 评论
Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages
Choices that make you chnage your mind : a dynamic epistemic...
收藏 引用
作者: Souza, Marlo Vieira dos Santos e
As the notions of Agency and Multiagent System became important topics for the Computer Science and Artificial Intelligence communities, agent programming has been proposed as a paradigm for the development of compute... 详细信息
来源: 评论
Verifiable autonomy: From theory to applications
收藏 引用
AI COMMUNICATIONS 2022年 第4期35卷 421-431页
作者: Dennis, Louise Dixon, Clare Fisher, Michael Univ Manchester Dept Comp Sci Manchester Lancs England
The Autonomy and Verification group(1) sits within the Department of Computer Science(2) at the University of Manchester. The group has a long history of research into agents and multi-agent systems (both at Mancheste... 详细信息
来源: 评论
StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for agent Platforms  1
收藏 引用
9th International Workshop on Engineering Multi-agent Systems (EMAS)
作者: Ferrando, Angelo Papacchini, Fabio Univ Genoa Dept Comp Sci Bioengn Robot & Syst Engn DIBRIS Genoa Italy Univ Liverpool Dept Comp Sci Liverpool Merseyside England
To apply BDI agents to real-world scenarios, the reality-gap, between the low-level data (perceptions) and their high-level representation (beliefs), must be bridged. This is usually achieved by a manual mapping. Ther... 详细信息
来源: 评论
Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications
收藏 引用
AUTONOMOUS agentS AND MULTI-agent SYSTEMS 2022年 第1期36卷 16-16页
作者: Christie, Samuel H., V Chopra, Amit K. Singh, Munindar P. Univ Lancaster Lancaster England North Carolina State Univ Raleigh NC 27695 USA
We conceptualize a decentralized software application as one constituted from autonomous agents that communicate via asynchronous messaging. Modern software paradigms such as microservices and settings such as the Int... 详细信息
来源: 评论