Références

Références

[AIT] Hassan Aït-Kaci

* could be more readable but still a good intro in Prolog engines .

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. Patel-Schneider, 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

Prentice-Hall 1991 .

[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 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]

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

[PFENNIG1] Pfennig F.

[PFENNIG2] Pfennig F .

[RDFM] RDF Model Theory .Editor: Patrick Hayes

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

[RDFSC] Resource Description Framework (RDF) Schema Specification

* CWM is another inference engine for the 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

Open Universiteit Eerste druk 1994

Important for a thorough introduction in Gofer . In Dutch .

[STANFORD] Stanford Encyclopedia of philosophy - Automated

[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/

[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://www-2.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/GuptaAgte-2.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 : Algebraic Logic Functional Programming Language

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

OWL : Ontology Web Language

RDF : Resource Description Framework

RDFS : RDF Schema

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 -> Bibliography
2002 -> An inference engine for the semantic web. Theorem provers an overview

Download 25.08 Kb.

Share with your friends: