Sciweavers

1120 search results - page 175 / 224
» A Formal Framework for Interactive Agents
Sort
View
SAC
2010
ACM
15 years 4 months ago
CNL4DSA: a controlled natural language for data sharing agreements
A Data Sharing Agreement (DSA) is an agreement among contracting parties regulating how they share data. A DSA represents a flexible mean to assure privacy of data exchanged on t...
Ilaria Matteucci, Marinella Petrocchi, Marco Luca ...
DAC
1994
ACM
15 years 1 months ago
Design Methodology Management Using Graph Grammars
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
Reid A. Baldwin, Moon-Jung Chung
ICAI
2007
14 years 11 months ago
A Graphical Game Model of Drug Binding
Abstract Drug-protein binding is the reversible interaction of drugs with proteins in an organism and is vital in helping the body reject invading pathogenic organisms. Predicting ...
Christina Boucher, Maja Omanovic
AIPS
1994
14 years 11 months ago
Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
George Ferguson, James F. Allen
MATES
2007
Springer
15 years 4 months ago
Diagnosis of Plan Structure Violations
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to ...
Nico Roos, Cees Witteveen