메뉴 건너뛰기




Volumn 3564, Issue , 2005, Pages 173-212

Personalization for the Semantic Web

Author keywords

[No Author keywords available]

Indexed keywords

DATA STORAGE EQUIPMENT; INFORMATION RETRIEVAL SYSTEMS; SEARCH ENGINES; SEMANTICS; WEBSITES;

EID: 26444432299     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526988_5     Document Type: Conference Paper
Times cited : (31)

References (73)
  • 5
    • 10444275317 scopus 로고    scopus 로고
    • Reasoning about interaction protocols for web service composition
    • M. Bravetti and G. Zavattaro, editors, Proc. of 1st Int. Workshop on Web Services and Formal Methods, WS-FM 2004. Elsevier Science Direct
    • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for web service composition. In M. Bravetti and G. Zavattaro, editors, Proc. of 1st Int. Workshop on Web Services and Formal Methods, WS-FM 2004, volume 105 of Electronic Notes in Theoretical Computer Science, pages 21-36. Elsevier Science Direct, 2004.
    • (2004) Electronic Notes in Theoretical Computer Science , vol.105 , pp. 21-36
    • Baldoni, M.1    Baroglio, C.2    Martelli, A.3    Patti, V.4
  • 6
    • 19544377326 scopus 로고    scopus 로고
    • Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions
    • September
    • M. Baldoni, C. Baroglio, and V. Patti. Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions. Artificial Intelligence Review, 22(1), September 2004.
    • (2004) Artificial Intelligence Review , vol.22 , Issue.1
    • Baldoni, M.1    Baroglio, C.2    Patti, V.3
  • 8
    • 84955562547 scopus 로고    scopus 로고
    • An abductive proof procedure for reasoning about actions in modal logic programming
    • J. Dix et al., editor, Proc. of NMELP'96. Springer-Verlag
    • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. An Abductive Proof Procedure for Reasoning about Actions in Modal Logic Programming. In J. Dix et al., editor, Proc. of NMELP'96, volume 1216 of LNAI, pages 132-150. Springer-Verlag, 1997.
    • (1997) LNAI , vol.1216 , pp. 132-150
    • Baldoni, M.1    Giordano, L.2    Martelli, A.3    Patti, V.4
  • 10
    • 0035124264 scopus 로고    scopus 로고
    • Formalizing Sensing Actions - A transition function based approach
    • January
    • C. Baral and T. C. Son. Formalizing Sensing Actions - A transition function based approach. Artificial Intelligence, 125(1-2):19-91, January 2001.
    • (2001) Artificial Intelligence , vol.125 , Issue.1-2 , pp. 19-91
    • Baral, C.1    Son, T.C.2
  • 11
    • 35048879638 scopus 로고    scopus 로고
    • A defeasible logic system for the semantic web
    • In Proc. of Principles and Practice of Semantic Web Reasoning (PPSWR04). Springer
    • N. Bassiliades, G. Antoniou, and I. Vlahavas. A defeasible logic system for the semantic web. In In Proc. of Principles and Practice of Semantic Web Reasoning (PPSWR04), volume 3208 of LNCS. Springer, 2004.
    • (2004) LNCS , vol.3208
    • Bassiliades, N.1    Antoniou, G.2    Vlahavas, I.3
  • 12
    • 26444574053 scopus 로고    scopus 로고
    • The personal publication reader: Illustrating web data extraction, personalization and reasoning for the semantic web
    • Heraklion, Greece, May
    • Robert, Baumgartner, Nicola Henze, and Marcus Herzog. The personal publication reader: Illustrating web data extraction, personalization and reasoning for the semantic web. In Proceedings of 2nd European Semantic Web Conference, Heraklion, Greece, May 2005.
    • (2005) Proceedings of 2nd European Semantic Web Conference
    • Robert, B.1    Henze, N.2    Herzog, M.3
  • 13
    • 0031074857 scopus 로고    scopus 로고
    • Fast planning through planning graph analysis
    • A. Blum and M. Furst. Fast planning through planning graph analysis. Artificial Intelligence, 90:281-300, 1997.
    • (1997) Artificial Intelligence , vol.90 , pp. 281-300
    • Blum, A.1    Furst, M.2
  • 14
    • 26444449819 scopus 로고    scopus 로고
    • BPEL4WS. http://www-106.ibm.com/developerworks/library/ws-bpel. 2003.
    • (2003)
  • 16
    • 0032614307 scopus 로고    scopus 로고
    • AHAM: A dexter-based reference model for adaptive hypermedia
    • Darmstadt, Germany
    • P. De Bra, G.J. Houben, and H. Wu. AHAM: A dexter-based reference model for adaptive hypermedia. In A CM Conference on Hypertext and Hypermedia, pages 147-156, Darmstadt, Germany, 1999.
    • (1999) A CM Conference on Hypertext and Hypermedia , pp. 147-156
    • De Bra, P.1    Houben, G.J.2    Wu, H.3
  • 20
    • 10444241533 scopus 로고    scopus 로고
    • Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web
    • J. Liu N. Zhong and Y. Yao, editors, Springer-Verlag, Berlin
    • J. Bryson, D. Martin, S. McIlraith, and L. A. Stein. Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web. In J. Liu N. Zhong and Y. Yao, editors, Web Intelligence. Springer-Verlag, Berlin, 2002.
    • (2002) Web Intelligence
    • Bryson, J.1    Martin, D.2    McIlraith, S.3    Stein, L.A.4
  • 22
    • 0036959356 scopus 로고    scopus 로고
    • Hybrid recommender systems: Survey and experiments
    • R. Burke. Hybrid recommender systems: Survey and experiments. User Modeling and User-Adapted Interaction, 12:331-370, 2002.
    • (2002) User Modeling and User-adapted Interaction , vol.12 , pp. 331-370
    • Burke, R.1
  • 24
    • 4043153210 scopus 로고    scopus 로고
    • Modal tableaux for reasoning about actions and plans
    • S. Steel, editor, LNAI
    • M. Castilho, O. Gasquet, and A. Herzig. Modal tableaux for reasoning about actions and plans. In S. Steel, editor, Proc. ECP'97, LNAI, pages 119-130, 1997.
    • (1997) Proc. ECP'97 , pp. 119-130
    • Castilho, M.1    Gasquet, O.2    Herzig, A.3
  • 28
    • 77951505493 scopus 로고
    • Classical negation in logic programs and disjunctive databases
    • M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 1991.
    • (1991) New Generation Computing , vol.9
    • Gelfond, M.1    Lifschitz, V.2
  • 29
    • 0027694534 scopus 로고
    • Representing action and change by logic programs
    • M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301-321, 1993.
    • (1993) Journal of Logic Programming , vol.17 , pp. 301-321
    • Gelfond, M.1    Lifschitz, V.2
  • 30
    • 0008525080 scopus 로고    scopus 로고
    • Dealing with concurrent actions in modal action logic
    • L. Giordano, A. Martelli, and C. Schwind. Dealing with concurrent actions in modal action logic. In Proc. ECAI-98, pages 537-541, 1998.
    • (1998) Proc. ECAI-98 , pp. 537-541
    • Giordano, L.1    Martelli, A.2    Schwind, C.3
  • 31
    • 0041504749 scopus 로고
    • The genetic graph: A represenation for the evolution of procedural knowledge
    • D. Sleeman and J.S.Brown, editors, Academic Press
    • I.P. Goldstein. The genetic graph: A represenation for the evolution of procedural knowledge. In D. Sleeman and J.S.Brown, editors, Intelligent Tutoring Systems. Academic Press, 1982.
    • (1982) Intelligent Tutoring Systems
    • Goldstein, I.P.1
  • 32
    • 0348104634 scopus 로고
    • The Dexter hypertext reference model
    • F. Halasz and M. Schwartz. The Dexter hypertext reference model. Communications of the ACM, 37(2):30-39, 1994.
    • (1994) Communications of the ACM , vol.37 , Issue.2 , pp. 30-39
    • Halasz, F.1    Schwartz, M.2
  • 36
    • 8844230650 scopus 로고    scopus 로고
    • Logically characterizing adaptive educational hypermedia systems
    • University of Hannover, April
    • N. Henze and W. Nejdl. Logically characterizing adaptive educational hypermedia systems. Technical report, University of Hannover, April 2003. http://www.kbs.uni-hannover.de/Arbeiten/Publikationen/2003/TechReportHenzeNejdl. pdf.
    • (2003) Technical Report
    • Henze, N.1    Nejdl, W.2
  • 37
    • 7044240984 scopus 로고    scopus 로고
    • A logical characterization of adaptive educational hypermedia
    • N. Henze and W. Nejdl. A logical characterization of adaptive educational hypermedia. New Review of Hypermedia, 10(1), 2004.
    • (2004) New Review of Hypermedia , vol.10 , Issue.1
    • Henze, N.1    Nejdl, W.2
  • 39
    • 0029333008 scopus 로고    scopus 로고
    • Numerical uncertainty management in user and student modeling: An overview of systems and issues
    • A. Jameson. Numerical uncertainty management in user and student modeling: An overview of systems and issues. User Modeling and User Adapted Interaction, 5(3/4):193-251, 1996.
    • (1996) User Modeling and User Adapted Interaction , vol.5 , Issue.3-4 , pp. 193-251
    • Jameson, A.1
  • 41
    • 26444534258 scopus 로고    scopus 로고
    • October 14th
    • Jupiter Research Report, October 14th, 2003. http://www.jupitermedia.com/ corporate/releases/03.10.14-newjupresearch.html.
    • (2003) Jupiter Research Report
  • 42
    • 0003285757 scopus 로고
    • User modeling: Recent work, prospects and hazards
    • M. Schneider-Hufschmidt, T. Kühme, and U. Malinowski, editors. Elvesier
    • A. Kobsa. User modeling: Recent work, prospects and hazards. In M. Schneider-Hufschmidt, T. Kühme, and U. Malinowski, editors, Adaptive User Interfaces: Principles and Practice. Elvesier, 1993.
    • (1993) Adaptive User Interfaces: Principles and Practice
    • Kobsa, A.1
  • 47
    • 0031369467 scopus 로고    scopus 로고
    • Adding knowledge to the action description language A
    • Menlo Park
    • J. Lobo, G. Mendez, and S. R. Taylor. Adding Knowledge to the Action. Description Language A. In Proc. of AAAI'97/IAAI'97, pages 454-459, Menlo Park, 1997.
    • (1997) Proc. of AAAI'97/IAAI'97 , pp. 454-459
    • Lobo, J.1    Mendez, G.2    Taylor, S.R.3
  • 49
    • 26444617444 scopus 로고    scopus 로고
    • Towards generic query, update, and event languages for the semantic web
    • Proc. of Principles and Practice of Semantic Web Reasoning (PPSWR04). Springer
    • W. May, J.J. Alferes, and F. Bry. Towards generic query, update, and event languages for the semantic web. In in Proc. of Principles and Practice of Semantic Web Reasoning (PPSWR04), volume 3208 of LNCS. Springer, 2004.
    • (2004) LNCS , vol.3208
    • May, W.1    Alferes, J.J.2    Bry, F.3
  • 50
    • 0014638440 scopus 로고
    • Some, philosophical problems from the standpoint of artificial intelligence
    • J. McCarthy and P. Hayes. Some, Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence, 4:463-502, 1963.
    • (1963) Machine Intelligence , vol.4 , pp. 463-502
    • McCarthy, J.1    Hayes, P.2
  • 53
    • 26444472992 scopus 로고    scopus 로고
    • Rule ML. http://www.ruleml.org.
  • 55
    • 17444371025 scopus 로고    scopus 로고
    • W3C Recommendation, February
    • OWL, Web Ontology Language, W3C Recommendation, February 2004. http://www.w3.org/TR/owl-ref/.
    • (2004) OWL, Web Ontology Language
  • 60
    • 26444537320 scopus 로고    scopus 로고
    • RDF. http://www.w3c.org/tr/1999/rec-rdf-syntax-19990222/. 1999.
    • (1999)
  • 61
    • 26444607761 scopus 로고    scopus 로고
    • RDFS. http://www.w3.org/tr/rdf-schema/. 2004.
    • (2004)
  • 63
    • 0023329093 scopus 로고
    • A theory of diagnosis from first principles
    • R. Reiter. A theory of diagnosis from first principles. Artifical Intelligence, 32, 1987.
    • (1987) Artifical Intelligence , vol.32
    • Reiter, R.1
  • 64
    • 0018632276 scopus 로고
    • User modeling via stereotypes
    • E. Rich. User modeling via stereotypes. Cognitive Science, 3:329-354, 1978.
    • (1978) Cognitive Science , vol.3 , pp. 329-354
    • Rich, E.1
  • 66
    • 1642587406 scopus 로고    scopus 로고
    • A logic based framework for action theories
    • J. Girizburg et al., editor. CSLI
    • C. B. Schwind. A logic based framework for action theories. In J. Girizburg et al., editor, Language, Logic and Computation, pages 275-291. CSLI, 1997.
    • (1997) Language, Logic and Computation , pp. 275-291
    • Schwind, C.B.1
  • 67
    • 84866254671 scopus 로고    scopus 로고
    • TRIPLE - An RDF query, inference, and transformation language
    • I. Horrocks and J. Hendler, editors, Sardinia, Italy. LNCS 2342
    • M. Sintek and S. Decker. TRIPLE - an RDF Query, Inference, and Transformation Language. In I. Horrocks and J. Hendler, editors, International Semantic Web Conference (ISWC), pages 364-378, Sardinia, Italy, 2002. LNCS 2342.
    • (2002) International Semantic Web Conference (ISWC) , pp. 364-378
    • Sintek, M.1    Decker, S.2
  • 68
    • 0042891824 scopus 로고    scopus 로고
    • Empirical evaluation of adaptive annotation in hypermedia
    • Freiburg, Germany
    • M. Specht. Empirical evaluation of adaptive annotation in hypermedia. In ED-Media and ED-Telekom, Freiburg, Germany, 1998.
    • (1998) ED-media and ED-telekom
    • Specht, M.1
  • 69
    • 26444573029 scopus 로고    scopus 로고
    • Ruleml, swrl and rewerse: Towards a general web rule language framework
    • G. Wagner. Ruleml, swrl and rewerse: Towards a general web rule language framework. SIC SEMIS Semantic Web and Information Systems, 2004. http://www.sigsemis.org/articles/copy_of_index_html.
    • (2004) SIC SEMIS Semantic Web and Information Systems
    • Wagner, G.1
  • 73
    • 26444582569 scopus 로고    scopus 로고
    • version 1.2
    • WSDL. http://www.w3c.org/tr/2003/wd-wsdl12-20030303/. version 1.2, 2003.
    • (2003)


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