An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming

  • Authors:
  • Matteo Baldoni;Laura Giordano;Alberto Martelli;Viviana Patti

  • Affiliations:
  • -;-;-;-

  • Venue:
  • NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract