2022 search results - page 49 / 405 » Complexity of Non-Monotonic Logics |
112
click to vote
LPNMR
2007
Springer
15 years 6 months 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...
106
click to vote
TCS
2010
14 years 11 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...
109
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
123
Voted
MICCAI
2004
Springer
16 years 1 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 ...
115
Voted
EUSFLAT
2009
14 years 10 months ago
2009
This paper demonstrates that several known sequence kernels can be expressed in a unified framework in which the position specificity is modeled by fuzzy equivalence relations. In ...