Joint Tabling of Logic Program Abductions and Updates

Open in new window