481 search results - page 21 / 97 » Validity of First-Order Knowledge Bases |
WCRE
2002
IEEE
14 years 14 days ago
2002
IEEE
As part of a long term project aiming at empowering software maintainers with knowledge based tools we conducted an empirical study on the knowledge they use when doing maintenanc...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
FOIS
2006
13 years 9 months ago
2006
Abstract. Across a wide range of domains, there is an urgent need for a wellfounded approach to incorporating uncertain and incomplete knowledge into formal domain ontologies. Alth...
AI
2004
Springer
13 years 7 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
ISTA
2008
13 years 9 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...