2162 search results - page 180 / 433 » Automated Reasoning on Feature Models |
132
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
115
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
130
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we investigate consonant random sets from the point of view of lattice theory. We introduce a new definition of consonancy and study its relationship with possibili...
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system ...
148
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...