Bibliography

Bibliography

[AIT] Hassan Aït-Kaci WAM A tutorial reconstruction .

[BUNDY] Alan Bundy , Artificial Mathematicians, May 23, 1996, http://www.dai.ed.ac.uk/homes/bundy/tmp/new-scientist.ps.gz

[CASTELLO] R.Castello e.a. Theorem provers survey. University of Texas at Dallas. http://citeseer.nj.nec.com/409959.html

[CENG] André Schoorl, Ceng 420 Artificial intelligence University of Victoria, http://www.engr.uvic.ca/~aschoorl/ceng420/

[CHAMPIN] Pierre Antoine Champin, 2001 – 04 –05, http://www710.univ-lyon1.fr/~champin/rdf-tutorial/node12.html

[COQ] Huet e.a. RT-0204-The Coq Proof Assistant : A Tutorial, http://www.inria.fr/rrt/rt-0204.html.

[DAML+OIL]

DAML+OIL (March 2001) Reference Description. Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. W3C Note 18 December 2001. Latest version is available at http://www.w3.org/TR/daml+oil-reference.

[DENNIS] Louise Dennis Midlands Graduate School in TCS, http://www.cs.nott.ac.uk/~lad/MR/lcf-handout.pdf

[DESIGN] http://www.w3.org/DesignIssues/

* Tim Berners-Lee’s site with his design-issues articles .

[DEROO] http://www.agfa.com/w3c/jdroo

* the site of the Euler program

[DICK] A.J.J.Dick, Automated equational reasoning and the knuth-bendix algorithm: an informal introduction, Rutherford Appleton Laboratory Chilton, Didcot OXON OX11 OQ, http://www.site.uottawa.ca/~luigi/csi5109/church-rosser.doc/

[DONALD]

[GANDALF] http://www.cs.chalmers.se/~tammet/gandalf

* Gandalf Home Page

[GENESERETH] Michael Genesereth, Course Computational logic, Computer Science Department, Stanford University.

[GHEZZI] Ghezzi e.a.

Fundamentals of Software Engineering

Prentice-Hall 1991 .

[GUPTA] Amit Gupta & Ashutosh Agte, Untyped lambda calculus, alpha-, beta- and eta- reductions, April 28/May 1 2000, http://www/cis/ksu.edu/~stefan/Teaching/CIS705/Reports/GuptaAgte-2.pdf

[HARRISON] J.Harrison, Introduction to functional programming, 1997.

[HILOG] http://www.cs.sunysb.edu/~warren/xsbbook/node45.html

[KERBER] Manfred Kerber, Mechanised Reasoning, Midlands Graduate School in Theoretical Computer Science, The University of Birmingham, November/December 1999, http://www.cs.bham.ac.uk/~mmk/courses/MGS/index.html

[LAMBDA] http://www.cse.psu.edu/~dale/lProlog/

* lambda prolog home page

[LINDHOLM] Lindholm, Exercise Assignment Theorem prover for propositional modal logics, http://www.cs.hut.fi/~ctl/promod.ps

[LOGPRINC] http://www.earlham.edu/~peters/courses/logsys/glossary.htm#m]

[MCGUINESS] Deborah McGuiness

Explaining reasoning in description logics

1966 Ph.D.Thesis

[MYERS] CS611 LECTURE 14 The Curry-Howard Isomorphism, Andrew Myers.

[NADA] Arthur Ehrencrona, Royal Institute of Technology Stockholm, Sweden, http://cgi.student.nada.kth.se/cgi-bin/d95-aeh/get/umeng

[OTTER] http://www.mcs.anl.gov/AR/otter/

Otter Home Page

[OWL Issues]

Web Ontology Issue Status. Michael K. Smith, ed. 10 Jul 2002.

[OWL Reference]

[OWL Rules] http://www.agfa.com/w3c/euler/owl-rules

[PFENNING_1999] Pfenning e.a., Twelf a Meta-Logical framework for deductive Systems, Department of Computer Science, Carnegie Mellon University, 1999.

[PFENNING_LF] http://www-2.cs.cmu.edu/afs/cs/user/fp/www/lfs.html

[RDFM] RDF Model Theory .Editor: Patrick Hayes

[RDFMS] Resource Description Framework (RDF) Model and Syntax

[RDF Primer] http://www.w3.org/TR/rdf-primer/]

[RDFSC] Resource Description Framework (RDF) Schema Specification

1.0

[SCHNEIER] Schneier Bruce, Applied Cryptography,

[STANFORD] Stanford Encyclopedia of philosophy - Automated

reasoning http://plato.stanford.edu/entries/reasoning-automated/

[SWAP/CWM] http://www.w3.org/2000/10/swap

CWM is another inference engine for the web .

[TBL] Tim-berners Lee, Weaving the web,

[TBL01] Berners-Lee e.a.

Scientific American May 2001

[TWELF] http://www.cs.cmu.edu/~twelf

* Twelf Home Page

[UNCERT] Hin-Kwong Ng e.a.

Modelling uncertainties in argumentation

Department of Systems Engineering & Engineering

Management
The Chinese University of Hong Kong
http://www.se.cuhk.edu.hk/~hkng/papers/uai98/uai98.html

• 
  some ideas about handling uncertainties
  

[USHOLD] Michael Ushold The boeing company, Where is the semantics of the web?

[WALSH] Toby Walsh, A divergence critic for inductive proof, 1/96, Journal of Artificial Intelligence Research, http://www-2.cs.cmu.edu/afs/cs/project/jair/pub/volume4/walsh96a-html/section3_3.html

[WESTER] Wester e.a. Concepten van programmeertalen, Open Universiteit Eerste druk 1994

Important for a thorough introduction in Gofer . In Dutch .

[WOS] Wos e.a. Automated reasoning,Prentice Hall, 1984

[W3SCHOOLS http://www.w3schools.com/w3c/w3c_intro.asp]

Abbreviations

ALF : Algebraic Logic Functional Programming Language

CA : Certification Authority

CWM : Closed World Machine

An experimental inference engine for the semantic web

DTD : Document Type Definition , a language for defining XML-

objects .

HTML : Hypertext Markup Language

N3 : Notation 3

OWL : Ontology Web Language

PKI : Public Key Infrastructure

RA : Registration Authority

RDF : Resource Description Framework

RDFS : RDF Schema

SweLL : Semantic web Logic Language

W3C : World Wide Web Consortium

WAM : Warren Abstract Machine

Probably the first efficient implementation of prolog .

XML : Extensible Markup Language .

The difference with HTML is that tags can be freely defined in

XML .

Directory: w3c -> 2002
2002 -> Design of an inference engine for the semantic web
2002 -> Références
2002 -> An inference engine for the semantic web. Theorem provers an overview

Download 22.48 Kb.

Share with your friends: