Download Références

Références
[AIT]
Hassan Aït-Kaci
WAM A tutorial reconstruction .
* could be more readable but still a good intro in Prolog engines .
[BENTHEM] Van Benthem e.a.
Logica voor informatici
Addison Wesley 1991.
* a very good introduction in logic . In Dutch .
[DAML+OIL]
DAML+OIL (March 2001) Reference Description. Dan Connolly, Frank
van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. PatelSchneider, and Lynn Andrea Stein. W3C Note 18 December 2001.
Latest version is available at http://www.w3.org/TR/daml+oil-reference.
[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
[GANDALF] http://www.cs.chalmers.se/~tammet/gandalf
* Gandalf Home Page
[GHEZZI]
[HILOG]
Ghezzi e.a.
Fundamentals of Software Engineering
Prentice-Hall 1991 .
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
[MCGUINESS] Deborah McGuiness
Explaining reasoning in description logics
1966 Ph.D.Thesis
* a very readable text
[OTTER]
http://www.mcs.anl.gov/AR/otter/
Otter Home Page
[OWL Features]
Feature Synopsis for OWL Lite and OWL. Deborah L. McGuinness
and Frank van Harmelen. W3C Working Draft 29 July 2002. Latest
version is available at http://www.w3.org/TR/owl-features/.
[OWL Issues]
Web Ontology Issue Status. Michael K. Smith, ed. 10 Jul 2002.
[OWL Reference]
OWL Web Ontology Language 1.0 Reference. Mike Dean, Dan
Connolly, Frank van Harmelen, James Hendler, Ian Horrocks, Deborah
L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein.
W3C Working Draft 29 July 2002. Latest version is available at
http://www.w3.org/TR/owl-ref/.
[PFENNIG1]
Pfennig F.
Computation and deduction Draft April2 1997 .
[PFENNIG2] Pfennig F .
Logic frameworks 1999
[RDFM]
RDF Model Theory .Editor: Patrick Hayes
<http://www.w3.org/TR/rdf-mt/>
[RDFMS]
Resource Description Framework (RDF) Model and Syntax
Specification
<http://www.w3.org/TR/1999/REC-rdf-syntax-19990222>
[RDFSC]
Resource Description Framework (RDF) Schema Specification
1.0
<http://www.w3.org/TR/2000/CR-rdf-schema-20000327>
[SWAP/CWM] http://www.w3.org/2000/10/swap
http://infomesh.net/2001/cwm
* CWM is another inference engine for the web .
[TBL01]
Berners-Lee e.a.
The semantic web
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
[WESTER]
Wester e.a.
Concepten van programmeertalen
Open Universiteit Eerste druk 1994
Important for a thorough introduction in Gofer . In Dutch .
[STANFORD] Stanford Encyclopedia of philosophy - Automated
reasoning http://plato.stanford.edu/entries/reasoning-automated/
[DICK] A.J.J.Dick, Automated equational reasoning and the knuthbendix algorithm: an informal introduction, Rutherford Appleton
Laboratory Chilton, Didcot OXON OX11 OQ,
http://www.site.uottawa.ca/~luigi/csi5109/church-rosser.doc/
[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/
[GENESERETH] Michael Genesereth, Course Computational logic,
Computer Science Department, Stanford University.
[VAN BENTHEM] Van Benthem e.a., Logica voor informatici, Addison
Wesley 1991.
[UMBC] TimothyW.Finin, Computer Science and Electrical
Engineering, University of Maryland Baltimore Country,
http://www.cs.umbc.edu/471/lectures/9/sld040.htm
[WALSH] Toby Walsh, A divergence critic for inductive proof, 1/96,
Journal of Artificial Intelligence Research, http://www2.cs.cmu.edu/afs/cs/project/jair/pub/volume4/walsh96a-html/section3_3.html
[BUNDY] Alan Bundy , Artificial Mathematicians, May 23, 1996,
http://www.dai.ed.ac.uk/homes/bundy/tmp/new-scientist.ps.gz
[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/GuptaAgte2.pdf
[LINDHOLM] Lindholm, Exercise Assignment Theorem prover for
propositional modal logics, http://www.cs.hut.fi/~ctl/promod.ps
[NADA] Arthur Ehrencrona, Royal Institute of Technology Stockholm,
Sweden, http://cgi.student.nada.kth.se/cgi-bin/d95-aeh/get/umeng
[DENNIS] Louise Dennis Midlands Graduate School in TCS,
http://www.cs.nott.ac.uk/~lad/MR/lcf-handout.pdf
[COQ] Huet e.a. RT-0204-The Coq Proof Assistant : A Tutorial,
http://www.inria.fr/rrt/rt-0204.html.
[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
[HARRISON] J.Harrison, Introduction to functional programming,
1997.
[DONALD]
http://dream.dai.ed.ac.uk/papers/donald/subsectionstar4_7.html
[MYERS] CS611 LECTURE 14 The Curry-Howard Isomorphism,
Andrew Myers.
Abbreviations
ALF
CWM
DTD
HTML
OWL
RDF
RDFS
W3C
WAM
XML
: Algebraic Logic Functional Programming Language
: Closed World Machine
An experimental inference engine for the semantic web
: Document Type Definition , a language for defining XMLobjects .
: Hypertext Markup Language
: Ontology Web Language
: Resource Description Framework
: RDF Schema
: World Wide Web Consortium
: Warren Abstract Machine
Probably the first efficient implementation of prolog .
: Extensible Markup Language .
The difference with HTML is that tags can be freely defined in
XML .