Ett svar set program med variabler är första ordningen definierbar på finita strukturer om uppsättningen av dess ändliga svarsuppsättningar kan fångas av en första ordningen mening. Karakteriserande klasser av program som är första ordningen definierbara på finita strukturer är teoretiskt utmanande och av praktisk relevans för Svarsset-programmering. I denna uppsats identifierar vi en icke-trivial klass av svars-program som kallas loop-separerbara program och visar att de är första ordningen definierbara på finita strukturer.
I REF föreslogs ett begrepp som kallas "loop separerability" som garanterar den första ordningens definerbarhet över finita strukturer.
Loop-separable programs and their first-order definability
{'venue': 'Artif. Intell.', 'journal': 'Artif. Intell.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}