1664 search results - page 63 / 333 » Towards Partial Reasoning |
116
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
116
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
108
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
124
Voted
EWCBR
2006
Springer
15 years 4 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
105
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...