2291 search results - page 119 / 459 » Representational Reasoning and Verification |
121
click to vote
ASE
2007
15 years 5 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...
152
click to vote
LPNMR
2001
Springer
15 years 9 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...
141
click to vote
TIME
1994
IEEE
15 years 9 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 ...
150
click to vote
ECSQARU
2005
Springer
15 years 11 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...
168
click to vote
ISSS
1998
IEEE
15 years 9 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...