Program Verification Techniques as a Tool for Reasoning about Action and Change

• Authors:

• Witold Lukaszewicz;Ewa Madalinska-Bugaj

• Affiliations:

• -;-

• Venue:
• KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
• Year:
• 1994