Open AccessAutomatically Extracting Axioms in Classical Planning
Author(s) -
Shuwa Miura,
Alex Fukunaga
Publication year - 2017
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v31i1.11117
Subject(s) - axiom , benchmark (surveying) , class (philosophy) , computer science , domain (mathematical analysis) , operator (biology) , separation axiom , planner , theoretical computer science , algorithm , artificial intelligence , mathematics , mathematical analysis , biochemistry , chemistry , geometry , geodesy , repressor , transcription factor , gene , geography