Open AccessPDL with Negation of Atomic Programs
Author(s) -
Carsten Lutz,
Dirk Walther
Publication year - 2003
Publication title -
qucosa (saxon state and university library dresden)
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.129
Subject(s) - autoepistemic logic , negation , dynamic logic (digital electronics) , undecidable problem , decidability , modal logic , extension (predicate logic) , computer science , multimodal logic , zeroth order logic , satisfiability , intermediate logic , negation as failure , programming language , normal modal logic , description logic , discrete mathematics , mathematics , algorithm , modal , chemistry , physics , transistor , quantum mechanics , voltage , polymer chemistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom