Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming

Bart Bogaerts, Simon Erik E Marynissen, Antonius Weinzierl

Onderzoeksoutput: Conference paper

20 Downloads (Pure)
Originele taal-2English
Titel18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING - Workshop Notes
RedacteurenMaria Vanina Martinez , Ivan Varzinczak
Pagina's58-66
Aantal pagina's9
StatusPublished - 2020
Evenement18th INTERNATIONAL WORKSHOP ON
NON-MONOTONIC REASONING
- Rhodes, Greece, Rhodes, Greece
Duur: 12 sep 202014 sep 2020
Congresnummer: 18
https://nmr2020.dc.uba.ar/proceedings.html

Workshop

Workshop18th INTERNATIONAL WORKSHOP ON
NON-MONOTONIC REASONING
Verkorte titelNMR 2020
Land/RegioGreece
StadRhodes
Periode12/09/2014/09/20
Internet adres

Citeer dit