593 search results - page 17 / 119 » RDF and Logic: Reasoning and Extension |
154
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
110
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
137
click to vote
LPNMR
1993
Springer
15 years 5 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
108
click to vote
ASP
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
137
click to vote
RR
2010
Springer
14 years 11 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...