Sciweavers

725 search results - page 14 / 145
» Layered Specification of Intelligent Agents
Sort
View
ATAL
1997
Springer
15 years 1 months ago
A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
Michael Schroeder, Iara de Almeida Móra, Lu...
INFORMATICALT
2000
141views more  INFORMATICALT 2000»
14 years 9 months ago
Intelligent GIS: Architectural Issues and Implementation Methods
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
Viktoras Paliulionis
DALT
2006
Springer
15 years 1 months ago
A Functional Program for Agents, Actions, and Deontic Specifications
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
Adam Zachary Wyner
ARGMAS
2006
Springer
15 years 1 months ago
Specification and Complexity of Strategic-Based Reasoning Using Argumentation
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...
Mohamed Mbarki, Jamal Bentahar, Bernard Moulin
CIA
2006
Springer
15 years 1 months ago
Conversation-Based Specification and Composition of Agent Services
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
Quoc Bao Vo, Lin Padgham