anotoya/event-calculus-scasp
Encoding of Several Dyanamic domains in Event Calculus using Goal-Directed ASP System s(CASP)
Prolog
Stargazers
No one’s star this repository yet.
Encoding of Several Dyanamic domains in Event Calculus using Goal-Directed ASP System s(CASP)
Prolog
No one’s star this repository yet.