Sciweavers

5924 search results - page 388 / 1185
» Normal Process Representatives
Sort
View
AAAI
2006
15 years 8 months ago
Finding Maximally Satisfiable Terminologies for the Description Logic ALC
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...
Thomas Andreas Meyer, Kevin Lee, Richard Booth, Je...
DLOG
2001
15 years 8 months ago
TBoxes do not Yield a Compact Representation of Least Common Subsumers
For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the input descripti...
Franz Baader, Anni-Yasmin Turhan
WSC
2001
15 years 8 months ago
A virtual environment for simulating manufacturing operations in 3D
This paper presents a method for simulating basic manufacturing operations (unload, load, process, move, and store) in a 3D virtual environment. The virtual environment provides a...
Ravi Chawla, Amarnath Banerjee
MAICS
2003
15 years 8 months ago
Grounded Concept Development Using Introspective Atoms
In this paper we present a system that uses its underlying physiology, a hierarchical memory and a collection of memory management algorithms to learn concepts as cases and to bui...
Eric G. Berkowitz, Brian E. Mastenbrook
MAICS
2003
15 years 8 months ago
A Distributed Planning Approach Using Multiagent Goal Transformations
A multiagent goal transformation is defined as a directed alteration of goals by the agents in a multiagent system in order to adjust for lack of resources and/or lack of capabili...
Michael T. Cox, Mohammad M. Elahi, Kevin Cleereman