2162 search results - page 303 / 433 » Automated Reasoning on Feature Models |
129
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
153
click to vote
CSL
2003
Springer
15 years 9 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
125
Voted
ILP
2003
Springer
15 years 9 months ago
2003
Springer
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
136
click to vote
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
We consider the problem of inference from multinomial data with chances θ, subject to the a-priori information that the true parameter vector θ belongs to a known convex polytope...
181
click to vote
RR
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...