2035 search results - page 42 / 407 » On the complexity of stratified logics |
183
click to vote
LPNMR
2007
Springer
16 years 7 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
167
click to vote
TCS
2010
15 years 4 months ago
2010
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
224
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Existing surgical simulators provide a physical simulation that can help a trainee develop the hand-eye coordination and motor skills necessary for specific tasks, such as cutting ...
145
click to vote
IJCAI
2001
15 years 7 months ago
2001
In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent...
317
click to vote
DLOG
2011
14 years 9 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...