Diferencia entre revisiones de «Enlaces»

Revisión del 13:20 1 nov 2008

Automated Reasoning Group (University of Cambridge).
Head: Mike Gordon
Mathematical Reasoning Group (University of Edinburgh).
Head: Alan Bundy.
Psycotrip (Programming and Symbolic Computation Team (Universidad de la Rioja).
Head: Julio Rubio.
Theorem Proving Group (Technische Universität München)
Head: Tobias Nipkow.

Sistemas de demostración:
- ACL2.
- Otter/Mace2.
- Isabelle.
- Prover9/Mace4.
- PVS.
- Twelf.
Programación lógica:
- SWI-Prolog.
- GNU Prolog.
Programación lógica con restricciones:
- ECLIPSe.
- CHR.
Programación basada en conjuntos de respuestas:
- DLV.
- Smodels.
- Cmodels.
- clasp.
Programación funcional:
- con Haskell:
  - Hugs.
  - GHC.
- con Lisp:
  - CLISP.
  - GCL.
- con Scheme:
  - PLT Scheme (incluye DrScheme).
Programación basada en reglas de producción:
- CLIPS.
- Jess.

@@ Línea 40: / Línea 40: @@
 ** [http://clipsrules.sourceforge.net/ CLIPS].
 ** [http://herzberg.ca.sandia.gov/ Jess].
+== Enlaces a congresos ==
+=== Congresos ===
+=== Recopilaciones ===
+* [http://dream.inf.ed.ac.uk/Links/conferences.php Anuncios de congresos] del [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh).
 == Enlaces a publicaciones ==
-* [http://dream.inf.ed.ac.uk/Links/conferences.php Congresos].
 * [http://dream.inf.ed.ac.uk/Links/specials.php Números especiales de revistas].
 * [http://dream.inf.ed.ac.uk/Links/journals.php Revistas].