메뉴 건너뛰기




Volumn , Issue , 2001, Pages 131-136

Using APL to Explore the Non-monotonicity in Design Process

Author keywords

abduction; design reasoning; Logic; non monotonicity

Indexed keywords


EID: 14044276516     PISSN: 26841843     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (1)

References (12)
  • 3
    • 0031108660 scopus 로고    scopus 로고
    • Towards a Formal Logic of Design Rationalization
    • Galle, P.: 1997, “Towards a Formal Logic of Design Rationalization,” Design Studies, Vol. 18, pp. 195-219.
    • (1997) Design Studies , vol.18 , pp. 195-219
    • Galle, P.1
  • 4
    • 0022680851 scopus 로고
    • An Assumption-based TMS
    • de Kleer, J.: 1986, An Assumption-based TMS. Artificial Intelligence, Vol. 28, pp. 127-162.
    • (1986) Artificial Intelligence , vol.28 , pp. 127-162
    • de Kleer, J.1
  • 7
    • 0021819131 scopus 로고
    • Semantics Considerations on Non-monotonics Logics
    • Moore, R.: 1985 “Semantics Considerations on Non-monotonics Logics,” Artificial Intelligence, Vol. 25, pp. 75-94.
    • (1985) Artificial Intelligence , vol.25 , pp. 75-94
    • Moore, R.1
  • 8
    • 0027702158 scopus 로고
    • Non-monotonic Reasoning with Logic Programming
    • Pereira, L. M. et al.: 1993, “Non-monotonic Reasoning with Logic Programming,” The Journal of Logic Programming, Vol. 17, pp. 227-263.
    • (1993) The Journal of Logic Programming , vol.17 , pp. 227-263
    • Pereira, L. M.1
  • 9
    • 49149147322 scopus 로고
    • A Logic for Default Reasoning
    • Reiter, R.: 1980, “A Logic for Default Reasoning,” Artificial Intelligence, Vol. 13, pp. 81-132.
    • (1980) Artificial Intelligence , vol.13 , pp. 81-132
    • Reiter, R.1
  • 10
    • 0002635489 scopus 로고
    • On the Pattern of Reasoning in Innovative Design
    • Roozenburg, N. F. M.: 1993, “On the Pattern of Reasoning in Innovative Design,” Design Studies, Vol. 14, pp. 4-19.
    • (1993) Design Studies , vol.14 , pp. 4-19
    • Roozenburg, N. F. M.1
  • 11
    • 0004206050 scopus 로고
    • MIT Press, Cambridge, MA
    • Rowe, P.: 1994, Design Thinking, MIT Press, Cambridge, MA.
    • (1994) Design Thinking
    • Rowe, P.1


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