Sciweavers

639 search results - page 17 / 128
» Engineering intelligent systems on the knowledge formalizati...
Sort
View
AUSAI
1997
Springer
14 years 23 days ago
Controlling Engineering Problem Solving
Engineering problem solving requires both domain knowledge and an understanding of how to apply that knowledge. While much of the recent work in qualitative physics has focused on...
Yusuf Pisan
HASE
1998
IEEE
14 years 26 days ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
FLAIRS
2003
13 years 10 months ago
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study
Neural-symbolic integration concerns the integration of symbolic and connectionist systems. Distributed knowledge representation is traditionally seen under a purely symbolic pers...
Artur S. d'Avila Garcez, Luís C. Lamb, Krys...
IJCAI
1989
13 years 9 months ago
A Technique for Customizing Object-Oriented Knowledge Representation Systems, With An Application to Network Problem Management
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
Lisiane Goffaux, Robert Mathonet
KI
2002
Springer
13 years 8 months ago
Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System
The algorithmic generation of textual descriptions of image sequences requires conceptual knowledge. In our case, a stationary camera recorded image sequences of road traffic scene...
Michael Arens, Hans-Hellmut Nagel