Author:
Bayerkuhnlein Moritz,Schwartz Tobias,Wolter Diedrich
Publisher
Springer Nature Switzerland
Reference34 articles.
1. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
2. Barber, F., Salido, M.A.: Robustness, stability, recoverability, and reliability in constraint satisfaction problems. Knowl. Inf. Syst. 44(3), 719–734 (2014). https://doi.org/10.1007/s10115-014-0778-3
3. Baryannis, G., Tachmazidis, I., Batsakis, S., Antoniou, G., Alviano, M., Papadakis, E.: A generalised approach for encoding and reasoning with qualitative theories in answer set programming. Theory Pract. Log. Program. 20(5), 687–702 (2020)
4. Berry, A., Blair, J.R., Heggernes, P., Peyton, B.W.: Maximum cardinality search for computing minimal triangulations of graphs. Algorithmica 39, 287–298 (2004)
5. Brenton, C., Faber, W., Batsakis, S.: Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. Dagstuhl (2016)