Travelled to:1 × Canada
1 × China
1 × Germany
Collaborated with:B.Shults J.M.Crawford R.Mittelman S.Savarese H.Lee
Talks about:logic (2) represent (1) boltzmann (1) structur (1) restrict (1) knowledg (1) continu (1) toward (1) theori (1) tempor (1)
Person: Benjamin Kuipers
DBLP: Kuipers:Benjamin
Contributed to:
2014
19941989Wrote 3 papers:
- ICML-c2-2014-MittelmanKSL #strict
- Structured Recurrent Temporal Restricted Boltzmann Machines (RM, BK, SS, HL), pp. 1647–1655.
- KR-1994-KuipersS #logic #reasoning
- Reasoning in Logic about Continuous Systems (BK, BS), pp. 391–402.
- KR-1989-CrawfordK #formal method #information management #logic #representation #towards
- Towards a Theory of Access-Limited Logic for Knowledge Representation (JMC, BK), pp. 67–78.