research
∙
05/12/2023
Knowledge Authoring for Rules and Actions
Knowledge representation and reasoning (KRR) systems describe and reason...
share
research
∙
04/16/2023
MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Evaluating machine learning (ML) systems on their ability to learn known...
research
∙
08/05/2022
Knowledge Authoring with Factual English
Knowledge representation and reasoning (KRR) systems represent knowledge...
research
∙
09/15/2021
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic...
research
∙
09/19/2020
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
09/17/2019
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
07/18/2019
Querying Knowledge via Multi-Hop English Questions
The inherent difficulty of knowledge specification and the lack of train...
research
∙
08/03/2016