4 found
Order:
  1.  8
    Tractable reasoning via approximation.Marco Schaerf & Marco Cadoli - 1995 - Artificial Intelligence 74 (2):249-310.
  2.  3
    The size of a revised knowledge base.Marco Cadoli, Francesco M. Donini, Paolo Liberatore & Marco Schaerf - 1999 - Artificial Intelligence 115 (1):25-64.
  3.  4
    Reducing belief revision to circumscription.Paolo Liberatore & Marco Schaerf - 1997 - Artificial Intelligence 93 (1-2):261-296.
  4.  7
    Is intractability of nonmonotonic reasoning a real drawback?Marco Cadoli, Francesco M. Donini & Marco Schaerf - 1996 - Artificial Intelligence 88 (1-2):215-251.