Travelled to:1 × Canada
Collaborated with:P.Devienne P.Lebègue Damien Devigne P.Mathieu
Talks about:autonomi (1) undecid (1) revisit (1) problem (1) weight (1) system (1) recurs (1) leader (1) cognit (1) binari (1)
Person: Jean-Christophe Routier
DBLP: Routier:Jean=Christophe
Contributed to:
1993
1992
2005Wrote 3 papers:
- ILPS-1993-DevienneLR #decidability #horn clause #problem #recursion
- The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable (PD, PL, JCR), pp. 250–265.
- WSA-1992-DevienneLR #revisited
- Weighted Systems Revisited (PD, PL, JCR), pp. 163–173.
- CIG-2005-DevigneMR #how
- Team of cognitive agents with a leader: how to let them acquire autonomy (DD, PM, JCR).