Cours en ligne

• CS157: Logic and Automated Reasoning
• MSc Artificial Intelligence
• MIT Course Number 6.824: Artificial Intelligence
• CS381 Summer '96 Home Page ntroduction to Theory of Computing
• ComS 572 (472 DL) Principles of Artificial Intelligence
• Artificial Intelligence I
• Artificial Intelligence II
• Course on Logic Programming (15-810D)
• 15-381, Introduction to Artificial Intelligence
• Logic for Computing Science (plan de cours + exams) 95/96
• MATHEMATICAL LOGIC (plan de cours + exams)

Logique

• Group in Logic at UC Berkeley
• Logic Software from CSLI
• James M. Crawford
• Temporal Logic of Actions
• An introduction to teaching logic as a tool
• ZENO'S Coffeehouse"
• paradoxe des boites
• Logic Puzzles
• DIMACS SYMPOSIUM : TEACHING LOGIC AND REASONING IN AN ILLOGICAL WORLD
• Logic
• Logic, Philosophy and Artificial Lifr Resources
• Leçons - math et logique
• ULB: 1180 LOGIQUE MATHEMATIQUE
• Logique
• ESSLLI 96 Prague: Symposium logic, computers and education
• logic software
• lecture Course Syllabus
• Equipe de Logique Mathématique CNRS URA 753
• Logic Eprints
• CMU Artificial Intelligence Repository : reasonning
• The logic group a stanford
• Stanford Encyclopedia of Logic Technology
• Logical Foundations of Artificial Intelligence
• A Summary of New Results in Mathematics Obtained with Argonne's Automated Deduction Software
• Langages logiques
• Logic Group Preprint Series
• Laboratory for Applied Logic
• Comprehensive Software Tools For Logic Instruction
• Internet Prover Project
• leavens
• Combination Techniques in Mechanized Inference

Démonstrateurs de Théorèmes

• Isabelle
• LeanTaP
• 3TAP
• MIP-based Theorem Proving
• The HOL Theorem Prover
• TPTP
• A Summary of Strategy Used by Argonne's Automated Deduction Software
• The Automation of Proof: A Historical and Sociological Exploration
• Interactive theorem-provers and program proof
• Algorithmic Software Verification Project
• Archive of SOFTVERF Mailing List
• Automated Deduction Systems and Groups
• Automated Reasoning at Argonne
• Automated Reasoning Systems Database
• Formal Verification Group (Eindhoven)
• Otter: An Automated Deduction System
• THE COQ PROJECT
• The COQ Proof Assistant
• The CtCoq User Interface
• The QED Project - Home Page

Journaux

• Journal of Logic and Computation
• The Nordic Journal of Philosophical Logic (NJPL)

Confs

CADE

CADE-14

• lp-proceedings Index
• Logic-Related Conferences
• DISCO'96
• LICS
• ILP '95 and CompulogNet KRR Area Meeting
• JICSLP'96 Conference Home Page
• WoLLIC 96
• Verification '96
• CCL 1994: Munich, Germany
• ILPS '93: Vancouver, British Columbia, Canada
• JFPLC'96 Home Page
• JICSLP'96 Conference Home Page
• PAP'96
• Unif'96 Call for Particiaption
• PAP'95
• CADE-13 ATP System Competition
• PRICAI'96 Home Page
• TABLEAUX'97

A classer

• Une lecon de logique basée sur des règles: deux casse-têtes
• Tik-79.144 Logic in Computer Science: Foundations
• Mechanized deduction worldwide
• Tomas E. Uribe's research page
• Logical Frameworks
• KIV Home Page at the University of Karlsruhe
• Bibliography on Logical Frameworks
• James M. Crawford
• AIM: List of topics
• Colibri Home Page
• DB&LP: Saumya K. Debray
• David Gries -Home Page
• Directory of /pub/sorites
• Disjunctive Logic Programming
• IC DoC Theory and Formal Methods
• Paul Wong's Home Page
• Constructing a Logical Argument
• Welcome to the Logic Programming Section
• file://chopwell.ncl.ac.uk/pub/fm_tools/fm_tools_db
• ARP Home Page
• starting
• Provably Correct Hardware/Software Co-design
• Recent Work on Inference Rules
• Research Festival
• Resources in Object-Oriented Logic Programming
• Roberto Bayardo's Papers (generation de 3-sat)
• Books, Papers, and Bibliographies
• The International Philosophical Preprint Exchange
• FME Applications Database: Indices
• Academic Press International Series in Formal Methods
• SDCR Formal Methods Working Group
• ORA Canada Home Page
• ORA Canada: Bibliography
• Rapport de la Commission d'enquête Ariane 501