The following pages link to IMPACT (Q15429):
Displayed 4 items.
- Where logic and agents meet (Q657584) (← links)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages (Q3601786) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)