EventCalculusWebApp
PublicAn application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.
An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.