1426 search results - page 39 / 286 » Specification of nonmonotonic reasoning |
116
Voted
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
109
click to vote
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
128
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
145
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
155
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...