Sciweavers

725 search results - page 26 / 145
» Layered Specification of Intelligent Agents
Sort
View
AAAI
1994
14 years 11 months ago
Recovering Software Specifications with Inductive Logic Programming
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
William W. Cohen
AOSE
2003
Springer
15 years 2 months ago
Activity Theory for the Analysis and Design of Multi-agent Systems
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ECAI
2004
Springer
15 years 1 months ago
Goal Specification in Presence of Non-Deterministic Actions
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...
Chitta Baral, Jicheng Zhao
ARGMAS
2004
Springer
15 years 1 months ago
Formal Dialectic Specification
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
Simon Wells, Chris Reed
AAAI
2010
14 years 11 months ago
Prioritization of Domain-Specific Web Information Extraction
It is often desirable to extract structured information from raw web pages for better information browsing, query answering, and pattern mining. Many such Information Extraction (...
Jian Huang, Cong Yu