메뉴 건너뛰기




Volumn 3487 LNAI, Issue , 2005, Pages 33-51

Contextual taxonomies

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; PROBLEM SOLVING;

EID: 26844498050     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11533092_3     Document Type: Conference Paper
Times cited : (14)

References (33)
  • 2
    • 8344289032 scopus 로고    scopus 로고
    • Modelling electronic organizations
    • V. Marik, J.M., Pechoucek, M., eds.: Proceedings CEEMAS'03, Berlin, Springer-Verlag
    • Vázquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In V. Marik, J.M., Pechoucek, M., eds.: Proceedings CEEMAS'03. LNAI 2691, Berlin, Springer-Verlag (2003) 584-593
    • (2003) LNAI , vol.2691 , pp. 584-593
    • Vázquez-Salceda, J.1    Dignum, F.2
  • 5
    • 26444473271 scopus 로고    scopus 로고
    • From abstract to concrete norms in agent institutions
    • Hinchey, M.G., Rash, J.L., Truszkowski, W.F., et al., eds.: Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004 Springer-Verlag
    • Grossi, D., Dignum, F.: From abstract to concrete norms in agent institutions. In Hinchey, M.G., Rash, J.L., Truszkowski, W.F., et al., eds.: Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004. Lecture Notes in Computer Science, Springer-Verlag (2004) 12-29
    • (2004) Lecture Notes in Computer Science , pp. 12-29
    • Grossi, D.1    Dignum, F.2
  • 6
    • 26844450537 scopus 로고
    • Notes on formalizing contexts
    • Kehler, T., Rosenschein, S., eds.: Los Altos, California, Morgan Kaufmann
    • McCarthy, J.: Notes on formalizing contexts. In Kehler, T., Rosenschein, S., eds.: Proceedings of the Fifth National Conference on Artificial Intelligence, Los Altos, California, Morgan Kaufmann (1986) 555-560
    • (1986) Proceedings of the Fifth National Conference on Artificial Intelligence , pp. 555-560
    • McCarthy, J.1
  • 7
    • 0002627630 scopus 로고    scopus 로고
    • Steps toward formalizing context
    • Akman, V., Surav., M.: Steps toward formalizing context. AI Magazine 17 (1996) 55-72
    • (1996) AI Magazine , vol.17 , pp. 55-72
    • Akman, V.1    Surav, M.2
  • 13
    • 0000580092 scopus 로고
    • Positivism and the separation of law and morality
    • Hart, H.L.A.: Positivism and the separation of law and morality. Harvard Law Review 71 (1958) 593-629
    • (1958) Harvard Law Review , vol.71 , pp. 593-629
    • Hart, H.L.A.1
  • 15
    • 26444472695 scopus 로고    scopus 로고
    • Defeasible reasoning with legal rules
    • Nute, D., ed.: Dordrecht, Kluwer
    • Royakkers, L., Dignum, F.: Defeasible reasoning with legal rules. In Nute, D., ed.: Defeasible Deontic Logic, Dordrecht, Kluwer (1997) 263-286
    • (1997) Defeasible Deontic Logic , pp. 263-286
    • Royakkers, L.1    Dignum, F.2
  • 16
    • 0035310960 scopus 로고    scopus 로고
    • Local models semantics, or contextual reasoning = locality + compatibility
    • Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127 (2001) 221-259
    • (2001) Artificial Intelligence , vol.127 , pp. 221-259
    • Ghidini, C.1    Giunchiglia, F.2
  • 19
    • 0028315848 scopus 로고
    • Multilanguage hierarchical logics or: How we can do without modal logics
    • Giunchiglia, F., Serafini, L.; Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence 65 (1994) 29-70
    • (1994) Artificial Intelligence , vol.65 , pp. 29-70
    • Giunchiglia, F.1    Serafini, L.2
  • 22
    • 84957009862 scopus 로고
    • The semantics of prepositional contexts
    • Proceedings of the eight ISMIS
    • Buvač, S., Buvač, S.V., Mason, I.A.: The semantics of prepositional contexts. Proceedings of the eight ISMIS. LNAI-869 (1994) 468-477
    • (1994) LNAI , vol.869 , pp. 468-477
    • Buvač, S.1    Buvač, S.V.2    Mason, I.A.3
  • 24
    • 0023535206 scopus 로고
    • Generality in artificial intelligence
    • McCarthy, J.: Generality in artificial intelligence. Communications of the ACM 30 (1987) 1030-1035
    • (1987) Communications of the ACM , vol.30 , pp. 1030-1035
    • McCarthy, J.1
  • 26
  • 28
    • 0001453613 scopus 로고
    • Singular terms, truth-value gaps, and free logic
    • van Fraassen, B.C.: Singular terms, truth-value gaps, and free logic. Journal of Philosophy 63 (1966) 481-495
    • (1966) Journal of Philosophy , vol.63 , pp. 481-495
    • Van Fraassen, B.C.1
  • 29
    • 3843061027 scopus 로고    scopus 로고
    • Many, but almost one
    • Cambridge University Press
    • Lewis, D.: Many, but almost one. In: Papers in Metaphysics and Epistemology, Cambridge University Press (1999) 164-182
    • (1999) Papers in Metaphysics and Epistemology , pp. 164-182
    • Lewis, D.1
  • 30
    • 34248938788 scopus 로고
    • Vagueness, truth and logic
    • Fine, K.: Vagueness, truth and logic. Synthese 30 (1975) 265-300
    • (1975) Synthese , vol.30 , pp. 265-300
    • Fine, K.1
  • 31
    • 0001276448 scopus 로고    scopus 로고
    • A formal characterization of institutionalised power
    • Jones, A.J.I., Sergot, M.: A formal characterization of institutionalised power. Journal of the IGPL 3 (1996) 429-445
    • (1996) Journal of the IGPL , vol.3 , pp. 429-445
    • Jones, A.J.I.1    Sergot, M.2
  • 33
    • 78650728551 scopus 로고    scopus 로고
    • Ontological aspects of the implementation of norms in agent-based electronic institutions
    • To be presented
    • Grossi, D., Aldewereld, H., Vázquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. To be presented at NorMAS (2005)
    • (2005) NorMAS
    • Grossi, D.1    Aldewereld, H.2    Vázquez-Salceda, J.3    Dignum, F.4


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