Problems and Promises of Computational Logic

This publication has 12 references indexed in Scilit:

• The Use of Logical Models in Legal Problem Solving*
  Ratio Juris, 1990
• A logical framework for default reasoning
  Artificial Intelligence, 1988
• Languages with self-reference II: Knowledge, belief, and modality
  Artificial Intelligence, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• The British Nationality Act as a logic program
  Communications of the ACM, 1986
• A logic-based calculus of events
  New Generation Computing, 1986
• Semantical considerations on nonmonotonic logic
  Artificial Intelligence, 1985
• Self-Reference and Modal Logic
  Published by Springer Nature ,1985
• Making prolog more expressive
  The Journal of Logic Programming, 1984
• A logic for default reasoning
  Artificial Intelligence, 1980