4266 search results - page 184 / 854 » A Framework for Defining Logics |
183
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
181
click to vote
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...
206
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
174
click to vote
CALCO
2005
Springer
16 years 4 days ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
153
click to vote
ITRUST
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...