SCOPUS 정보 검색 플랫폼

Volumn 17, Issue 7, 2002, Pages 645-686

Semantic formalization of interactive reasoning functionality

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM SYNTHESIS; LEARNING SYSTEMS; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING;

FUNCTIONALITY DESCRIPTIONS; INTERACTIVE REASONING FUNCTIONALITY; SEMANTIC CLOSURE; SEMANTIC FORMALIZATION;

KNOWLEDGE BASED SYSTEMS;

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

Times cited : (6)

References (18)

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

3
- 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.⁴

4
- 0032761931
- Temporal semantics of compositional task models and problem solving methods
- (1999) Data Knowledge Engineering , vol.29 , Issue.1 , pp. 17-42
- Brazier, F.M.T.¹ Treur, J.² Wijngaards, N.J.E.³ Willems, M.⁴

6
- 84957871808
- Compositional verification of knowledge-based systems: A case study in diagnostic reasoning
- In: Plaza E, Benjamins R, editors; Springer Verlag: Berlin; Extended version in: Knowledge and Information Systems. In press, 2002
- (1997) Knowledge Acquisition, Modelling and Management. Proc.10th European Knowledge Acquisition Workshop, EKAW'97. Lecture Notes in AI , vol.1319 , pp. 65-80
- Cornelissen, F.¹ Jonker, C.M.² Treur, J.³

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

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

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

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

11
- 0004026983
- Prentice-Hall: Englewoods Cliffs
- (1966) Philosophy of Science
- Hempel, C.G.¹

12
- 84949205205
- Compositional verification of multi-agent systems: A formal analysis of proactiveness and reactiveness
- In: de Roever WP, Langmaack H, Pnueli A, editors; Springer Verlag
- (1998) Proc Int Workshop on Compositionally, COMPOS'97. Lecture Notes in Computer Science , vol.1536 , pp. 350-380
- Jonker, C.M.¹ Treur, J.²

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

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

15
- 0009730609
- Input/output logics
- (2000) J Philosophical Logic , vol.29 , pp. 383-408
- Makinson, D.¹ Van Der Torre, L.²

16
- 0002232574
- Completeness and definability in diagnostic expert systems
- Proc European Conf on Artificial Intelligence, ECAI 1988 , pp. 619-624
- Treur, J.¹

17
- 38249006513
- Heuristic reasoning and relative incompleteness
- (1993) Int J Approx Reas , vol.8 , pp. 51-87
- Treur, J.¹

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

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