Results 1  10
of
26,048
Pushing the EL envelope
 In Proc. of IJCAI 2005
, 2005
"... Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL0 becomes already int ..."
Abstract

Cited by 461 (59 self)
 Add to MetaCart
Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL0 becomes already
Local Reasoning about Programs that Alter Data Structures
, 2001
"... We describe an extension of Hoare's logic for reasoning about programs that alter data structures. We consider a lowlevel storage model based on a heap with associated lookup, update, allocation and deallocation operations, and unrestricted address arithmetic. The assertion language is ba ..."
Abstract

Cited by 324 (28 self)
 Add to MetaCart
is based on a possible worlds model of the logic of bunched implications, and includes spatial conjunction and implication connectives alongside those of classical logic. Heap operations are axiomatized using what we call the "small axioms", each of which mentions only those cells accessed
The Axioms Strike Back: Testing with Concepts and Axioms in C++
"... Modern development practises encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation. Such tests are typically casebased, checking a likely error scenario or an error that has previously been identified and fixed. Coming ..."
Abstract
 Add to MetaCart
. Coming up with good test cases is challenging, and focusing on individual tests can distract from creating tests that cover the full functionality. Axioms, known from program specification, allow for an alternative way of generating test cases, where the intended functionality is described as rules
Axioms of an Experimental System
, 1998
"... In this paper a system of axioms is presented to define the notion of an experimental system. The primary feature of these axioms is that they are based solely on the mathematical notion of a direct product decomposition of a set. Properties of experimental systems are then developed. This includes ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
In this paper a system of axioms is presented to define the notion of an experimental system. The primary feature of these axioms is that they are based solely on the mathematical notion of a direct product decomposition of a set. Properties of experimental systems are then developed. This includes
Testing with Concepts and Axioms in C++
"... Unit testing is a popular way of increasing software reliability. Axioms, known from program specification, allow functionality to be described as rules or equations. We show a method and prototype tool for using the proposed concept and axiom features of the upcoming C++0x standard for automated ..."
Abstract
 Add to MetaCart
Unit testing is a popular way of increasing software reliability. Axioms, known from program specification, allow functionality to be described as rules or equations. We show a method and prototype tool for using the proposed concept and axiom features of the upcoming C++0x standard for au
Forcing Axioms and the Continuum Problem
, 2004
"... In this note, we give a survey on recent developments pertaining to forcing axioms with emphasis on their characterizations and consequences connected to the Continuum Problem. Nonspecialists in set theory and/or students in mathematics are supposed to be the readers, and thus we tried to make this ..."
Abstract
 Add to MetaCart
In this note, we give a survey on recent developments pertaining to forcing axioms with emphasis on their characterizations and consequences connected to the Continuum Problem. Nonspecialists in set theory and/or students in mathematics are supposed to be the readers, and thus we tried to make
The Axioms of Subsumption Ethics1
"... Rev. 11/12/2009 Subsumption ethics is the process by which decisions become incorporated into the operation of information technology (IT) systems, and subsequently forgotten. There are four axioms of subsumption ethics: A. Information systems subsume design, policy and implementation decisions in p ..."
Abstract
 Add to MetaCart
Rev. 11/12/2009 Subsumption ethics is the process by which decisions become incorporated into the operation of information technology (IT) systems, and subsequently forgotten. There are four axioms of subsumption ethics: A. Information systems subsume design, policy and implementation decisions
, using the Axiom of Determinateness
, 1994
"... In this article we construct a free and complete ultra¯lter on the set!1, using the Axiom of Determinateness (AD). First we de¯ne for each V µ!1 a perfect information game G(V). The axiom AD guarantees that in each game G(V), either the ¯rst or the second player has a winning strategy. For several ..."
Abstract
 Add to MetaCart
In this article we construct a free and complete ultra¯lter on the set!1, using the Axiom of Determinateness (AD). First we de¯ne for each V µ!1 a perfect information game G(V). The axiom AD guarantees that in each game G(V), either the ¯rst or the second player has a winning strategy
Reichenbach’s Axiom – For the record
, 2014
"... The main purpose of this note is to make accessible a prove of an unpublished result by Haim Gaifman that, assuming Regularity, a probability function satisfies Reichenbach’s Principle just and only if every point in D2q is a support point of its de Finetti prior. The following principle has been at ..."
Abstract
 Add to MetaCart
attributed to Hans Reichenbach after a suggestion by Hilary Putnam, see [2, p120]: Reichenbach’s Axiom, RA Let αhi(x) for i = 1, 2, 3,... be an infinite sequence of atoms of L. 1 Then for αj(x) an atom of L, lim n→∞ w αj(an+1)  n∧ i=1 αhi(ai) − uj(n)
Results 1  10
of
26,048