Open AccessVerification of Knowledge-Based Programs over Description Logic Actions
Author(s) -
Benjamin Zarrieß,
Jens Claßen
Publication year - 2015
Publication title -
qucosa (saxon state and university library dresden)
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.216
Subject(s) - decidability , fragment (logic) , computer science , knowledge base , constructive , domain (mathematical analysis) , programming language , action (physics) , domain knowledge , description logic , epistemic modal logic , theoretical computer science , logic programming , base (topology) , artificial intelligence , mathematics , multimodal logic , process (computing) , mathematical analysis , physics , quantum mechanics
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