A MULTI-BROKER ARCHITECTURE FOR SHARING INFORMATION AMONGST DIVERSE USER COMMUNITIES (2007)
Peter Mott, Stuart Roberts, Leeds Ls Jt
As information is ever more widely derived and distributed problems will arise from the diversity of assumptions and conventions amongst groups of users. Because of the generality of this problem,...
On the Possibility of Semantics (2007)
Introduction Philosophical Semantics as in the Montogovian tradition (e.g. Montague 1973, Dowty 1981) defends at least these two principles. First, that there is a class of objects that are the...
On the Possibility of Semantics (2007)
Introduction Philosophical Semantics as in the Montogovian tradition (e.g. Montague 1973, Dowty 1981) defends at least these two principles. First, that there is a class of objects that are the...
Intuitionistic Logic with A "Definitely" Operator, Research Report 97.05 (2007)
This paper introduces a logic ILED derived from standard intuitionistic sentence logic by adding two operators Dj for "Definitely j " and ~j for "Experience rejects...
A Critical Note on Stable Model Semantics (2007)
In this paper, we argue that both the stable model semantics and its three-valued version are conceptually flawed. 1
The Atomic Strain Tensor. (1998)
Mott, Peter, Morgan, Ali S., Sutter, Ulrich W.
A definition of the local atomic strain increments in three dimensions and an algorithm for computing them is presented. An arbitrary arrangement of atoms is tessellated into Delauney tetrahedra,...
A Variant of Thomason's First-Order Logic CF Based on Situations (1998)
In this paper, we define a first-order logic CFʹ with strong negation and bounded static quantifiers, which is a variant of Thomason's logic CF. For the logic CFʹ, the usual Kripke formal semantics...
Quasi-stable semantics for logic programs (1998)
scholarship. In this paper, we describe a new semantics for logic programs and deductive databases which we term the "quasi-stable semantics". This has the following features (i)...
A Variant of Thomason's First-order Logic CF Based on Situations (1998)
In this paper, we define a first-order logic CF 0 with strong negation and bounded static quantifiers, which is a variant of Thomason's logic CF . For the logic CF 0 , the usual Kripke formal...
Quasi-Stable Semantics of Logic Programs (1998)
this paper, we introduce a new semantic theory for logic programs. We choose the Well-Founded Semantics (WFS) [23] as our starting point because it has many desirable features. For any logic program...
A Formalism For Context Mediation Based On Feature Logic (1998)
This paper describes a formalism for context mediation based on Feature Logic. The formalism enables a distinction to be drawn between integrity and translational aspects of mediation. It is...
A Variant of Thomason's First-order Logic CF Based On Situations (1997)
In this paper, we define a first-order logic CF 0 with strong negation and bounded classical quantifiers, which is a variant of Thomason's logic CF . For the logic CF 0 , the usual Kripke formal...
Intuitionistic Logic with a "Definitely" Operator (1997)
This paper introduces a logic ILED derived from standard intuitionistic sentence logic by adding two operators Dj for "Definitely j" and ~j for "Experience rejects j". A further...
Intuitionistic Logic with a "Definitely" Operator (1997)
This paper introduces a logic ILED derived from standard intuitionistic predicate logic by adding two operators Dj for "Definitely j" and ~j for "Experience rejects j". A further...
Signalsteuerungsverfahren zur Priorisierung des öffentlichen Personennahverkehrs / (1984)
Zugl.: Karlsruhe, Univ., Diss., 1982.
Signalsteuerungsverfahren zur Priorisierung des Öffentlichen Personennahverkehrs. (1983)
Karlsruhe, Univ., Diss., 1982.