Bibliography

Attali1992

Attali, I.
1992.
Incremental evaluation of natural semantics specifications.
In Proceedings of Programming Language Implementation and Logic Programming. Springer-Verlag LNCS, August.

Borras et al.1988

Borras, P., D. Clement, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual.
1988.
Centaur: the system.
In Proceedings of the 3rd Symp. on Software Development Environments, Boston, USA, November.
also Inria research report 777, France, December 1987.

Despeyroux1986

Despeyroux, J.
1986.
Proof of translation in Natural Semantics.
In Proceedings of the first ACM-IEEE Symp. on Logic In Computer Science, Cambridge, MA, USA, pages 193-205, June.
also Inria research report 514, April 1986.

Despeyroux1987

Despeyroux, Th.
1987.
Executable Specification of Static Semantics.
In Semantics of Data Types, Lecture Notes in Computer Science,Vol. 173, June.

Despeyroux1988

Despeyroux, Th.
1988.
Typol: a formalism to implement Natural Semantics.
Technical Report 94, Inria, France, March.

Despeyroux1996

Despeyroux, Th.
1996.
As, for abstract syntax - manual - v1.0.
Technical Report 197, Inria, september.

Fensel et al.1998

Fensel, D., R. Decker, M. Erdman, and R. Studer.
1998.
Ontobroker : the Very High Idea.
In Proceedings of the 11th Internation FLAIRS Conference (FLAIRS-98), May.

Fensel et al.1998b

Fensel, Dieter, Jürgen Angele, Stefan Decker, Michael Erdmann, Hans-Peter Schnurr, Rudi Studer, and Andreas Witt.
1998b.
On2broker: Lessons Learned from Applying AI to the Web.
Technical report, Institute AIFB.

van Harmelen and Fensel1999

van Harmelen, F. and D. Fensel.
1999.
Practical Knowledge Representation for the Web.
In D. Fensel, editor, Proceedings of the IJCAI'99 Workshop on Intelligent Information Integration.

van Harmelen and van der Meer1999

van Harmelen, F. and J. van der Meer.
1999.
Webmaster: Knowledge-based Verification of Web-pages.
In Twelfth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE'99.

Heflin, Hendler, and Luke1999

Heflin, J., J. Hendler, and S. Luke.
1999.
SHOE: A Knowledge Representation Language for Internet Applications.
Technical report, University of Maryland at College Park.
Technical Report CS-TR-4078 (UMIACS TR-99-71), Dept. of Computer Science,http://www.cs.umd.edu/projects/plus/SHOE/.

Jacobs and Rideau-Gallot1992

Jacobs, I. and L. Rideau-Gallot.
1992.
A Centaur tutorial.
Technical Report 140, Inria.

Kahn1987

Kahn, G.
1987.
Natural Semantics.
In Proceedings of the Symp. on Theorical Aspects of Computer Science, TACS, Passau, Germany. LNCS 247, Springer-Verlag, Berlin.
also Inria Research Report 601, February 1987.

Plotkin1981

Plotkin, G.D.
1981.
A Structural Approach to Operational Semantics.
Technical report, Aarhus, DAIMI FN-19.

Psaila and Crespi-Reghizzi1999

Psaila, G. and S. Crespi-Reghizzi.
1999.
Adding Semantics to XML.
In Second Workshop on Attribute Grammars and their Applications, WAGA'99.

Szabo1969

Szabo, E.
1969.
The Collected Papers of Gerhard Gentzen.
Amsterdam: North-Holland.

Trousse2000

Trousse, B.
2000.
Evaluation of the Prediction Capability of an On-line Adaptative Service Approach Based on User Behaviour Similarity.
In Proceedings of the 6th RIAO Conference - Content-Based Multimedia Information Access, Paris, France, april.

Trousse, Jaczynski, and Kanawati1999

Trousse, B., M. Jaczynski, and R. Kanawati.
1999.
Using User Behavior Similarity for Recommandation Computation : The Broadway Approach.
In Proceedings of 8th international conference on human computer interaction (HCI'99). Lawrence Erlbaum Associates, august.
Munich.

W3C-RDF1999

W3C-RDF.
1999.
Ressource Description Framework (RDF) Model and Syntax Specification, March.
W3C http://www.w3.org/TR/REC-rdf-syntax-19990222/.

W3C-RDF-Schema1999

W3C-RDF-Schema.
1999.
Ressource Description Framework (rdf) Schema Specification, March.
W3C http://www.w3.org/TR/1999/PR-rdf-schema-19990303/.

W3C-XML1998

W3C-XML.
1998.
Extensible Markup Language (XML) 1.0, February.
W3C Recommandation http://www.w3.org/TR/1998/REC-xml-19980210.

W3C-XML-Schema2000

W3C-XML-Schema.
2000.
XML Schema Part 1: Structures; XML Schema Part 2: Datatypes, February.
W3C Working Draft http:http://www.w3.org/TR/xmlschema-1/ and http://www.w3.org/TR/xmlschema-2/.

W3C-XSL2000

W3C-XSL.
2000.
Extensible Styleshet language (XSL) version 1.0, January.
W3C Working Draft http://www.w3c.org/TR/2000/WD-xsl-20000112/.