2162 search results - page 59 / 433 » Automated Reasoning on Feature Models |
126
Voted
AAAI
1990
15 years 4 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
105
click to vote
ICLP
1987
Springer
15 years 7 months ago
1987
Springer
The Near-Horn Prolog procedures have been proposed as e ective procedures in the area of disjunctive logic programming, an extension of logic programming to the ( rstorder) non-Ho...
115
Voted
AI
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
166
Voted
DLOG
2011
14 years 7 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
140
Voted
DLOG
2003
15 years 5 months ago
2003
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...