메뉴 건너뛰기




Volumn 95, Issue 1, 1997, Pages 115-154

Autoepistemic logic of knowledge and beliefs

Author keywords

Logics of knowledge and beliefs; Nonmonotonic reasoning; Semantics of logic programs and deductive databases

Indexed keywords

COMPUTER SOFTWARE; DATABASE SYSTEMS; MATHEMATICAL MODELS;

EID: 0031198621     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(97)00032-5     Document Type: Article
Times cited : (11)

References (38)
  • 3
    • 0030282267 scopus 로고    scopus 로고
    • Belief revision in logic programming and nonmonotonic reasoning
    • J.J. Alferes, L.M. Pereira and T.C. Przymusinski, Belief revision in logic programming and nonmonotonic reasoning, Fund. Inform. 28 (1-2) (1996) 1-2.
    • (1996) Fund. Inform. , vol.28 , Issue.1-2 , pp. 1-2
    • Alferes, J.J.1    Pereira, L.M.2    Przymusinski, T.C.3
  • 6
    • 84955610853 scopus 로고    scopus 로고
    • Strong and explicit negation in nonmonotonic reasoning and logic programming
    • J.J. Alferes, L.M. Pereira and E. Orlowska, eds., Lecture Notes in Artificial Intelligence, Springer, Berlin
    • J.J. Alferes, L.M. Pereira and T.C. Przymusinski, Strong and explicit negation in nonmonotonic reasoning and logic programming, in: J.J. Alferes, L.M. Pereira and E. Orlowska, eds., Logic in Artificial Intelligence: Proceedings European Workshop (JELIA-96), Lecture Notes in Artificial Intelligence, Vol. 1126 (Springer, Berlin, 1996) 143-163.
    • (1996) Logic in Artificial Intelligence: Proceedings European Workshop (JELIA-96) , vol.1126 , pp. 143-163
    • Alferes, J.J.1    Pereira, L.M.2    Przymusinski, T.C.3
  • 7
    • 0039434413 scopus 로고
    • Disjunctive semantics based upon partial and bottom-up evaluation
    • L. Sterling, ed., MIT Press, Cambridge, MA
    • S. Brass and J. Dix, Disjunctive semantics based upon partial and bottom-up evaluation, in: L. Sterling, ed., Proceedings 12th International Conference on Logic Programming (MIT Press, Cambridge, MA, 1995).
    • (1995) Proceedings 12th International Conference on Logic Programming
    • Brass, S.1    Dix, J.2
  • 11
    • 0001119421 scopus 로고
    • The stable model semantics for logic programming
    • R. Kowalski and K. Bowen, eds., MIT Press, Cambridge, MA
    • M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: R. Kowalski and K. Bowen, eds., Proceedings 5th Logic Programming Symposium (MIT Press, Cambridge, MA, 1988) 1070-1080.
    • (1988) Proceedings 5th Logic Programming Symposium , pp. 1070-1080
    • Gelfond, M.1    Lifschitz, V.2
  • 14
    • 9444222866 scopus 로고
    • A skeptical theory of inheritance in non-monotonic semantic nets
    • Seattle, WA Morgan Kaufmann, Los Altos, CA
    • J.F. Horty, R.H. Thomason and D.S. Touretzky, A skeptical theory of inheritance in non-monotonic semantic nets, in: Proceedings AAAI-87, Seattle, WA (Morgan Kaufmann, Los Altos, CA, 1987).
    • (1987) Proceedings AAAI-87
    • Horty, J.F.1    Thomason, R.H.2    Touretzky, D.S.3
  • 15
    • 0001884486 scopus 로고
    • Computing circumscription
    • Los Angeles, CA Morgan Kaufmann, Los Altos, CA
    • V. Lifschitz, Computing circumscription, in: Proceedings IJCAI-85, Los Angeles, CA (Morgan Kaufmann, Los Altos, CA, 1985) 121-127.
    • (1985) Proceedings IJCAI-85 , pp. 121-127
    • Lifschitz, V.1
  • 16
    • 0028524383 scopus 로고
    • Minimal belief and negation as failure
    • V. Lifschitz, Minimal belief and negation as failure, Artificial Intelligence 70 (1994) 53-72.
    • (1994) Artificial Intelligence , vol.70 , pp. 53-72
    • Lifschitz, V.1
  • 18
    • 37349044608 scopus 로고
    • Circumscription - A form of non-monotonic reasoning
    • J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
    • (1980) Artificial Intelligence , vol.13 , pp. 27-39
    • McCarthy, J.1
  • 19
    • 85023410475 scopus 로고
    • On indefinite data bases and the closed world assumption
    • Springer, New York
    • J. Minker, On indefinite data bases and the closed world assumption, in: Proceedings 6th Conference on Automated Deduction (Springer, New York, 1982) 292-308.
    • (1982) Proceedings 6th Conference on Automated Deduction , pp. 292-308
    • Minker, J.1
  • 20
    • 0021819131 scopus 로고
    • Semantic considerations on nonmonotonic logic
    • R.C. Moore, Semantic considerations on nonmonotonic logic, Artificial Intelligence 25 (1985) 75-94.
    • (1985) Artificial Intelligence , vol.25 , pp. 75-94
    • Moore, R.C.1
  • 21
    • 2342660375 scopus 로고
    • Stable theories in autoepistemtc logic
    • W. Marek, Stable theories in autoepistemtc logic, Fund. Inform. 12 (1989) 243-254.
    • (1989) Fund. Inform. , vol.12 , pp. 243-254
    • Marek, W.1
  • 23
    • 0004425075 scopus 로고
    • Semantic issues in deductive databases and logic programs
    • R. Banerji, ed., North-Holland, Amsterdam
    • H. Przymusinska and T.C. Przymusinski, Semantic issues in deductive databases and logic programs, in: R. Banerji, ed., Formal Techniques in Artificial Intelligence (North-Holland, Amsterdam, 1990) 321-367.
    • (1990) Formal Techniques in Artificial Intelligence , pp. 321-367
    • Przymusinska, H.1    Przymusinski, T.C.2
  • 24
    • 0001599027 scopus 로고
    • On the declarative semantics of deductive databases and logic programs
    • J. Minker, ed., Morgan Kaufmann, Los Altos, CA
    • T.C. Przymusinski, On the declarative semantics of deductive databases and logic programs, in: J. Minker, ed., Foundations of Deductive Databases and Logic Programming (Morgan Kaufmann, Los Altos, CA, 1988) 193-216.
    • (1988) Foundations of Deductive Databases and Logic Programming , pp. 193-216
    • Przymusinski, T.C.1
  • 25
    • 2342483365 scopus 로고
    • Autoepistemic logics of closed beliefs and logic programming
    • A. Nerode, W. Marek and V.S. Subrahmanian, eds., Washington, DC MIT Press, Cambridge, MA
    • T.C. Przymusinski, Autoepistemic logics of closed beliefs and logic programming, in: A. Nerode, W. Marek and V.S. Subrahmanian, eds., Proceedings 1st International Workshop on Logic Programming and Non-Monotonic Reasoning, Washington, DC (MIT Press, Cambridge, MA, 1991) 3-20. ]
    • (1991) Proceedings 1st International Workshop on Logic Programming and Non-Monotonic Reasoning , pp. 3-20
    • Przymusinski, T.C.1
  • 26
    • 0000810454 scopus 로고
    • Stable semantics for disjunctive programs
    • T.C. Przymusinski, Stable semantics for disjunctive programs, New Generation Computing J. 9 (1991) 401-424; extended abstract appeared as: Extended stable semantics for normal and disjunctive logic programs, in: Proceedings 7th International Logic Programming Conference, Jerusalem, Israel (MIT Press, Cambridge, MA, 1990) 459-477.
    • (1991) New Generation Computing J. , vol.9 , pp. 401-424
    • Przymusinski, T.C.1
  • 27
    • 0000810454 scopus 로고
    • Extended stable semantics for normal and disjunctive logic programs
    • Jerusalem, Israel MIT Press, Cambridge, MA
    • T.C. Przymusinski, Stable semantics for disjunctive programs, New Generation Computing J. 9 (1991) 401-424; extended abstract appeared as: Extended stable semantics for normal and disjunctive logic programs, in: Proceedings 7th International Logic Programming Conference, Jerusalem, Israel (MIT Press, Cambridge, MA, 1990) 459-477.
    • (1990) Proceedings 7th International Logic Programming Conference , pp. 459-477
  • 28
    • 0026156912 scopus 로고
    • Three-valued nonmonotonic formalisms and semantics of logic programs
    • T.C. Przymusinski, Three-valued nonmonotonic formalisms and semantics of logic programs, Artificial Intelligence 49 (1991) 309-343; extended abstract appeared as: Three-valued non-monotonic formalisms and logic programming, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Toronto, Ont. (Morgan Kaufmann, Los Altos, CA, 1989) 341-348.
    • (1991) Artificial Intelligence , vol.49 , pp. 309-343
    • Przymusinski, T.C.1
  • 29
    • 0345970617 scopus 로고
    • Three-valued non-monotonic formalisms and logic programming
    • Toronto, Ont. Morgan Kaufmann, Los Altos, CA
    • T.C. Przymusinski, Three-valued nonmonotonic formalisms and semantics of logic programs, Artificial Intelligence 49 (1991) 309-343; extended abstract appeared as: Three-valued non-monotonic formalisms and logic programming, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Toronto, Ont. (Morgan Kaufmann, Los Altos, CA, 1989) 341-348.
    • (1989) Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89) , pp. 341-348
  • 31
    • 21844487368 scopus 로고
    • Static semantics for normal and disjunctive logic programs
    • Special Issue on Disjunctive Programs
    • T.C. Przymusinski, Static semantics for normal and disjunctive logic programs, Ann. Math. Artif. Intell. (Special Issue on Disjunctive Programs) 14 (1995) 323-357.
    • (1995) Ann. Math. Artif. Intell. , vol.14 , pp. 323-357
    • Przymusinski, T.C.1
  • 33
    • 0002726244 scopus 로고
    • On closed-world data bases
    • H. Gallaire and J. Minker, eds., Plenum Press, New York
    • R. Reiter, On closed-world data bases, in: H. Gallaire and J. Minker, eds., Logic and Data Bases (Plenum Press, New York, 1978) 55-76.
    • (1978) Logic and Data Bases , pp. 55-76
    • Reiter, R.1
  • 35
    • 0024143038 scopus 로고
    • Inferring negative information from disjunctive databases
    • K. Ross and R. Topor, Inferring negative information from disjunctive databases, J. Automated Reasoning 4 (1988) 397-424.
    • (1988) J. Automated Reasoning , vol.4 , pp. 397-424
    • Ross, K.1    Topor, R.2
  • 36
    • 0001598046 scopus 로고
    • The well-founded semantics for general logic programs
    • to appear
    • A. van Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, J. ACM (1990) to appear; preliminary abstract appeared in: Proceedings 7th ACM Symposium on Principles of Database Systems (1988) 221-230.
    • (1990) J. ACM
    • Van Gelder, A.1    Ross, K.A.2    Schlipf, J.S.3
  • 37
    • 30244540536 scopus 로고
    • A. van Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, J. ACM (1990) to appear; preliminary abstract appeared in: Proceedings 7th ACM Symposium on Principles of Database Systems (1988) 221-230.
    • (1988) Proceedings 7th ACM Symposium on Principles of Database Systems , pp. 221-230
  • 38
    • 85033121047 scopus 로고
    • Autoepistemic circumscription and logic programming
    • Tech. Rept. TR92-18, Department of Computing Science, University of Alberta, Edmonton, Alta. to appear
    • L. Yuan and J. You, Autoepistemic circumscription and logic programming, Tech. Rept. TR92-18, Department of Computing Science, University of Alberta, Edmonton, Alta. (1992); also: J. Automated Reasoning, to appear.
    • (1992) J. Automated Reasoning
    • Yuan, L.1    You, J.2


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