1916 search results - page 182 / 384 » Reasoning with class algebra |
111
click to vote
JAIR
2006
15 years 4 months ago
2006
In recent years, CP-nets have emerged as a useful tool for supporting preference elicitation, reasoning, and representation. CP-nets capture and support reasoning with qualitative...
144
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
140
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
125
click to vote
AAAI
2011
14 years 4 months ago
2011
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
132
click to vote
POST
2012
13 years 11 months ago
2012
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...