SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

International Journal of Intelligent Systems

Volumn 17, Issue 6, 2002, Pages 545-567

Formal semantics of meta-level architectures: Dynamic control of reasoning

(1) Treur, Jan a

a VU UNIVERSITY AMSTERDAM (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; FORMAL LOGIC; INTELLIGENT CONTROL; PROCESS CONTROL; SEMANTICS;

FORMAL SEMANTICS; METALEVEL ARCHITECTURES; REASONING SYSTEMS; TEMPORAL PARTIAL LOGIC;

ARTIFICIAL INTELLIGENCE;

EID: 0036605455 PISSN: 08848173 EISSN: None Source Type: Journal
DOI: 10.1002/int.10037 Document Type: Article

Times cited : (3)

References (37)

1
- 0030235760
- Meta-level selection techniques for the control of default reasoning
- Lopez de Mantaras R, editor; (Special double issue (2-3): Reflection and Meta-level AI Architectures)
- (1996) Future Generation Computer Systems , vol.12 , pp. 189-201
- Allis, V.E.¹ Tan, Y.H.² Treur, J.³

2
- 0004323534
- Reidel, Dordrecht
- (1983) The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discource
- Van Benthem, J.F.A.K.¹

3
- 73949097108
- Blamey S. Partial logic. In: Gabbay D, Guenthner F, editors; Reidel, Dordrecht
- (1986) Handbook of Philosophical Logic , vol.3 , pp. 1-70

4
- 0002830387
- Amalgamating language and meta-language in logic programming
- In: Clark K, Tarnlund S, editors; Academic Press
- (1982) Logic Programming
- Bowen, K.¹ Kowalski, R.²

5
- 0036535145
- Principles of component-based design of intelligent agents
- in press
- (2002) Data and Knowledge Engineering
- Brazier, F.M.T.¹ Jonker, C.M.² Treur, J.³

6
- 0033899716
- On the use of shared task models in knowledge acquisition, strategic user interaction and clarification agents
- (2000) Int J Human-Computer Studies , vol.52 , pp. 77-110
- Brazier, F.M.T.¹ Jonker, C.M.² Treur, J.³ Wijngaards, N.J.E.⁴

7
- 0032299276
- Strategic knowledge in design: A compositional approach
- Hori K. editor; (Special Issue on Strategic Knowledge and Concept Formation)
- (1998) Knowledge-based Systems , vol.11 , pp. 405-416
- Brazier, F.M.T.¹ Van Langen, P.H.G.² Treur, J.³

8
- 0032650986
- Compositional modelling of reflective agents
- (1999) Int J Human-Computer Studies , vol.50 , pp. 407-431
- Brazier, F.M.T.¹ Treur, J.²

9
- 0009291377
- A compositional knowledge-based architecture modelling process aspects of design tasks
- (1992) Proc 12th Int Conf on AI, Expert Systems and Natural Language, Avignon'92 , vol.1 , pp. 283-294
- Brumsen, H.A.¹ Pannekeet, J.H.M.² Treur, J.³

10
- 0009129154
- Representing control knowledge as abstract tasks and metarules
- editor. Expert system applications
- (1988) Coombs Bolc
- Clancey, W.J.¹ Bock, C.²

11
- 0000349409
- Metarules: Reasoning about control
- (1980) Artif Intell , vol.15 , pp. 179-222
- Davis, R.¹

12
- 0035629121
- Default logic and specification of non-monotonic reasoning
- (2001) J. Experimental Theoretical AI , vol.13 , pp. 99-112
- Engelfriet, J.¹ Marek, V.W.² Treur, J.³ Truszczinski, M.⁴

13
- 84947833143
- Temporal theories of reasoning
- (1995) J Appl Non-Classical Logics , vol.5 , pp. 239-261
- Engelfriet, J.¹ Treur, J.²

14
- 0030295890
- Executable temporal logic for nonmonotonic reasoning
- (1996) J Symbolic Computation , vol.22 , pp. 615-625
- Engelfriet, J.¹ Treur, J.²

15
- 54649083637
- An interpretation of default logic in minimal temporal epistemic logic
- (1998) J Logic Language Information , vol.7 , pp. 369-388
- Engelfriet, J.¹ Treur, J.²

16
- 0001807206
- Specification of nonmonotonic reasoning
- (2000) J Appl Non-Classical Logics , vol.10 , pp. 7-27
- Engelfriet, J.¹ Treur, J.²

17
- 0009205285
- Transition systems and dynamic semantics
- Proc JELIA'92 Workshop on Logic and AI, Berlin, 1992
- Fernando, T.¹

18
- 0009284347
- A knowledge-based system for the routing of international blank payment orders
- Proc. 12th Int Conf on AI, Expert Systems and Natural Language, Avignon-92. 1992 , vol.2 , pp. 669-677
- Geelen, P.A.¹ Kowalczyk, W.²

19
- 0002899836
- Multi-context systems as a specification framework for complex reasoning systems
- Treur J, Wetter Th, editors; Ellis Horwood
- (1993) Formal Specification of Complex Reasoning System , pp. 45-72
- Giunchiglia, E.¹ Traverso, P.² Giunchiglia, F.³

20
- 0003258017
- Logics of time and computation
- Center for the Study of Language and Information
- (1987) CSLI Lecture Notes , vol.7
- Goldblatt, R.¹

21
- 21844505026
- Formal semantics of temporal epistemic reflection
- Fribourg L, Turini F, editors; Springer Verlag
- (1994) Logic Program Synthesis and Transformation-Meta-Programming in Logic. Proc 4th Int Workshop on Meta-Programming in Logic, META'94 Lecture Notes in Computer Science , vol.883 , pp. 332-352
- Van Der Hoek, W.¹ Meyer, J.-J.Ch.² Treur, J.³

22
- 54649084759
- Temporal epistemic default logic
- (1998) J Logic Language Information , vol.7 , pp. 341-367
- Van Der Hoek, W.¹ Meyer, J.-J.Ch.² Treur, J.³

23
- 0001225163
- A theory of truth and semantic representation
- Amsterdam
- (1981) Formal Methods in the Study of Language. Mathematical Centre Tracts 135
- Kamp, J.A.W.¹

24
- 0003915473
- Representing world situations and information states by many-sorted partial models
- ReportPE8904, University of Amsterdam, Department of Mathematics and Computer Science
- (1989)
- Van Langen, P.H.G.¹ Treur, J.²

25
- 0004263153
- Partiality, truth and persistence
- Stanford University, Stanford
- (1988) CSLI Lecture Notes No. 15
- Langholm, T.¹

26
- 0001110154
- Formal specification of compositional architectures
- Neumann B; Wiley and Sons
- (1992) Proc 10th European Conf on Artificial Intelligence, ECAI'92 , pp. 272-276
- Van Langevelde, I.A.¹ Philipsen, A.W.² Treur, J.³

27
- 0003453263
- Springer-Verlag
- (1984) Foundations of Logic Programming
- Lloyd, J.W.¹

28
- 0004123271
- Maes P, Nardi D, editors; Elsevier
- (1988) Meta-Level Architectures and Reflection

29
- 0009213045
- A bi-modular approach to nonmonotonic reasoning
- De Glas M, Gabbay D, editors
- (1991) Proc World Congress on Fundamentals of Artificial Intelligence, WOCFAI'91 , pp. 461-476
- Tan, Y.H.¹ Treur, J.²

30
- 0000023467
- Constructive default logic and the control of defeasible reasoning
- Neumann B, editor; Wiley and Sons
- (1992) Proc 10th European Conf on Artificial Intelligence, ECAI'92 , pp. 299-303
- Tan, Y.H.¹ Treur, J.²

31
- 0009205014
- Constructive default logic in a meta-level architecture
- Yonezawa A, Smith BC, editors
- (1992) Proc Int Workshop on New Models in Software Architecture (IMSA) 1992, Reflection and Meta-Level Architectures , pp. 184-189
- Tan, Y.H.¹ Treur, J.²

32
- 0002232574
- Completeness and definability in diagnostic expert systems
- (1988) Proc European Conf on Artificial Intelligence, ECAI'88. München , pp. 619-624
- Treur, J.¹

33
- 0026173548
- On the use of reflection principles in modelling complex reasoning
- (1991) Int J Intell Syst , vol.6 , pp. 277-294
- Treur, J.¹

34
- 0000091469
- Declarative functionality descriptions of interactive reasoning modules
- Boley H. Richter MM, editors. Processing declarative knowledge; Springer-Verlag
- (1991) Proc Int Workshop PDK'91. Lecture Notes in Artificial Intelligence , vol.567 , pp. 221-236
- Treur, J.¹

35
- 0009289859
- Explicit representation of design process knowledge
- Gero JS, editor
- (1992) Artificial Intelligence in Design '92, Proc AID'92. Kluwer , pp. 677-696
- Treur, J.¹ Veerkamp, P.²

36
- 0009213049
- Treur J, Wetter Th, editors; Ellis Horwood
- (1993) Formal Specification of Complex Reasoning Systems , pp. 282

37
- 0001733633
- Prolegomena to a theory of mechanized formal reasoning
- (1980) Artif Intell , vol.13 , pp. 133-170
- Weyhrauch, R.W.¹

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