Organization profile

Organisation profile

An experimental laboratory for research on intelligent technologies, immersive experience and complex knowledge forms. The interdisciplinary team of researchers collaborate on a daily basis to make this lab a place for experiments, fun and serious matters.

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A Natural Logic System for Large Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., Jun 2020. 16 p.

Research output: Contribution to conferencePaperResearchpeer-review

On the design of a Natural Logic System for Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., Aug 2020, (Accepted/In press). 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Kirkeby, M. H. & Christiansen, H., 2019, In : International Journal of Approximate Reasoning. 105, p. 217-228

Research output: Contribution to journalJournal articleResearchpeer-review

Activities

Networking!

Anna S. Beck (Organizer), , Michael Shanks (Organizer), & Connie Svabo (Organizer)

2020

Activity: Participating in or organising an eventOrganisation and participation in conference

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Participant)

20 May 202022 May 2020

Activity: Participating in or organising an eventOrganisation and participation in conference

Press / Media

Frivillige printer 3D-værnemidler i kampen mod corona

Nicolas Padfield

28/03/2020

1 item of Media coverage

Press/Media: Press / Media