LILaC

Papers by Andreas Herzig

• complete from 2000 on: search in the IRIT database (type "Herzig" in the 'Nom Auteur' pulldown menu)

• papers by ...

  • ... year:
    - 2010 - 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993 - 1992 - 1991 - 1990 - before 1990

  • ... topic (incomplete from 2005 on):
    • conditional logics, nonmonotonic reasoning, belief revision, updates
    • reasoning about actions
    • reasoning under uncertainty
    • automated theorem proving for non-classical logics
    • proof theory and foundations of non-classical logics
    • non-classical logic programming

  • ... category (incomplete from 2005 on):
    • books, chapters in books
    • journal papers
    • conference papers
    • list of main papers
    • list of all papers