Tidningen beskriver en förlängning av välgrundade semantik för logiska program med två typer av negation. I denna utvidgning kan information om preferenser mellan regler uttryckas på det logiska språket och härledas dynamiskt. Detta uppnås genom att använda en reserverad symbol och en namnteknik. Överenskommelser mellan regler löses närhelst det är möjligt på grundval av härledd information om preferenser. De välgrundade slutsatserna av prioriterade logiska program kan beräknas i polynom tid. Ett exempel på ett juridiskt resonemang visar hur användbart detta tillvägagångssätt är.
I artikeln REF har en av författarna till den här artikeln beskrivit en prioriterad version av den välgrundade semantiken för utökade logiska program.
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences
{'venue': 'Journal of Artificial Intelligence Research, Vol 4, (1996), 19-36', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}