Articles details

  • A Logic Programming System for Non-monotonic Reasoning
  • 01 Jan 1995
  • Journal of Automated Reasoning
  • José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
  • 14
  • 93 to 147
  • 1 Jan 1995