Sciweavers

395 search results - page 16 / 79
» Development of a formal REA-ontology Representation
Sort
View
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
15 years 3 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
ET
2007
67views more  ET 2007»
14 years 11 months ago
A Formal Analysis of Fault Diagnosis with D-matrices
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
John W. Sheppard, S. G. W. Butcher
AIPS
1994
15 years 1 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
ECTEL
2006
Springer
15 years 3 months ago
A Formal Model of Learning Object Metadata
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
Kris Cardinaels, Erik Duval, Henk J. Olivié
JCIT
2007
192views more  JCIT 2007»
14 years 11 months ago
Action Representation for Natural Language Interfaces to Agent Systems
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
Christel Kemke