Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming

Bart Bogaerts, Simon Erik E Marynissen, Antonius Weinzierl

Research output: Chapter in Book/Report/Conference proceedingConference paper

32 Downloads (Pure)
Original languageEnglish
Title of host publication18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING - Workshop Notes
EditorsMaria Vanina Martinez , Ivan Varzinczak
Pages58-66
Number of pages9
Publication statusPublished - 2020
Event18th INTERNATIONAL WORKSHOP ON
NON-MONOTONIC REASONING
- Rhodes, Greece, Rhodes, Greece
Duration: 12 Sept 202014 Sept 2020
Conference number: 18
https://nmr2020.dc.uba.ar/proceedings.html

Workshop

Workshop18th INTERNATIONAL WORKSHOP ON
NON-MONOTONIC REASONING
Abbreviated titleNMR 2020
Country/TerritoryGreece
CityRhodes
Period12/09/2014/09/20
Internet address

Cite this