咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
agent programming Extensions relying on a component-based platform
Agent Programming Extensions relying on a component-based pl...
收藏 引用
IEEE International Conference on Information Reuse and Integration (IRI-2003)
作者: Vecchiola, C Coccoli, M Boccalatte, A Univ Genoa Dept Commun Comp & Syst Sci Genoa Italy
This paper describes a suite of extensions to the object oriented model, steering OO programming towards the agent programming paradigm;such set of extensions is called agent programming extensions (APX). APX has been... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
agent programming via planning programs  10
Agent programming via planning programs
收藏 引用
Proceedings of the 9th International Conference on Autonomous agents and Multiagent Systems: volume 1 - Volume 1
作者: Giuseppe De Giacomo Fabio Patrizi Sebastian Sardina Sapienza Università di Roma Roma Italy RMIT University Melbourne Australia
We imagine agent "planning" programs as programs built from achievement and maintenance goals. Their executions require the ability to meet such goals while respecting the programs' control flow. The que... 详细信息
来源: 评论
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... 详细信息
来源: 评论
agent programming with temporally extended goals  09
Agent programming with temporally extended goals
收藏 引用
International Conference on Autonomous agents and Multiagent Systems
作者: Koen V. Hindriks Wiebe van der Hoek M. Birna van Riemsdijk Delft University of Technology University of Liverpool
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of states instead of a set of desirable final ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Rich goal types in agent programming  11
Rich goal types in agent programming
收藏 引用
The 10th International Conference on Autonomous agents and Multiagent Systems - Volume 1
作者: Mehdi Dastani M. Birna van Riemsdijk Michael Winikoff Utrecht University The Netherlands Delft University of Technology The Netherlands University of Otago New Zealand
Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals in agent programming frameworks only deals with a limited set of goal types,... 详细信息
来源: 评论