Travelled to:1 × Portugal
Collaborated with:C.L.d.Carvalho E.C.Pereira Henrique Castro Neto
Talks about:program (2) logic (2) netprolog (1) reinforc (1) knowledg (1) virtual (1) context (1) checker (1) automat (1) system (1)
Person: Rita Maria da Silva Julia
DBLP: Julia:Rita_Maria_da_Silva
Contributed to:
1999
2015Wrote 3 papers:
- ICEIS-1999-CarvalhoPJ #java #logic programming #prolog #virtual machine
- NETPROLOG-A Logic Programming System for the Java Virtual Machine (CLdC, ECP, RMdSJ), pp. 591–598.
- ICEIS-1999-CarvalhoPJ99a #logic programming #type inference
- Type Inference in Logic Programming Context (CLdC, ECP, RMdSJ), p. 764.
- CIG-2015-NetoJ #automation #elicitation #learning #named
- ACE-RL-Checkers: Improving automatic case elicitation through knowledge obtained by reinforcement learning in player agents (HCN, RMdSJ), pp. 328–335.