2291 search results - page 119 / 459 » Representational Reasoning and Verification |
ASE
2007
13 years 10 months ago
2007
This paper surveys a selection of personal research projects which addressed problems related to Software Engineering, and whose solution was inspired by ideas from the field of K...
LPNMR
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
TIME
1994
IEEE
14 years 2 months ago
1994
IEEE
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
ECSQARU
2005
Springer
14 years 3 months ago
2005
Springer
This paper briefly considers several research issues, some of which are on-going and some others are for further research. The starting point is that many AI topics, especially th...
ISSS
1998
IEEE
14 years 2 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...