IMPACT

swMATH2891MaRDI QIDQ15429FDOQ15429

Author name not available (Why is that?)

Cited In (4)

• 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