2162 search results - page 69 / 433 » Automated Reasoning on Feature Models |
140
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Meeting summarization provides a concise and informative summary for the lengthy meetings and is an effective tool for efficient information access. In this paper, we focus on ext...
126
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
160
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
158
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
122
Voted
KR
2004
Springer
15 years 9 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...