Logic programs with exceptions

This publication has 7 references indexed in Scilit:

• The treatment of negation in logic programs for representing legislation
  Published by Association for Computing Machinery (ACM) ,1989
• A logical framework for default reasoning
  Artificial Intelligence, 1988
• Programs
  Published by Springer Nature ,1987
• The British Nationality Act as a logic program
  Communications of the ACM, 1986
• Integrity constraints in logic databases
  The Journal of Logic Programming, 1985
• A logic for default reasoning
  Artificial Intelligence, 1980
• Negation as Failure
  Published by Springer Nature ,1978