Sciweavers

135 search results - page 16 / 27
» A Compositional Semantics of Plan Revision in Intelligent Ag...
Sort
View
AAAI
2007
14 years 11 months ago
A Logic of Agent Programs
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
74
Voted
ESAW
2006
Springer
15 years 1 months ago
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
Marco Stuit, Nick B. Szirbik
AAAI
2008
14 years 11 months ago
Error Classification in Action Descriptions: A Heuristic Approach
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
Thomas Eiter, Michael Fink, Ján Senko
DASFAA
2004
IEEE
142views Database» more  DASFAA 2004»
15 years 1 months ago
Ontological and Pragmatic Knowledge Management for Web Service Composition
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...
Soon Ae Chun, Yugyung Lee, James Geller
AAAI
2000
14 years 11 months ago
Class-Based Construction of a Verb Lexicon
We present an approach to building a verb lexicon compatible with WordNet but with explicitly stated syntactic and semantic information, using Levin verb classes to systematically...
Karin Kipper, Hoa Trang Dang, Martha Stone Palmer