Searching for "Verifiable agent interaction in abductive logic programming The SCIFF framework." – sorted by Relevance.
-
Verifiable agent interaction in Abductive Logic Programming: the SCIFF framework
- Università degli Studi di Bologna DEIS Verifiable Agent Interaction in Abductive Logic Programming
- Cited by 12 (12 self) – Add To MetaCart

