-
2
-
-
20944447633
-
Reasoning methods for personalization on the semantic web
-
G. Antoniou, M. Baldoni, C. Baroglio, R. Baungartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, S. Schaffert, R. Schidlauer, and H. Tompits. Reasoning methods for personalization on the semantic web. Annals of Mathematics, Computing & Teleinformatics (AMCT), 2(1): 1-24, 2004.
-
(2004)
Annals of Mathematics, Computing & Teleinformatics (AMCT)
, vol.2
, Issue.1
, pp. 1-24
-
-
Antoniou, G.1
Baldoni, M.2
Baroglio, C.3
Baungartner, R.4
Bry, F.5
Eiter, T.6
Henze, N.7
Herzog, M.8
May, W.9
Patti, V.10
Schaffert, S.11
Schidlauer, R.12
Tompits, H.13
-
5
-
-
10444275317
-
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
-
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
-
7
-
-
26444452492
-
Reasoning about learning object metadata for adapting scorm courseware
-
L. Aroyo and C. Tasso, editors, Eindhoven, The Netherlands, August
-
M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Reasoning about learning object metadata for adapting scorm courseware. In L. Aroyo and C. Tasso, editors, Proc. of Int. Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for personalization and Adaptation in the Semantic Web, pages 4-13, Eindhoven, The Netherlands, August 2004.
-
(2004)
Proc. of Int. Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for Personalization and Adaptation in the Semantic Web
, pp. 4-13
-
-
Baldoni, M.1
Baroglio, C.2
Patti, V.3
Torasso, L.4
-
8
-
-
84955562547
-
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
-
9
-
-
4043147136
-
Programming rational agents in a modal action logic
-
M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation, 41(2-4):207-257, 2004.
-
(2004)
Annals of Mathematics and Artificial Intelligence, Special Issue on Logic-based Agent Implementation
, vol.41
, Issue.2-4
, pp. 207-257
-
-
Baldoni, M.1
Giordano, L.2
Martelli, A.3
Patti, V.4
-
10
-
-
0035124264
-
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
-
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
-
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
-
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
-
-
BPEL4WS. http://www-106.ibm.com/developerworks/library/ws-bpel. 2003.
-
(2003)
-
-
-
16
-
-
0032614307
-
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
-
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
-
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
-
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
-
26
-
-
35048834802
-
The personal reader: Personalizing and enriching learning resources using semantic web technologies
-
Eindhoven, The Netherlands
-
P. Dolog, N. Henze, W. Nejdl, and M. Sintek. The Personal Reader: Personalizing and Enriching Learning Resources using Semantic Web Technologies. In Proc. of the 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems (AH 2004), Eindhoven, The Netherlands, 2004.
-
(2004)
Proc. of the 3rd International Conference on Adaptive Hypermedia and Adaptive Web-based Systems (AH 2004)
-
-
Dolog, P.1
Henze, N.2
Nejdl, W.3
Sintek, M.4
-
28
-
-
77951505493
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
38
-
-
18744404327
-
-
I. Horrocks, P. Patel-Schneider, H. Boley, S. Tabet, and B. Grosof. SWRL: a semantic web rule language combining OWL and RuleML, 2004. http://www.w3.org/Submission/2004/SUBM-SWRL-20040521.
-
(2004)
SWRL: A Semantic Web Rule Language Combining OWL and RuleML
-
-
Horrocks, I.1
Patel-Schneider, P.2
Boley, H.3
Tabet, S.4
Grosof, B.5
-
39
-
-
0029333008
-
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
-
-
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
-
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
-
46
-
-
0031126053
-
GOLOG: A logic programming language for dynamic domains
-
H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming, 31:59-83, 1997.
-
(1997)
J. of Logic Programming
, vol.31
, pp. 59-83
-
-
Levesque, H.J.1
Reiter, R.2
Lespérance, Y.3
Lin, F.4
Scherl, R.B.5
-
47
-
-
0031369467
-
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
-
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
-
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
-
-
Rule ML. http://www.ruleml.org.
-
-
-
-
55
-
-
17444371025
-
-
W3C Recommendation, February
-
OWL, Web Ontology Language, W3C Recommendation, February 2004. http://www.w3.org/TR/owl-ref/.
-
(2004)
OWL, Web Ontology Language
-
-
-
58
-
-
1642587405
-
Reasoning about action and change, a dynamic logic approach
-
H. Prendinger and G. Schurz. Reasoning about action and change, a dynamic logic approach. Journal of Logic, Language, and Information, 5(2):209-245, 1996.
-
(1996)
Journal of Logic, Language, and Information
, vol.5
, Issue.2
, pp. 209-245
-
-
Prendinger, H.1
Schurz, G.2
-
60
-
-
26444537320
-
-
RDF. http://www.w3c.org/tr/1999/rec-rdf-syntax-19990222/. 1999.
-
(1999)
-
-
-
61
-
-
26444607761
-
-
RDFS. http://www.w3.org/tr/rdf-schema/. 2004.
-
(2004)
-
-
-
63
-
-
0023329093
-
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
-
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
-
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
-
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
-
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
-
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
-
-
version 1.2
-
WSDL. http://www.w3c.org/tr/2003/wd-wsdl12-20030303/. version 1.2, 2003.
-
(2003)
-
-
|