2162 search results - page 45 / 433 » Automated Reasoning on Feature Models |
122
Voted
DEON
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
136
click to vote
DLOG
2008
15 years 5 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
159
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
197
Voted
LPNMR
2011
Springer
14 years 6 months ago
2011
Springer
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...
124
Voted
TARK
1998
Springer
15 years 7 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...