-
1
-
-
33748078555
-
-
Z. Kulpa, Two-dimensional representation of interval relations: preliminaries, Internal Report, Institute of Fundamental Technological Research of the Polish Academy of Sciences, Warsaw, 1995.
-
-
-
-
2
-
-
33748041225
-
Some ways images express and promote thought
-
Grialou P., Longo G., and Okada M. (Eds), Keio University, Tokyo
-
Tversky B. Some ways images express and promote thought. In: Grialou P., Longo G., and Okada M. (Eds). Images and Reasoning (2005), Keio University, Tokyo 15-29
-
(2005)
Images and Reasoning
, pp. 15-29
-
-
Tversky, B.1
-
3
-
-
33748079571
-
-
Z. Kulpa, From picture processing to interval diagrams, IFTR Reports 4/2003, Warsaw, 2003. See also 〈http://www.ippt.gov.pl/~zkulpa/diagrams/fpptid.html〉.
-
-
-
-
4
-
-
0004207959
-
-
The University of Chicago Press, Chicago, IL
-
Giere R.N. Science Without Laws (1999), The University of Chicago Press, Chicago, IL
-
(1999)
Science Without Laws
-
-
Giere, R.N.1
-
5
-
-
33748068903
-
-
M. Warmus, Calculus of approximations, Bulletin de l'Académie Polonaise des Sciences, Classe III, IV(5) (1956) 253-259. [For on-line scan of the paper, see http://www.ippt.gov.pl/~zkulpa/quaphys/warmus.html.]
-
-
-
-
7
-
-
0004293209
-
-
Prentice Hall, Englewood Cliffs
-
Moore R.E. Interval Analysis (1966), Prentice Hall, Englewood Cliffs
-
(1966)
Interval Analysis
-
-
Moore, R.E.1
-
8
-
-
0020849266
-
Maintaining knowledge about temporal relations
-
Allen J.F. Maintaining knowledge about temporal relations. Communications of the ACM 26 11 (1983) 832-843
-
(1983)
Communications of the ACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.F.1
-
9
-
-
0026839993
-
Temporal reasoning based on semi-intervals
-
Freksa C. Temporal reasoning based on semi-intervals. Artificial Intelligence 54 1-2 (1992) 199-227
-
(1992)
Artificial Intelligence
, vol.54
, Issue.1-2
, pp. 199-227
-
-
Freksa, C.1
-
10
-
-
33748050224
-
-
A. Mukerjee, G. Joe, A qualitative model for space, Proceedings of the 8th National Conference on AI (AAAI-90), AAAI Press/The MIT Press, Menlo Park, CA/Cambridge, MA, 1990, pp. 721-727.
-
-
-
-
11
-
-
0012327485
-
Diagrammatic representation for a space of intervals
-
Kulpa Z. Diagrammatic representation for a space of intervals. Machine Graphics & Vision 6 1 (1997) 5-24
-
(1997)
Machine Graphics & Vision
, vol.6
, Issue.1
, pp. 5-24
-
-
Kulpa, Z.1
-
12
-
-
0012327486
-
Diagrammatic representation of interval space in proving theorems about interval relations
-
Kulpa Z. Diagrammatic representation of interval space in proving theorems about interval relations. Reliable Computing 3 (1997) 209-217
-
(1997)
Reliable Computing
, vol.3
, pp. 209-217
-
-
Kulpa, Z.1
-
13
-
-
0035587831
-
Diagrammatic representation for interval arithmetic
-
Kulpa Z. Diagrammatic representation for interval arithmetic. Linear Algebra and Its Applications 324 (2001) 55-80
-
(2001)
Linear Algebra and Its Applications
, vol.324
, pp. 55-80
-
-
Kulpa, Z.1
-
14
-
-
0012327488
-
Characterization of convex and pointisable interval relations by diagrammatic methods
-
Kulpa Z., and Le T.L. Characterization of convex and pointisable interval relations by diagrammatic methods. Machine Graphics & Vision 9 (2000) 221-231
-
(2000)
Machine Graphics & Vision
, vol.9
, pp. 221-231
-
-
Kulpa, Z.1
Le, T.L.2
-
15
-
-
0343153554
-
SIGLA-PL/1: Development and applications
-
Nickel K.L.E. (Ed), Academic Press, New York
-
Gardeñes E., Trepat A., and Janer J.M. SIGLA-PL/1: Development and applications. In: Nickel K.L.E. (Ed). Interval Mathematics 1980 (1980), Academic Press, New York 301-315
-
(1980)
Interval Mathematics 1980
, pp. 301-315
-
-
Gardeñes, E.1
Trepat, A.2
Janer, J.M.3
-
16
-
-
33748071553
-
-
M. Warmus, Approximations and inequalities in the calculus of approximations: Classification of approximate numbers, Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques IX (4) (1961) 241-245. [For on-line scan of the paper, see http://www.ippt.gov.pl/~zkulpa/quaphys/warmus.html].
-
-
-
-
17
-
-
33748058590
-
-
K. Nökel, Temporally Distributed Symptoms in Technical Diagnosis, Lecture Notes in Artificial Intelligence, vol. 517, Springer, Berlin, 1991.
-
-
-
-
18
-
-
33748032184
-
-
J.-F. Rit, Propagating temporal constraints for scheduling. Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), Morgan Kaufmann, Los Altos, CA, 1986, pp. 383-388.
-
-
-
-
20
-
-
84904756824
-
-
G. Ligozat, Temporal reasoning made simpler, Proceedings of 7th International Conference on IEA/AIE'94, Austin, TX, 1994, pp. 123-130.
-
-
-
-
21
-
-
33748076545
-
-
G. Ligozat, Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning, in: Workshop on Spatial and Temporal Reasoning (at AAAI-94), Seattle, WA, 1994, pp. 745-750.
-
-
-
-
22
-
-
33748079572
-
-
G. Ligozat, Tractable relations in temporal reasoning: pre-convex relations, Presented at ECAI-94 Workshop W12 on Spatial and Temporal Reasoning, Amsterdam, The Netherlands, 1994.
-
-
-
-
24
-
-
33748045240
-
-
E. Kaucher, Über metrische und algebraische Eigenschaften einiger beim numerischen Rechnen auftretender Räume, Ph.D. Thesis, Universität Karlsruhe, Karlsruhe, 1973.
-
-
-
-
25
-
-
33748044062
-
-
C. Schlieder, Diagrammatic reasoning about Allen's interval relations, in: AAAI Spring Symposium on Cognitive and Computational Models of Spatial Representations, Stanford University, Stanford, CA, March 25-27, 1996, 9 pp.
-
-
-
-
26
-
-
0037292689
-
Diagrammatic analysis of interval linear equations. Part I: Basic notions and the one-dimensional case
-
Kulpa Z. Diagrammatic analysis of interval linear equations. Part I: Basic notions and the one-dimensional case. Reliable Computing 9 1 (2003) 1-20
-
(2003)
Reliable Computing
, vol.9
, Issue.1
, pp. 1-20
-
-
Kulpa, Z.1
-
27
-
-
0012272730
-
Diagrammatic analysis of interval linear equations. Part II: The two-dimensional case and generalization to n dimensions
-
Kulpa Z. Diagrammatic analysis of interval linear equations. Part II: The two-dimensional case and generalization to n dimensions. Reliable Computing 9 3 (2003) 205-228
-
(2003)
Reliable Computing
, vol.9
, Issue.3
, pp. 205-228
-
-
Kulpa, Z.1
-
28
-
-
4043092024
-
On the inclusion properties of interval multiplication: a diagrammatic study
-
Kulpa Z., and Markov S. On the inclusion properties of interval multiplication: a diagrammatic study. BIT Numerical Mathematics 43 4 (2003) 791-810
-
(2003)
BIT Numerical Mathematics
, vol.43
, Issue.4
, pp. 791-810
-
-
Kulpa, Z.1
Markov, S.2
-
29
-
-
84990586467
-
Exact and approximate reasoning about temporal relations
-
van Beek P., and Cohen R. Exact and approximate reasoning about temporal relations. Computational Intelligence 6 (1990) 132-144
-
(1990)
Computational Intelligence
, vol.6
, pp. 132-144
-
-
van Beek, P.1
Cohen, R.2
-
30
-
-
33748076233
-
Erratum to "Temporal reasoning based on semi-intervals"
-
Freksa C. Erratum to "Temporal reasoning based on semi-intervals". Artificial Intelligence 87 (1996) 387
-
(1996)
Artificial Intelligence
, vol.87
, pp. 387
-
-
Freksa, C.1
-
31
-
-
0020311129
-
-
M.B. Vilain, A system for reasoning about time. Proceedings of the National Conference on Artificial Intelligence (AAAI-82), William Kaufmann, Los Altos, CA, 1982, pp. 197-201.
-
-
-
-
32
-
-
0002257189
-
Reasoning about qualitative temporal information
-
van Beek P. Reasoning about qualitative temporal information. Artificial Intelligence 58 (1992) 297-326
-
(1992)
Artificial Intelligence
, vol.58
, pp. 297-326
-
-
van Beek, P.1
-
33
-
-
0029229419
-
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
-
Nebel B., and Bürckert H.-J. Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra. Journal of the ACM 42 1 (1995) 43-66
-
(1995)
Journal of the ACM
, vol.42
, Issue.1
, pp. 43-66
-
-
Nebel, B.1
Bürckert, H.-J.2
-
34
-
-
0032313988
-
A complete classification of tractability in Allen's algebra relative to subsets of basic relations
-
Drakengren T., and Johnsson P. A complete classification of tractability in Allen's algebra relative to subsets of basic relations. Artificial Intelligence 106 (1998) 205-219
-
(1998)
Artificial Intelligence
, vol.106
, pp. 205-219
-
-
Drakengren, T.1
Johnsson, P.2
-
35
-
-
84942925461
-
-
Z. Kulpa, A diagrammatic notation for interval algebra, in: M. Anderson, P. Cheng, V. Haarslev (Eds.), Theory and Applications of Diagrams, Proceedings of the First International Conference Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Lecture Notes in Artificial Intelligence, vol. 1889, Springer, Berlin, 2000, pp. 471-474.
-
-
-
-
36
-
-
0000525459
-
Cognitive dimensions of notations
-
Sutcliffe V.A., and Macaulay L. (Eds), Cambridge University Press, Cambridge
-
Green T.R.G. Cognitive dimensions of notations. In: Sutcliffe V.A., and Macaulay L. (Eds). People and Computers (1989), Cambridge University Press, Cambridge 443-460
-
(1989)
People and Computers
, pp. 443-460
-
-
Green, T.R.G.1
-
37
-
-
0002401659
-
Diagrammatic representation and reasoning
-
Kulpa Z. Diagrammatic representation and reasoning. Machine Graphics & Vision 3 1-2 (1994) 77-103
-
(1994)
Machine Graphics & Vision
, vol.3
, Issue.1-2
, pp. 77-103
-
-
Kulpa, Z.1
|