630 search results - page 8 / 126 » Combining Two Formalism for Reasoning about Concepts |
FMCAD
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
ICCBR
2010
Springer
13 years 5 months ago
2010
Springer
How to reuse or adapt past solutions to new problems is one of the least understood problems in case-based reasoning. In this paper we will focus on the problem of how to combine s...
IJCAI
1993
13 years 8 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...