Sciweavers

711 search results - page 35 / 143
» Knowledge Representation and Reasoning in (Controlled) Natur...
Sort
View
ECEASST
2008
87views more  ECEASST 2008»
13 years 9 months ago
Visual Design and Reasoning with the Use of Hypergraph Transformations
: This paper deals with visual design and reasoning. A visual language with its internal representation in the form of attributed hierarchical hypergraphs is discussed. Hypergraph ...
Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan ...
COLING
1990
13 years 10 months ago
Solving Ambiguities In The Semantic Representation Of Texts
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
Marie-Claude Landau
CADE
2006
Springer
14 years 9 months ago
Specifying and Reasoning About Dynamic Access-Control Policies
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...
FLAIRS
2006
13 years 10 months ago
Verbalization Enhanced Tutoring
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
Christel Kemke, Shamima Mithun
AAAI
2007
13 years 11 months ago
PLOW: A Collaborative Task Learning Agent
To be effective, an agent that collaborates with humans needs to be able to learn new tasks from humans they work with. This paper describes a system that learns executable task m...
James F. Allen, Nathanael Chambers, George Ferguso...