12981 search results - page 2469 / 2597 » Model Checking and Abstraction |
116
click to vote
ISPAN
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
125
Voted
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
120
click to vote
CONTEXT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
133
click to vote
DIS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
144
click to vote
EVOW
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...