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 proceeding › Conference paper

32 Downloads (Pure)

Original language	English
Title of host publication	18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING - Workshop Notes
Editors	Maria Vanina Martinez , Ivan Varzinczak
Pages	58-66
Number of pages	9
Publication status	Published - 2020
Event	18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING - Rhodes, Greece, Rhodes, Greece Duration: 12 Sept 2020 → 14 Sept 2020 Conference number: 18 https://nmr2020.dc.uba.ar/proceedings.html

Workshop	18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
Abbreviated title	NMR 2020
Country/Territory	Greece
City	Rhodes
Period	12/09/20 → 14/09/20
Internet address	https://nmr2020.dc.uba.ar/proceedings.html

Access to Document

@inproceedings{17b234c42ce0491c88bc7ed136420944,

title = "Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming",

author = "Bart Bogaerts and Marynissen, {Simon Erik E} and Antonius Weinzierl",

year = "2020",

language = "English",

pages = "58--66",

editor = "{Martinez }, {Maria Vanina} and Ivan Varzinczak",

booktitle = "18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING - Workshop Notes",

note = "18th INTERNATIONAL WORKSHOP ON<br/>NON-MONOTONIC REASONING, NMR 2020 ; Conference date: 12-09-2020 Through 14-09-2020",

url = "https://nmr2020.dc.uba.ar/proceedings.html",

}

Bogaerts, B, Marynissen, SEE & Weinzierl, A 2020, Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming. in MV Martinez & I Varzinczak (eds), 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING - Workshop Notes. pp. 58-66, 18th INTERNATIONAL WORKSHOP ON
NON-MONOTONIC REASONING, Rhodes, Greece, 12/09/20. <https://nmr2020.dc.uba.ar/WorkshopNotes.pdf>

TY - GEN

T1 - Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming

AU - Bogaerts, Bart

AU - Marynissen, Simon Erik E

AU - Weinzierl, Antonius

N1 - Conference code: 18

PY - 2020

Y1 - 2020

M3 - Conference paper

SP - 58

EP - 66

BT - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING - Workshop Notes

A2 - Martinez , Maria Vanina

A2 - Varzinczak, Ivan

T2 - 18th INTERNATIONAL WORKSHOP ON<br/>NON-MONOTONIC REASONING

Y2 - 12 September 2020 through 14 September 2020

ER -