swMATH2891MaRDI QIDQ15429FDOQ15429
Author name not available (Why is that?)
Official website: https://rd.springer.com/chapter/10.1007/0-387-26350-0_3
Cited In (10)
- LAILA
- EVOLP
- KARO
- Jason
- Jadex
- 3APL
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
- Where logic and agents meet
- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
- EVOLP: Tranformation-Based Semantics
This page was built for software: IMPACT
