메뉴 건너뛰기




Volumn 32, Issue 1, 2000, Pages 1-27

Ramification analysis using causal mapping

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS;

EID: 0033640808     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(99)00030-0     Document Type: Article
Times cited : (9)

References (27)
  • 5
    • 0039149034 scopus 로고
    • Cambridge University Press, Cambridge, MA
    • G. Brewka, Common-Sense Reasoning, Cambridge University Press, Cambridge, MA, 1991.
    • (1991) Common-Sense Reasoning
    • Brewka, G.1
  • 9
    • 0021509216 scopus 로고
    • Linear time algorithms for testing the satisfiability of propositional hornformulae
    • Dowling W., Gallier J. Linear time algorithms for testing the satisfiability of propositional hornformulae. Journal of Logic Programming. 3:1984;267-284.
    • (1984) Journal of Logic Programming , vol.3 , pp. 267-284
    • Dowling, W.1    Gallier, J.2
  • 10
    • 0029352639 scopus 로고
    • Argumentative logics: Reasoning from classically in consistent in formation
    • Elvang-Goransson M., Hunter A. Argumentative logics: Reasoning from classically in consistent in formation. Data and Knowledge Engineering Journal. 16:1995;125-145.
    • (1995) Data and Knowledge Engineering Journal , vol.16 , pp. 125-145
    • Elvang-Goransson, M.1    Hunter, A.2
  • 13
    • 1642348696 scopus 로고    scopus 로고
    • A formal framework for causal modelling and argumentation
    • in: D. Gabbay, H.J. Ohlbach (Eds.) Springer, Berlin
    • H. Geffner, A formal framework for causal modelling and argumentation , in: D. Gabbay, H.J. Ohlbach (Eds.), Practical Reasoning, number 1085 Lecture Notes in Computer Science, Springer, Berlin, 1996.
    • (1996) Practical Reasoning, Number 1085 Lecture Notes in Computer Science
    • Geffner, H.1
  • 14
    • 0003246170 scopus 로고    scopus 로고
    • Information extraction techniques and challenges
    • in: M. Pazienza (Ed.) Springer, Berlin
    • R. Grishman, Information extraction techniques and challenges, in: M. Pazienza (Ed.), Information Extraction, Springer, Berlin, 1997.
    • (1997) Information Extraction
    • Grishman, R.1
  • 19
    • 84947911143 scopus 로고    scopus 로고
    • Defining normative systems for qualitative argumentation
    • in: D. Gabbay, H.J. Ohlbach (Eds.)
    • S. Parsons, Defining normative systems for qualitative argumentation, in: D. Gabbay, H.J. Ohlbach (Eds.), Practical Reasoning, Lecture Notes in Computer Science, vol. 1085, 1996.
    • (1996) Practical Reasoning, Lecture Notes in Computer Science , vol.1085
    • Parsons, S.1
  • 23
    • 0003342583 scopus 로고    scopus 로고
    • Modelling argumentation in logic
    • in: D. Gabbay (Ed.) Kluwer Academic Publishers, Dordrecht
    • H. Prakken, G. Vreeswijk, Modelling argumentation in logic, in: D. Gabbay (Ed.), Handbook of Philosophical Logic, Kluwer Academic Publishers, Dordrecht, 1999.
    • (1999) Handbook of Philosophical Logic
    • Prakken, H.1    Vreeswijk, G.2
  • 27
    • 0009352972 scopus 로고
    • Qualitative probabilisitc networks for planning under uncertainty
    • in: J. Lemmer, L. Kanal (Eds.) Elsevier, Amsterdam
    • M. Wellman, Qualitative probabilisitc networks for planning under uncertainty, in: J. Lemmer, L. Kanal (Eds.), Uncertainty in Artificial Intelligence, vol. 2, Elsevier, Amsterdam, 1988.
    • (1988) Uncertainty in Artificial Intelligence , vol.2
    • Wellman, M.1


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