#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1999

2011

- This year (0)
- Last 5 years (0)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Pawel Waszkiewicz
- Applied Categorical Structures
- 2003

- Dirk Hofmann, Pawel Waszkiewicz
- ArXiv
- 2010

Our work is a fundamental study of the notion of approximation inQ-categories and in (U,Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of Qand (U,Q)-categories. We fully characterize continuous Q-categories (resp.… (More)

This paper presents an architecture for a Personal Travel Assistant (PTA) which can elaborate on a users travel request and evaluate travel offers. Information on user behaviour is stored in a case base in the form of a Case Retrieval Net. This lazy approach has the advantages that it is incremental, extendible and allows flexible reuse of the information.… (More)

- Pawel Waszkiewicz
- Fundam. Inform.
- 2009

This paper is about a generalization of Scott’s domain theory in such a way that its definitions and theorems become meaningful in quasimetric spaces. The generalization is achieved by a change of logic: the fundamental concepts of original domain theory (order, way-below relation, Scott-open sets, continuous maps, etc.) are interpreted as predicates that… (More)

- Pawel Waszkiewicz
- Electr. Notes Theor. Comput. Sci.
- 2001

We investigate the notion of distance on domains. In particular, we show that measurement is a fundamental concept underlying partial metrics by proving that a domain in its Scott topology is partially metrizable only if it admits a measurement. Conversely, the natural notion of a distance associated with a measurement not only yields meaningful partial… (More)

- Pawel Waszkiewicz
- Mathematical Structures in Computer Science
- 2006

In this article, we characterise all continuous posets which are partially metrizable in their Scott topology. We present conditions for pmetrizability, which are both necessary and sufficient, in terms of measurements, domain-theoretic bases and, in a more general setting, in terms of radially convex metrics. These conditions, together with their… (More)

- Mateusz Kostanek, Pawel Waszkiewicz
- Mathematical Structures in Computer Science
- 2011

We generalize the construction of the formal ball model for metric spaces due to A. Edalat and R. Heckmann to obtain computational models for separated Q-categories. We fully describe (a) Yoneda complete and (b) continuous Yoneda complete Q-categories via their formal ball models. Our results yield solutions to two open problems in the theory of… (More)

- Pawel Waszkiewicz
- FICS
- 2010

- Pawel Waszkiewicz
- Electr. Notes Theor. Comput. Sci.
- 2005

- Pawel Waszkiewicz
- FCT
- 2005

In this paper we study the interplay between metric and order completeness of semantic domains equipped with generalised distances. We prove that for bounded complete posets directed-completeness and partial metric completeness are interdefinable. Moreover, we demonstrate that Lawson-compact, countably based domains are precisely the compact pmetric spaces… (More)