SCOPUS 정보 검색 플랫폼

Volumn 26, Issue 5, 2002, Pages 465-482

A formal model of correctness in a cadastre

Author keywords

Cadastre; Correctness; Formal model; Simulation

Indexed keywords

COMPUTER SIMULATION; LAWS AND LEGISLATION; MODEL STRUCTURES;

CADASTRE;

URBAN PLANNING;

CADASTRE; LAND REGISTRATION; MODELING;

EID: 0036716798 PISSN: 01989715 EISSN: None Source Type: Trade Journal
DOI: 10.1016/S0198-9715(02)00014-5 Document Type: Article

Times cited : (7)

References (19)

1
- 0004216392
- PhD thesis, University of Maine
- (1992) Temporal Reasoning in Cadastral Systems
- Al-Taba, K.¹

3
- 2142820489
- BGB. (30th ed.). München: Verlag C.H. Beck
- (1987) Das Bürgerliche Gesetzbuch

4
- 2142648354
- Diploma thesis, University of Leipzig. Department of Computer Science
- (1998) Die Modellierung eines Grundbuchsystems im Situationskalkül
- Bittner, S.¹

8
- 0037964640
- An object-oriented, formal approach to the design of cadastral systems
- M. Kraak, & M. Molenaar (Eds.), Proceedings of Int. Symposium on Spatial Data Handling, IGU, Commission on GIS
- (1996) Advances in GIS Research II , pp. 245-261
- Frank, A.¹

9
- 2142814801
- Grundbuchordnung
- GBO M. Bengel, & F. Simmerding (Eds.), Neuwied, Kriftel, Berlin: Hermann Luchterhand Verlag GmbH
- (1987) Grundbuch, Grundstück, Grenze. Handbuch zur Grundbuchordnung unter Berücksichtigung katasterrechtlicher Fragen , pp. 3-49

10
- 85040900162
- (of The A.P.I.C. Series). London: Academic Press
- (1992) Fundamentals of Spatial Information Systems , vol.37
- Laurini, R.¹ Thompson, D.²

11
- 0031126053
- Golog: A logic programming language for dynamic domains
- (1997) Journal of Logic Programming , vol.31 , pp. 59-84
- Levesque, H.¹ Reiter, R.² Lesperance, Y.³ Lin, F.⁴ Scherl, R.⁵

12
- 4244068774
- (of Taschenbücher fürGeld et al., Geld. Bank und Börse) (5th ed.). Frankfurt am Main: Fritz Knapp Verlag
- (1993) Grundbuch und Grundstücksrecht , vol.50
- Löffler, H.¹

13
- 0014638440
- Some philosophical problems from the stand-point of artificial intelligence
- B. Melzer, & D. Michie (Eds.), Edinburgh: Edinburgh University Press
- (1969) Machine Intelligence , vol.4 , pp. 463-502
- McCarthy, J.¹ Hayes, P.J.²

14
- 2142655457
- Diploma thesis. Technical University of Vienna, Department of Geoinformation
- (1998) An Object-oriented Model of a Cataster
- Navratil, G.¹

15
- 21844485547
- Reasoning about time in the situation calculus
- (1995) Annals of Mathematics and Artificial Intelligence , vol.14 , Issue.2-4 , pp. 251-268
- Pinto, J.A.¹ Reiter, R.²

16
- 0002048328
- The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
- V. Lifschitz (Ed.), San Diego: Academic Press
- (1991) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy , pp. 359-380
- Reiter, R.¹

17
- 0029393087
- On specifying database updates
- (1995) Journal of Logic Programming , vol.25 , Issue.1 , pp. 53-91
- Reiter, R.¹

19
- 0003584577
- London: Prentice Hall International, Inc.
- (1995) Artificial Intelligence - A Modern Approach
- Russell, S.¹ Norvig, P.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.