SCOPUS 정보 검색 플랫폼

Computational Intelligence

Volumn 11, Issue 1, 1995, Pages 113-131

A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY

(4) Krause, Paul a Ambler, Simon b Elvang‐Goransson, Morten a,c Fox, John a

a IMPERIAL CANCER RESEARCH FUND (United Kingdom)

b QUEEN MARY UNIVERSITY OF LONDON (United Kingdom)

c Terma AS (Denmark)

Author keywords

argumentation; epistemic probability; nonclassical logics; nonmonotonic reasoning; uncertain reasoning

Indexed keywords

EID: 84990617539 PISSN: 08247935 EISSN: 14678640 Source Type: Journal
DOI: 10.1111/j.1467-8640.1995.tb00025.x Document Type: Article

Times cited : (194)

References (43)

1
- 2742553147
- Technical Report, Department of Computer Science, Queen Mary and Westfield College, London
- (1992) A categorical approach to the semantics of argumentation
- Ambler, S.¹

2
- 84990585083
- Inconsistency management and prioritized syntax‐based entailment. In Proceedings of IJCAI 1993, Chambery, France.
- (1993)
- Benferhat, S.¹ Cayrol, C.² Dubois, D.³ Lang, J.⁴ Prade, H.⁵

3
- 0002892424
- IRIT Research Report, Université Paul Sabatier, France
- (1993) Argumentative inference in uncertain and inconsistent knowledge bases
- Benferhat, S.¹ Dubois, D.² Prade, H.³

4
- 0011780476
- The robust beauty of improper linear models in decision making
- (1979) American Psychologist , vol.34 , pp. 571-582
- Dawes, R.M.¹

5
- 0013260541
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church‐Rosser theorem
- (1972) Indagationes Mafhematicae , vol.34 , pp. 381-392
- de Bruijn, N.G.¹

6
- 0343297209
- Inconsistency in possibilistic knowledge bases: to live with it or not live with it
- Edited by, L. Zadeh, Kacprzy K., Wiley, Chichester
- (1992) Fuzzy logic for the management of uncertainty
- Dubois¹ Prade, H.²

7
- 0003678399
- Plenum Press
- (1988) Possibility theory: an approach to computerised processing of uncertainty
- Dubois, D.¹ Prade, H.²

8
- 0000580322
- An introduction to possibilistic and fuzzy logics
- Edited by, P. Smets, E. H. Mamdani, D. Dubois, H. Prade, Academic Press
- (1988) Non‐standard logics for automated reasoning
- Dubois, D.¹ Prade, H.²

9
- 84990593137
- A symbolic approach to reasoning with linguistic quantifiers. In Proceedings of the 8th Conference on Uncertainty in Artificial Intelligence. Morgan Kaufman.
- (1992)
- Dubois, D.¹ Prade, H.² Godo, L.³ Lopez de Mantaras, R.⁴

10
- 84990597605
- Contraction‐free sequent calculi for intuitionistic logic. Journal of Symbolic Logic.
- (1992)
- Dyckhoff, R.¹

11
- 84990619010
- In Uncertainty in artificial intelligence. Proceedings of the Ninth Conference. Edited by, D. Heckerman, A. Mamdani, Morgan Kaufmann, San Mateo, CA
- (1993) Dialectic reasoning with inconsistent information
- Elvang‐Goransson, M.¹ Krause, P.J.² Fox, J.³

12
- 84911615982
- Technical Report, Imperial Cancer Research Fund, London
- (1984) Language, logic and uncertainty
- Fox, J.¹

13
- 84918630525
- In Proceedings of Expert Systems 1988., Cambridge University Press
- (1988) Decision making as a logical process
- Fox, J.¹ Glowinski, A.J.² O'Neil, M.J.³ Clark, D.A.⁴

14
- 0003086175
- In Proceedings of ECAI 1992., Wiley
- (1992) Arguments, contradictions and practical reasoning , pp. 623-627
- Fox, J.¹ Krause, P.J.² Ambler, S.J.³

15
- 0003728505
- CIS Technical Report 90‐22, University of Munich
- (1990) Labelled deductive systems
- Gabbay, D.¹

16
- 84990619026
- Making inconsistency respectable: a logical framework for inconsistent reasoning. In Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research, Bratislava.
- (1991)
- Gabbay, D.¹ Hunter, A.²

17
- 0003464393
- Wiley, Chichester
- (1987) Logic for computer science
- Gallier, J.H.¹

18
- 0003963042
- MIT Press, Cambridge, MA
- (1988) Knowledge in flux. Modelling the dynamics of epistemic states
- Gardenfors, P.¹

19
- 0003432047
- Cambridge University Press, Cambridge
- (1989) Proofs and types
- Girard, J.¹ Taylor, P.² Lafont, Y.³

20
- 0003878672
- North‐Holland, Amsterdam
- (1956) Intuitionism. An introduction
- Heyting, A.¹

21
- 0003926810
- Cambridge University Press, Cambridge
- (1986) Introduction to combinators and X‐calculus
- Hindley, J.R.¹ Seldin, J.P.²

22
- 0003840908
- London Mathematical Society Lecture Note Series 64., Cambridge University Press
- (1982) Basic concepts of enriched category theory
- Kelly, G.M.¹

23
- 0012300365
- On nonmonotonic reasoning with the method of sweeping presumptions
- Minds and Machines , vol.1 , pp. 393-416
- Kimbrough, S.O.¹ Hua, H.²

24
- 2742594744
- The development of a “logic of argumentation.”
- Edited by, B. Bouchon‐Meunier, L. Valverde, R. Yager, Springer‐Verlag
- (1993) Advanced methods in artificial intelligence
- Krause, P.J.¹ Ambler, S.J.² Fox, J.³

25
- 0003532186
- Cambridge University Press
- (1986) Introduction to higher order categorical logic
- Lambek, J.¹ Scott, P.J.²

26
- 84990576500
- Defeat among arguments: a system of defeasible inference
- (1987) Computational Intelligence , vol.3 , pp. 100-106
- Loui, R.P.¹

27
- 11744370801
- Argument and belief: where we stand in the Keynesian tradition
- (1991) Minds and Machines , vol.1 , pp. 357-365
- Loui, R.P.¹

28
- 0003110161
- Constructible falsity
- Journal of Symbolic Logic , vol.14 , pp. 16-26
- Nelson, D.¹

29
- 0039513987
- Defeasible reasoning and decision support systems
- (1988) Decision Support Systems , vol.4 , pp. 97-110
- Nute, D.¹

30
- 0141474675
- Reasoning from inconsistency: a taxonomy of principles for resolving conflict. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), Cambridge, MA, pp.
- (1992) , pp. 709-719
- Pinkas, G.¹ Loui, R.P.²

31
- 0041520868
- Self‐defeating arguments
- (1991) Minds and Machines , vol.1 , pp. 367-392
- Pollock, J.L.¹

32
- 0026924985
- How to reason defeasibly
- (1992) Artificial Intelligence , vol.57 , pp. 1-42
- Pollock, J.L.¹

33
- 0002556901
- On the comparison of theories: preferring the most specific explanation. In Proceedings of IJCAI 1985, Los Angeles, pp.
- (1985) , pp. 144-147
- Poole, D.L.¹

34
- 84990619080
- An argumentation framework in default logic. Annals of Mathematics and Artificial Intelligence.
- (1993)
- Prakken, H.¹

35
- 11844288806
- Martinus Nijhoff
- (1987) In contradiction: a study of the transconsistent
- Priest, G.¹

36
- 2342592506
- Priest, G., R. Routley, J. Norman,. Editors., Philosophia Verlag
- (1988) Paraconsistent logics

37
- 0003974263
- State University of New York Press
- (1977) Dialectics: a controversy oriented approach to the theory of knowledge
- Rescher, N.¹

38
- 0000482243
- On inference from inconsistent premises
- (1970) Theory and Decision , vol.1 , pp. 179-217
- Rescher, N.¹ Manor, R.²

39
- 0000158003
- Non‐additive probabilities in the work of Bernoulli and Lambert
- (1978) Archive for History of Exact Sciences , vol.19 , pp. 309-370
- Shaker, G.¹

40
- 0004096846
- Cambridge University Press
- (1956) The uses of argument
- Toulmin, S.¹

41
- 84990624727
- Ex contradictione nihil sequitur. In Proceedings of IJCAI 91. Morgan Kaufman.
- (1991)
- Wagner, G.¹

42
- 84990618957
- Justification, computational efficiency and generalisation of the Dempster Shafer theory. Research Report no. 15, Department of Computing and Mathematical Sciences, Oxford Polytechnic, (also to appear in Artificial Intelligence).
- (1989)
- Wilson, P.N.¹

43
- 0016631726
- The concept of a linguistic variable and its application to approximate reasoning. III
- (1975) Information Science , vol.9 , pp. 43-80
- Zadeh, L.A.¹

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