2162 search results - page 127 / 433 » Automated Reasoning on Feature Models |
143
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
137
Voted
KR
1992
Springer
15 years 8 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
127
Voted
RR
2007
Springer
15 years 10 months ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
125
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
155
click to vote
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...