Sciweavers

3321 search results - page 4 / 665
» The Future of Knowledge Representation
Sort
View
WOA
2007
13 years 8 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
CIKM
2005
Springer
14 years 1 months ago
A robot ontology for urban search and rescue
The goal of this Robot Ontology effort is to develop and begin to populate a neutral knowledge representation (the data structures) capturing relevant information about robots and...
Craig Schlenoff, Elena Messina
WSC
2004
13 years 8 months ago
Foundations of Validating Reusable Behavioral Models in Engineering Design Problems
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
Richard J. Malak, Christiaan J. J. Paredis
21
Voted
AAAI
2000
13 years 8 months ago
A Conjunctive Query Language for Description Logic Aboxes
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
Ian Horrocks, Sergio Tessaris
CC
2010
Springer
118views System Software» more  CC 2010»
13 years 5 months ago
Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
Shuhan Ding, Soner Önder