Searching for authors named "Thomas Drakengren" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Uniqueness of Scott's Reflexive Domain in P omega
- …Uniqueness of Scott's Reflexive Domain in P! Thomas Drakengren April 20, 1994 Abstract Domains…
- Add To MetaCart
-
Algorithms and Complexity for Temporal and Spatial Formalisms
- … Formalisms Thomas Drakengren Linkping 1997 ISBN 91-7219-019-1 ISSN 0345-7524 Abstract The problem…
- Cited by 3 (2 self) – Add To MetaCart
-
Compositionality and the Frame Problem
- … Drakengren Email: thodr@(email omitted); Abstract The problem of compositionally specifying effects of actions…
- Cited by 1 (0 self) – Add To MetaCart
-
Expressive Reasoning about Action in Nondeterministic Polynomial Time
- …Expressive Reasoning about Action in Nondeterministic Polynomial Time Thomas Drakengren Laxgatan…
- Cited by 1 (0 self) – Add To MetaCart
-
Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time
- … Drakengren and Peter Jonsson ABSTRACT This paper combines two important directions of research in temporal…
- Cited by 19 (10 self) – Add To MetaCart
-
A Complete Classification of Tractability in Allen's Algebra Relative to Subsets of Basic Relations
- … Thomas Drakengren and Peter Jonsson Department of Computer and Information Science Linkoping University…
- Cited by 5 (0 self) – Add To MetaCart
-
Towards a complete classification of tractability in allen's algebra
- …Towards a Complete Classification of Tractability in Allen's Algebra Abstract Thomas Drakengren…
- Cited by 8 (6 self) – Add To MetaCart
-
Twenty-one Large Tractable Subclasses of Allen's Algebra
- …Paper II Twenty-one Large Tractable Subclasses of Allen's Algebra Thomas Drakengren and Peter…
- Cited by 19 (8 self) – Add To MetaCart
-
Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic
- … Drakengren, thodr@(email omitted); and Peter Jonsson, petej@(email omitted); Department of Computer and Information…
- Cited by 2 (2 self) – Add To MetaCart
-
A Complete Classification of Tractability in the Spatial Theory RCC-5
- … Drakengren Department of Computer and Information Science Linkoping University, S-581 83 Linkoping, Sweden…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
