IMPACT

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