Open AccessExpressivity of Planning with Horn Description Logic Ontologies
Author(s) -
Stefan Borgwardt,
Jörg Hoffmann,
Alisa Kovtunova,
Markus Krötzsch,
Bernhard Nebel,
Marcel Steinmetz
Publication year - 2022
Publication title -
proceedings of the aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i5.20489
Subject(s) - datalog , computer science , horn clause , description logic , negation , scheme (mathematics) , hierarchy , programming language , french horn , extension (predicate logic) , ontology , web ontology language , theoretical computer science , domain (mathematical analysis) , logic programming , artificial intelligence , semantic web , mathematics , philosophy , epistemology , psychology , mathematical analysis , pedagogy , economics , market economy
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