Logica e Informatica: qualche indirizzo utile

• Logic related conferences:
  • http://cm.bell-labs.com/cm/cs/who/libkin/lics/logic-confs.html

  • http://www.dcs.kcl.ac.uk/journals/conferences/conferences.html

• Formal methods: http://archive.comlab.ox.ac.uk/formal-methods.html

• Compulog Net: http://www.cs.reading.ac.uk/archive/compulog.html

• Folli (The European association for Logic, Language and Information): http://www.folli.uva.nl/

• Association for Automated Reasoning (AAR): http://www-unix.mcs.anl.gov/AAR/

• Logic Journal of the IGPL: http://www3.oup.co.uk/igpl/contents/

• J. of AI Research (JAIR): http://www.cs.washington.edu/research/jair/home.html

• Stanford Enciclopedia of Logic Technology: http://logic.stanford.edu/selt/selt.html

• Dimostrazione automatica
  • Automated Reasoning Systems Database

  • SATLIB - The Satisfiability Library
    SATLIB is a collection of benchmark problems, solvers, and tools for SAT related research.

  • The Logics Workbench LWB
    The Logics Workbench LWB offers the possibility to work in a user-friendly way in classical and non-classical propositional logics, including nonmonotonic approaches.

  • The leanTAP Home Page

  • Automated Reasoning Project della Australian National University

  • Metodi di deduzione per logiche modali (tableaux): si può vedere il Rapporto Tecnico di Rajeev Gore' "Tableau Methods for Modal and Temporal Logic" e la pagina di ModLeanTAP.

  • The Coq proof assistant

• Model Checking

---

Torna alla pagina del corso