Travelled to:1 × Italy
2 × USA
Collaborated with:∅
Talks about:constraint (2) represent (1) restrict (1) program (1) languag (1) recogn (1) object (1) common (1) abduct (1) logic (1)
Person: Enrico Maim
DBLP: Maim:Enrico
Contributed to:
199319921990Wrote 3 papers:
- SEKE-1993-Maim #abduction #constraints #logic programming #source code #strict
- Restricted Abduction in Constraint Logic Programs (EM), pp. 222–224.
- SEKE-1992-Maim #constraints
- Recognizing Objects from Constraints (EM), pp. 47–54.
- SEKE-1990-Maim #named #representation
- CRL: Common Representation Language (EM), pp. 209–215.