1055 search results - page 19 / 211 » On the Semantics of Logic Programs with Preferences |
ASP
2003
Springer
14 years 22 days ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
COOPIS
2002
IEEE
14 years 14 days ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
FSS
2007
13 years 7 months ago
2007
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...