1055 search results - page 16 / 211 » On the Semantics of Logic Programs with Preferences |
ICALP
1992
Springer
13 years 11 months ago
1992
Springer
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
RULEML
2004
Springer
14 years 25 days ago
2004
Springer
FUIN
2008
13 years 7 months ago
2008
DEXAW
2002
IEEE
14 years 13 days ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...