aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/acqua/reasoner
Commit message (Expand)AuthorAgeFilesLines
* feat(lower-bound): always compute the lower bound from RSACombFederico Igne2022-05-181-1/+1
* feat: add consistency check for ACQuA query reasonerFederico Igne2022-05-182-12/+347
* Make ACQuA query reasoner depend on RSAComb query reasonerFederico Igne2022-05-162-24/+52
* Finalise implementation of ACQuA query reasonerFederico Igne2022-05-152-275/+334
* Fix path for RSAComb resourcesFederico Igne2022-05-151-1/+1
* Add preprocessing and initial computation for CQ answeringFederico Igne2022-05-121-144/+138
* Add initial implementation of ACQuA reasonerFederico Igne2022-05-121-0/+489
* Add RSA query reasoner to perform CQ answering over RSAFederico Igne2022-05-111-5/+29
* Implement stub for query answering procedureFederico Igne2022-05-111-0/+78