481 search results - page 53 / 97 » Validity of First-Order Knowledge Bases |
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Neural processing of large-scale data sets containing both many input / output variables and a large number of training examples often leads to very large networks. Onc...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
—Safe, autonomous mobility in rough terrain is an important requirement for planetary exploration rovers. Knowledge of local terrain properties is critical to ensure a rover’s ...
PRDC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
SEW
2005
IEEE
14 years 1 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
ECSQARU
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...