Abstrakt. Vi introducerar den första metoden för Reactive Response Set Programmering, som syftar till att resonera om realtidsdynamiska system som körs online i föränderliga miljöer. Vi börjar med att lägga de teoretiska grunderna genom att vädja till modulteorin. Med detta utvecklar vi sammansättningen av de olika offline- och onlineprogrammen för att bana väg för strömdriven jordning och lösning. Slutligen beskriver vi genomförandet av en reaktiv ASP-lösare, Oclingo.
En reaktiv svarsuppsättning möjliggör resonemang om realtid dynamiska system som kör online REF.
Reactive Answer Set Programming
{'venue': 'LPNMR', 'journal': None, 'mag_field_of_study': ['Computer Science']}