{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:38:45Z","timestamp":1726083525471},"publisher-location":"Cham","reference-count":183,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030061630"},{"type":"electronic","value":"9783030061647"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-06164-7_5","type":"book-chapter","created":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T02:03:20Z","timestamp":1588903400000},"page":"151-183","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Qualitative Reasoning"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Condotta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Le Ber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e9rard","family":"Ligozat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Trav\u00e9-Massuy\u00e8s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"5_CR1","unstructured":"Accary-Barbier T., Calabretto S. (2008) Building and using temporal knowledge in archaeological documentation. J. Intell. Inf. Syst. 31:147\u2013159"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Afsordegan A., S\u00e1nchez M., Agell N., Aguado J. C., Gamboa G. (2016) Absolute order-of-magnitude reasoning applied to a social multi-criteria evaluation framework. J. Exp. Theor. Artif. Intell. 28(1\u20132):261\u2013274","DOI":"10.1080\/0952813X.2015.1024489"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Aiello M., Pratt-Hartmann I., van Benthem J. (eds.) (2007a) Handbook of spatial logics. Springer, Netherlands","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Aiello M., Pratt-Hartmann I., van Benthem J. (2007b)What is spatial logic? In [Aiello et\u00a0al. 2007a], pp 1\u201311","DOI":"10.1007\/978-1-4020-5587-4_1"},{"key":"5_CR5","unstructured":"Alboody A., Sedes F., Inglada J. (2010) Fuzzy intersection and difference model for topological relations. In: IFSA-EUSFLAT 2009 Proceedings, pp 1\u20136"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Allen J. F. (1983) Maintaining knowledge about temporal intervals. Commun. ACM 26(11):832\u2013843","DOI":"10.1145\/182.358434"},{"key":"5_CR7","unstructured":"Amaneddine N., Condotta J.-F., Sioutis M. (2013) Efficient approach to solve the minimal labeling problem of temporal and spatial qualitative constraints. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913), Beijing, China, 3\u20139 August 2013, pp 696\u2013702"},{"key":"5_CR8","unstructured":"Atif J., Hudelot C., Fouquier G., Bloch I., Angelini E. (2007) From generic knowledge to specific reasoning for medical image interpretation using graph-based representations. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201907), pp 224\u2013229"},{"key":"5_CR9","unstructured":"Aurnague M., Vieu L., Borillo A. (1997) Repr\u00e9sentation formelle des concepts spatiaux dans la langue. In: Denis M (ed) Langage et cognition spatiale. Masson, pp 69\u2013102"},{"key":"5_CR10","unstructured":"Balbiani P., Condotta J.-F. (2002) Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. In: Proceedings of the 4th international workshop on frontiers of combining systems (FroCoS 2002). LNCS, vol 2309, pp 162\u2013176"},{"key":"5_CR11","unstructured":"Balbiani P., Condotta J.-F., Fari\u00f1as del Cerro L. (1998) A model for reasoning about bidimensional temporal relations. In: Proceedings of KR-98, pp 124\u2013130"},{"key":"5_CR12","unstructured":"Balbiani P., Condotta J-F., Ligozat G. (2006) On the consistency problem for the INDU calculus. J. Appl. Log. 4:119\u2013140"},{"key":"5_CR13","unstructured":"Balbiani P., Osmani A. (2000) A model for reasoning about topological relations between cyclic intervals. In: Proceedings of KR-2000, Breckenridge, Colorado, pp 378\u2013385"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Barkowsky T., Knauff M., Ligozat G., Montello D. R. (eds.) (2008) Spatial cognition V: Reasoning, Action, Interaction. International Conference on Spatial Cognition 2006, Bremen, Germany, 24\u201328 September 2006, revised selected papers. Lecture notes in computer science, vol 4387. Springer, Berlin","DOI":"10.1007\/978-3-540-75666-8"},{"key":"5_CR15","unstructured":"Bedel O., Ferr\u00e9 S., Ridoux O., Quesseveur E. (2008) GEOLIS: a logical information system for geographical data. Revue Internationale de G\u00e9omatique 17(3\u20134):371\u2013390"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Ben-Naim J., Benferhat S., Papini O., W\u00fcrbel E. (2004) An answer set programming encoding of prioritized removed sets revision: application to GIS. In: Alferes JJ, Leite JA (eds) JELIA, vol 3229. Lecture notes in computer science. Springer, Berlin, pp 604\u2013616","DOI":"10.1007\/978-3-540-30227-8_50"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Benferhat S., Ben-Naim J., Papini O., W\u00fcrbel E. (2010) An answer set programming encoding of prioritized removed sets revision: application to GIS. Appl. Intell. 32(1):60\u201387","DOI":"10.1007\/s10489-008-0135-x"},{"key":"5_CR18","unstructured":"Bestougeff H., Ligozat G. (1992) Logical tools for temporal knowledge representation. Ellis Horwood, New York"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Bettini C., Jajodia S., Wang S. X. (2000) Time granularities in databases, data mining and temporal reasoning. Springer, Berlin","DOI":"10.1007\/978-3-662-04228-1"},{"key":"5_CR20","unstructured":"Bettini C., Wang X. S., Jajodia S. (2002) Solving multi-granularity temporal constraint networks. Artif. Intell. 140:107\u2013152"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Billen R., Clementini E. (2004) A model for ternary projective relations between regions. In: Bertino E., Christodoulakis S., Plexousakis D., Christophides V., Koubarakis M., B\u00f6hm K., Ferrari E. (eds) EDBT, vol 2992. Lecture notes in computer science. Springer, Berlin, pp 310\u2013328","DOI":"10.1007\/978-3-540-24741-8_19"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Bloch I. (1999) Fuzzy relative position between objects in image processing: a morphological approach. IEEE Trans. Pattern Anal. Mach. 21(7):657\u2013664","DOI":"10.1109\/34.777378"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Bloch I. (2005) Fuzzy spatial relationships for image processing and interpretation: a review. Image Vis. Comput. 23(2):89\u2013110","DOI":"10.1016\/j.imavis.2004.06.013"},{"key":"5_CR24","unstructured":"Boutilier C. (ed.) (2009) IJCAI 2009 proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, 11\u201317 July 2009"},{"key":"5_CR25","unstructured":"Bratko I., Suc D. (2003) Learning qualitative models. AI Mag. 24(4):107\u2013119"},{"key":"5_CR26","unstructured":"Bredeweg B., Forbus K. (2003) Qualitative modeling in education. AI Mag. 24(4):35\u201346"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Bredeweg B., Liem J., Beek W., Linnebank F., Gracia J., Lozano E., Wi\u00dfner M., B\u00fchling R., Salles P., Noble R et al. (2013) Dynalearn - an intelligent learning environment for learning conceptual knowledge. AI Mag. 34(4):46\u201365","DOI":"10.1609\/aimag.v34i4.2489"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Bredeweg B., Linnebank F., Bouwer A., Liem J. (2009) Garp3 workbench for qualitative modelling and simulation. Ecol. Inform. 4(5\u20136):263\u2013281","DOI":"10.1016\/j.ecoinf.2009.09.009"},{"key":"5_CR29","unstructured":"Bredeweg B., Struss P. (2003) Current topics in qualitative reasoning. AI Mag. 24(4):13\u201316"},{"key":"5_CR30","unstructured":"Cascio F., Console L., Guagliumi M., Osella M., Panati A., Sottano S., Dupr\u00e9 D. (1999) Generating on-board diagnostics of dynamic automotive systems based on qualitative models [1]. AI Commun. 12(1\u20132):43\u201351"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Chaudet H. (2006) Extending the event calculus for tracking epidemic spread. Artif. Intell. Med. 38(2):137\u2013156. Special issue on Temporal Representation and Reasoning in medicine","DOI":"10.1016\/j.artmed.2005.06.001"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Chen J., Cohn A. G., Liu D., Wang S., Ouyang J., Yu Q. (2015) A survey of qualitative spatial representations. Knowl. Eng. Rev. 30(1):106\u2013136","DOI":"10.1017\/S0269888913000350"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Chevriaux Y., Saux E., Claramunt C. (2005) A landform-based approach for the representation of terrain silhouettes. In: Shahabi C., Boucelma O. (eds.) GIS. ACM, pp 260\u2013266","DOI":"10.1145\/1097064.1097101"},{"key":"5_CR34","unstructured":"Cohen-Solal Q., Bouzid M., Niveau A. (2015) An algebra of granular temporal relations for qualitative reasoning. In: Twenty-fourth International Joint Conference on Artificial Intelligence, IJCAI 2015"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Cohen-Solal Q., Bouzid M., Niveau A. (2017a) Checking the consistency of combined qualitative constraint networks. In: AAAI, pp 1084\u20131090","DOI":"10.1609\/aaai.v31i1.10692"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Cohen-Solal Q., Bouzid M., Niveau A. (2017b) Temporal sequences of qualitative information: reasoning about the topology of constant-size moving regions. Twenty-sixth International Joint Conference on Artificial Intelligence IJCAI 2017:986\u2013992","DOI":"10.24963\/ijcai.2017\/137"},{"key":"5_CR37","unstructured":"Cohn A., Li S., Liu W., Renz J. (2014) Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects. J. Artif. Intell. Res. (JAIR) 51:493\u2013532"},{"key":"5_CR38","unstructured":"Condotta J.-F., D\u2019Almeida D. (2011) Consistency of qualitative constraint networks from tree decompositions. In: Combi C., Leucker M., Wolter F. (eds.) Proceedings of the 18th international symposium on temporal representation an reasoning (TIME\u201911), L\u00fcbeck, Germany, pp 149\u2013156"},{"key":"5_CR39","unstructured":"Condotta J.-F., Kaci S., Schwind N. (2009) Merging qualitative constraint networks defined on different qualitative formalisms. In: Hornsby K. S., Claramunt C., Denis M., Ligozat G. (eds) COSIT. Lecture notes in computer science, vol 5756. Springer, Berlin, pp 106\u2013123"},{"key":"5_CR40","unstructured":"Condotta J.-F., Ligozat G. (2004) Axiomatizing the cyclic interval calculus. In: Proceedings of KR\u20192004, pp 95\u2013105"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Condotta J-F., Ligozat G., Saade M. (2006a) A generic toolkit for n-ary qualitative temporal and spatial calculi. The 13th International Symposium on Temporal Representation and Reasoning (TIME\u201906). Budapest, Hungary, pp 78\u201386","DOI":"10.1109\/TIME.2006.2"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"Condotta J.-F., Ligozat G., Saade M., Tripakis S. (2006b) Ultimately periodic simple temporal problems (UPSTPs). In: MOI (ed.) Time. IEEE Computer Society, pp 69\u201377","DOI":"10.1109\/TIME.2006.33"},{"key":"5_CR43","unstructured":"Condotta J-F., Ligozat G., Tripakis S.(2005) Ultimately periodic qualitative constraint networks for spatial and temporal reasoning. ICTAI. IEEE Computer Society 584\u2013588"},{"key":"5_CR44","unstructured":"Condotta J.-F., Nouaouri I., Sioutis M. (2016) A SAT approach for maximizing satisfiability in qualitative spatial and temporal constraint networks. In: Baral C., Delgrande J.P., Wolter F. (eds). Principles of knowledge representation and reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, 25\u201329 April 2016. AAAI, pp 432\u2013442"},{"key":"5_CR45","unstructured":"Cotteret G. (2005). Extraction d\u2019\u00e9l\u00e9ments curvilignes guid\u00e9e par des m\u00e9canismes attentionnels pour des images de t\u00e9l\u00e9d\u00e9tection : approche par fusion de donn\u00e9es. PhD thesis, Universit\u00e9 Paris-Sud, France"},{"key":"5_CR46","unstructured":"Dague P. (1993a) Numeric reasoning with relative orders of magnitude. In: Proceedings of the National Conference on Artificial Intelligence, pp 541-547"},{"key":"5_CR47","unstructured":"Dague P. (1993b) Symbolic reasoning with relative orders of magnitude. In: Proceedings of the International Joint Conference on Artificial Intelligence, vol 13. Lawrence Erlbaum Associates Ltd, USA, p 1509"},{"key":"5_CR48","unstructured":"Dague P. (1995) Qualitative reasoning: a survey of techniques and applications. AI Communications 8(3\/4):119\u2013192"},{"key":"5_CR49","doi-asserted-by":"crossref","unstructured":"Dague P., Trav\u00e9-Massuy\u00e8s L. (2004) Raisonnement causal en physique qualitative. Intellectica. 38:247\u2013290","DOI":"10.3406\/intel.2004.1714"},{"key":"5_CR50","unstructured":"Dauphin-Tanguy G et al. (2000) Les bond graphs. Herm\u00e8s Science, Paris"},{"key":"5_CR51","unstructured":"de Beuvron F. D. B., Marc-Zwecker S., Zanni-Merk C., Le Ber F. (2015) Combining ontological and qualitative spatial reasoning: application to urban images interpretation. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management (IC3K (2013) CCIS, vol 454. Springer, Berlin, pp 182\u2013198"},{"key":"5_CR52","doi-asserted-by":"crossref","unstructured":"de Jong H., Geiselmann J., Hernandez C., Page M. (2003) Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19(3):336\u2013344","DOI":"10.1093\/bioinformatics\/btf851"},{"key":"5_CR53","unstructured":"de Kleer J. (1977) Multiple representations of knowledge in a mechanics problem-solver. In: Proceedings of the 5th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, USA, pp 299\u2013304"},{"key":"5_CR54","unstructured":"de Kleer J. (1979) Causal and teleological reasoning in circuit recognition. Massachusetts Institute of Technology, Cambridge"},{"key":"5_CR55","doi-asserted-by":"crossref","unstructured":"de Kleer J., Brown J. (1984) A qualitative physics based on confluences. Artif. Intell. 24(1\u20133):7\u201383","DOI":"10.1016\/0004-3702(84)90037-7"},{"key":"5_CR56","doi-asserted-by":"crossref","unstructured":"de Kleer J., Brown J. (1986) Theories of causal ordering. Artif. Intell. 29(1):33\u201361","DOI":"10.1016\/0004-3702(86)90090-1"},{"key":"5_CR57","doi-asserted-by":"crossref","unstructured":"de Koning K., Bredeweg B., Breuker J., Wielinga B. (2000) Model-based reasoning about learner behaviour. Artif. Intell. 117(2):173\u2013229","DOI":"10.1016\/S0004-3702(99)00106-X"},{"key":"5_CR58","doi-asserted-by":"crossref","unstructured":"Dylla F., Mossakowski T., Schneider T., Wolter D. (2013) Algebraic properties of qualitative spatio-temporal calculi. In: Spatial Information Theory, proceedings of COSIT-13. Springer, Berlin, pp 516\u2013536","DOI":"10.1007\/978-3-319-01790-7_28"},{"key":"5_CR59","doi-asserted-by":"crossref","unstructured":"Egenhofer M. J. (1989) A formal definition of binary topological relationships. In: Litwin W., Schek H.-J. (eds) FODO. Lecture notes in computer science, vol 367. Springer, Berlin, pp 457\u2013472","DOI":"10.1007\/3-540-51295-0_148"},{"key":"5_CR60","doi-asserted-by":"crossref","unstructured":"Egenhofer M. J. (1991) Reasoning about binary topological relations. Lecture notes in computer science 525:143\u2013160","DOI":"10.1007\/3-540-54414-3_36"},{"key":"5_CR61","unstructured":"Euzenat J. (1996) An algebraic approach for granularity in qualitative space and time representation. In: IJCAI-95, pp 894\u2013900"},{"key":"5_CR62","doi-asserted-by":"crossref","unstructured":"Euzenat J. (2001) Granularity in relational formalisms with application to time and space. Comput. Intell. 17(4):703\u2013737","DOI":"10.1111\/0824-7935.00170"},{"key":"5_CR63","doi-asserted-by":"crossref","unstructured":"Euzenat J. (2008) Algebras of ontology alignment relations. Springer, Berlin","DOI":"10.1007\/978-3-540-88564-1_25"},{"key":"5_CR64","doi-asserted-by":"crossref","unstructured":"Euzenat J., Montanari A. (2005) Time granularity. Handbook of temporal reasoning in Artificial Intelligence, Chapter time granularity. Elsevier, Amsterdam, pp 59\u2013118","DOI":"10.1016\/S1574-6526(05)80005-7"},{"key":"5_CR65","doi-asserted-by":"crossref","unstructured":"Falkenhainer B., Forbus Dedre K. (1989) The structure-mapping engine: algorithm and examples. Artif. Intell. 41(1):1\u201363","DOI":"10.1016\/0004-3702(89)90077-5"},{"key":"5_CR66","doi-asserted-by":"crossref","unstructured":"Forbus K. (1984) Qualitative process theory. Artif. Intell. 24(1\u20133):85\u2013168","DOI":"10.1016\/0004-3702(84)90038-9"},{"key":"5_CR67","unstructured":"Forbus K., Mostek T., Ferguson R. (2002) An analogy ontology for integrating analogical processing and first-principles reasoning. In: Proceedings of the National Conference on Artificial Intelligence, pp 878\u2013885"},{"key":"5_CR68","unstructured":"Forbus K. D. (2014) Qualitative reasoning about space and motion. Mental models. Psychology, UK, pp 61\u201382"},{"key":"5_CR69","doi-asserted-by":"crossref","unstructured":"Freksa C. (1992) Using orientation information for qualitative spatial reasoning. In: Frank A. U., Campari I., Formentini U. (eds) Spatio-temporal reasoning. Lecture notes in computer science, vol 639. Springer, Berlin, pp 162\u2013178","DOI":"10.1007\/3-540-55966-3_10"},{"key":"5_CR70","doi-asserted-by":"crossref","unstructured":"Ganter B., Wille R. (1999) Formal concept analysis. Springer, Berlin","DOI":"10.1007\/978-3-642-59830-2"},{"key":"5_CR71","unstructured":"Gantner Z., Westphal M., W\u00f6lfl S. (2008) GQR- a fast reasoner for binary qualitative constraint calculi. In: Proceedings of the AAAI\u201908 workshop on Spatial and Temporal Reasoning, Chicago, USA"},{"key":"5_CR72","unstructured":"Gerevini A., Nebel B. (2002) Qualitative spatio-temporal reasoning with RCC-8 and Allen\u2019s interval calculus: computational complexity. In: van Harmelen F. (ed.) Proceedings of ECAI 2002. IOS, pp 312\u2013316"},{"key":"5_CR73","doi-asserted-by":"crossref","unstructured":"Gerevini A., Renz J. (2002) Combining topological and size information for spatial reasoning. Artif. Intell. 137(1\u20132):1\u201342","DOI":"10.1016\/S0004-3702(02)00193-5"},{"key":"5_CR74","unstructured":"Ghallab M., Alaoui A. M. (1989) Managing efficiently temporal relations through indexed spanning trees. In: IJCAI, pp 1297\u20131303"},{"key":"5_CR75","unstructured":"Goyal R. K., Egenhofer M. J. (1997) The direction-relation matrix: a representation for directions relations between extended spatial objects. In: The annual assembly and the summer retreat of University Consortium for geographic information systems science, Bar Harbor, ME"},{"key":"5_CR76","doi-asserted-by":"crossref","unstructured":"Guerrin F. (1991) Qualitative reasoning about an ecological process: interpretation in hydroecology. Ecol. Model. 59(3\u20134):165\u2013201","DOI":"10.1016\/0304-3800(91)90177-3"},{"key":"5_CR77","unstructured":"G\u00fcsgen H. (1989) Spatial reasoning based on Allen\u2019s temporal logic. Technical report TR-89-049, ICSI, Berkeley, CA"},{"key":"5_CR78","unstructured":"Hayes P. (1979) The naive physics manifesto. Expert systems in the microelectronic age 242\u2013270"},{"key":"5_CR79","unstructured":"Hayes P. (1985) The second naive physics manifesto. In: Hobbs J., Moore R. (eds.) Formal theories of the commonsense world, pp 1-36"},{"key":"5_CR80","unstructured":"Hobbs J. R. (1985) Granularity. In: Proceedings of IJCAI-85, pp 432\u2013435"},{"key":"5_CR81","unstructured":"Hofer B., Nica I., Wotawa F. (2017) Qualitative deviation models versus quantitative models for fault localization in spreadsheets. In: 30th International Workshop on Qualitative Reasoning (QR), IJCAI 2017, Melbourne, Australia"},{"key":"5_CR82","unstructured":"Inants A. (2016) Qualitative calculi with heterogeneous universes. PhD thesis, Grenoble Alpes University, France"},{"key":"5_CR83","doi-asserted-by":"crossref","unstructured":"Ironi L., Panzeri L., Plahte E. (2008) An algorithm for qualitative simulation of gene regulatory networks with steep sigmoidal response functions. Algebraic biology, pp 110\u2013124","DOI":"10.1007\/978-3-540-85101-1_9"},{"key":"5_CR84","doi-asserted-by":"crossref","unstructured":"Ironi L., Tentoni S. (2007) Automated detection of qualitative spatio-temporal features in electrocardiac activation maps. Artif. Intell. Med. 39(2):99\u2013111","DOI":"10.1016\/j.artmed.2006.07.007"},{"key":"5_CR85","doi-asserted-by":"crossref","unstructured":"Iwasaki Y. (1997) Real-world applications of qualitative reasoning. IEEE Expert Intell. Syst. Appl. 12(3):16\u201321 Special issue","DOI":"10.1109\/64.590068"},{"key":"5_CR86","doi-asserted-by":"crossref","unstructured":"Iwasaki Y., Simon H. (1986) Causality in device behavior. Artif. Intell. 29(1):3\u201332","DOI":"10.1016\/0004-3702(86)90089-5"},{"key":"5_CR87","doi-asserted-by":"crossref","unstructured":"Iwasaki Y., Simon H. (1994) Causality and model abstraction. Artif. Intell. 67(1):143\u2013194","DOI":"10.1016\/0004-3702(94)90014-0"},{"key":"5_CR88","unstructured":"Jeansoulin R., Papini O. (2007) Underwater archaeological knowledge analysis and representation in the VENUS project: a preliminary draft. In: Georgopoulos A. (ed) XXI international CIPA symposium. The international archives of photogrammetry, remote sensing and spatial information sciences, vol XXXVI-5\/C53. ICOMOS\/ISPRS Committee for Documentation of Cultural Heritage, pp 394\u2013399"},{"key":"5_CR89","doi-asserted-by":"crossref","unstructured":"Jonsson P., B\u00e4ckstr\u00f6m C. (1998) A unifying approach to temporal constraint reasoning. Artif. Intell. 102(1):143\u2013155","DOI":"10.1016\/S0004-3702(98)00031-9"},{"key":"5_CR90","doi-asserted-by":"crossref","unstructured":"Kansou K., Bredeweg B. (2014) Hypothesis assessment with qualitative reasoning: modelling the Fontestorbes fountain. Ecol. Inform. 19:71\u201389","DOI":"10.1016\/j.ecoinf.2013.10.007"},{"key":"5_CR91","unstructured":"Khatib L. (1994) Reasoning with non-convex time intervals. PhD thesis, Florida Institute of Technology, Melbourne, Florida"},{"key":"5_CR92","doi-asserted-by":"crossref","unstructured":"Koubarakis M. (1996) Tractable disjunctions of linear constraints. In: Freuder, E. C. (ed.) CP. Lecture notes in computer science, vol 1118. Springer, Berlin, pp 297\u2013307","DOI":"10.1007\/3-540-61551-2_82"},{"key":"5_CR93","doi-asserted-by":"crossref","unstructured":"Koubarakis M. (2001) Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning. Theor. Comput. Sci. 266(1\u20132):311\u2013339","DOI":"10.1016\/S0304-3975(00)00177-8"},{"key":"5_CR94","unstructured":"Kuipers B. (1985) The limits of qualitative simulation. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, USA, pp 128\u2013136"},{"key":"5_CR95","doi-asserted-by":"crossref","unstructured":"Kuipers B. (1986) Qualitative simulation. Artif. Intell. 29(3):289\u2013338","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"5_CR96","doi-asserted-by":"crossref","unstructured":"Kuipers B. (1994) Qualitative reasoning: modeling and simulation with incomplete knowledge. MIT, Cambridge","DOI":"10.1063\/1.4823391"},{"key":"5_CR97","doi-asserted-by":"crossref","unstructured":"Lancaster K. (1965) The theory of qualitative linear systems. Econometrica: J of the Econometric Society 33(2):395\u2013408","DOI":"10.2307\/1909797"},{"key":"5_CR98","doi-asserted-by":"crossref","unstructured":"Lascarides A., Asher N. (1991) Discourse relations and defeasible knowledge. In: ACL, pp 55\u201362","DOI":"10.3115\/981344.981352"},{"key":"5_CR99","doi-asserted-by":"crossref","unstructured":"Lascarides A., Asher N. (1993) Temporal interpretation, discourse relations, and commonsense entailment. Linguistics and Philosophy 16:437\u2013493","DOI":"10.1007\/BF00986208"},{"key":"5_CR100","unstructured":"Le Ber F., Ligozat G., Papini O. (eds) (2007) Raisonnements sur l\u2019espace et le temps. Herm\u00e8s \/ Lavoisier, Paris"},{"key":"5_CR101","doi-asserted-by":"crossref","unstructured":"Le Ber F., Napoli A. (2003) Design and comparison of lattices of topological relations for spatial representation and reasoning. J. Exp. Theor. Artif. Intell. 15(3):331\u2013371","DOI":"10.1080\/0952813031000119700"},{"key":"5_CR102","unstructured":"Le Ber F., Napoli A., Metzger J-L., Lardon S. (2003) Modeling and comparing farm maps using graphs and case-based reasoning. J. Univers. Comput. Sci. 9(9):1073\u20131095"},{"key":"5_CR103","unstructured":"Levesque H., Brachman R. (1985) A fundamental tradeoff in knowledge representation and reasoning. In: Brachman R. J., Levesque H. (eds) Knowledge representation and reasoning. Morgan Kaufmann, Stanford"},{"key":"5_CR104","unstructured":"Li H, Mu$$\\tilde{\\text{n}}$$oz-Avila H., Bransen D., Hogg C., Alonso R. (2009a) Spatial event prediction by combining value function approximation and case-based reasoning. In: McGinty L., Wilson D. (eds) ICCBR, (2009) LNAI 5650. Springer, Berlin, pp 465\u2013478"},{"key":"5_CR105","unstructured":"Li J. J, Huang J., Renz J. (2009b) A divide-and-conquer approach for solving interval algebra networks. In [Boutilier 2009], pp 572\u2013577"},{"key":"5_CR106","doi-asserted-by":"crossref","unstructured":"Li S., Ying M. (2003) Region connection calculus: its models and composition table. Artif. Intell. 145(1\u20132):121\u2013146","DOI":"10.1016\/S0004-3702(02)00372-7"},{"key":"5_CR107","unstructured":"Ligozat G. (1990) Weak representations of interval algebras. In: Proceedings of AAAI-90, pp 715\u2013720"},{"key":"5_CR108","unstructured":"Ligozat G. (1991) On generalized interval calculi. In: Proceedings of AAAI-91, pp 234\u2013240"},{"key":"5_CR109","doi-asserted-by":"crossref","unstructured":"Ligozat G. (1993) Qualitative triangulation for spatial reasoning. In: Frank A. U., Campari I. (eds) Spatial information theory (COSIT\u201993). LNCS, vol 716. Springer, Berlin, pp 54\u201368","DOI":"10.1007\/3-540-57207-4_5"},{"key":"5_CR110","unstructured":"Ligozat G. (1994) Tractable relations in temporal reasoning: pre-convex relations. In: Anger F. D., G\u00fcsgen H., Ligozat G. (eds) Proceedings of the ECAI-94 workshop on Spatial and Temporal Reasoning, Amsterdam, pp 99\u2013108"},{"key":"5_CR111","unstructured":"Ligozat G. (1996) A new proof of tractability for ORD-Horn relations. In: Proceedings of AAAI-96, pp 395\u2013401"},{"key":"5_CR112","unstructured":"Ligozat G. (2001) When tables tell it all. In: Montello D. R. (ed) COSIT. Lecture notes in computer science, vol 2205. Springer, Berlin, pp 60\u201375"},{"key":"5_CR113","doi-asserted-by":"crossref","unstructured":"Ligozat G. (2013) Qualitative spatial and temporal reasoning. Wiley, New Jersey","DOI":"10.1002\/9781118601457"},{"key":"5_CR114","unstructured":"Ligozat G., Nowak J., Schmitt D. (2007) From language to pictorial representations. In: Vetulani Z. (ed) Proceedings of the Language and Technology Conference (L&TC\u201907), Pozna\u0144, Poland. Wydawnictwo Pozna\u0144skie"},{"key":"5_CR115","doi-asserted-by":"crossref","unstructured":"Ligozat G., Renz J. (2004) What is a qualitative calculus? a general framework. In: Proceedings of PRICAI\u201904, LNCS 3157, New Zealand, Auckland, pp 53\u201364","DOI":"10.1007\/978-3-540-28633-2_8"},{"key":"5_CR116","doi-asserted-by":"crossref","unstructured":"Ligozat G., Vetulani Z., Osi\u0144ski J. (2011) Spatiotemporal aspects of the monitoring of complex events for public security purposes. Spat. Cogn. Comput. 11(1):103\u2013128","DOI":"10.1080\/13875868.2010.544050"},{"key":"5_CR117","doi-asserted-by":"crossref","unstructured":"Liu W., Li S. (2012) Solving minimal constraint networks in qualitative spatial and temporal reasoning. In: Principles and practice of constraint programming - 18th international conference, CP 2012, Qu\u00e9bec City, Canada, 8\u201312 October 2012, Proceedings, pp 464\u2013479","DOI":"10.1007\/978-3-642-33558-7_35"},{"key":"5_CR118","unstructured":"Liu W., Li S., Renz J. (2009) Combining RCC-8 with qualitative direction calculi: algorithms and complexity. In [Boutilier 2009], pp 854\u2013859"},{"key":"5_CR119","doi-asserted-by":"crossref","unstructured":"Long Z., Li S. (2015) On distributive subalgebras of qualitative spatial and temporal calculi. In: Spatial Information Theory - 12th International Conference, COSIT 2015, Santa Fe, NM, USA, 12\u201316 October 2015, Proceedings, pp 354\u2013374","DOI":"10.1007\/978-3-319-23374-1_17"},{"key":"5_CR120","doi-asserted-by":"crossref","unstructured":"Loustau P., Nodenot T., Gaio M. (2008) Spatial decision support in the pedagogical area: processing travel stories to discover itineraries hidden beneath the surface. In: The European information society \u2013 taking geoinformation science one step further, Proceedings of the 11th Agile International Conference on Geographic Information Science (AGILE 2008), LNCG, pp 359\u2013378","DOI":"10.1007\/978-3-540-78946-8_19"},{"key":"5_CR121","doi-asserted-by":"crossref","unstructured":"Mark D., Comas D., Egenhofer M., Freudschuh S., Gould M., Nunes J. (1995) Evaluating and refining computational models of spatial relations through cross-linguistic human-subjects testing. In: Frank A. U., Kuhn W. (eds) Spatial information theory, a theoretical basis for GIS, LNCS 988. International Conference COSIT\u201995. Springer, Berlin","DOI":"10.1007\/3-540-60392-1_36"},{"key":"5_CR122","doi-asserted-by":"crossref","unstructured":"McKinsey J., Tarski A. (1944) The algebra of topology. Annals of mathematics 45:141\u2013191","DOI":"10.2307\/1969080"},{"key":"5_CR123","unstructured":"Miron A. D., Gensel J., Villanova-Oliver M., Martin H. (2007) Relations spatiales qualitatives dans les ontologies g\u00e9ographiques avec ONTOAST. In: SAGEO 2007, Rencontres internationales G\u00e9omatique et territoire"},{"key":"5_CR124","doi-asserted-by":"crossref","unstructured":"Montserrat-Adell J, S\u00e1nchez M., Ruiz F. J., Agell N. (2016) From qualitative absolute order-of-magnitude to the extended set of hesitant fuzzy linguistic term sets. In: 29th International Workshop on Qualitative Reasoning (QR), IJCAI 2016, New York, USA","DOI":"10.1007\/978-3-319-45656-0_5"},{"key":"5_CR125","unstructured":"Moore R. (1966) Interval analysis. Englewood Cliffs, New Jersey"},{"key":"5_CR126","unstructured":"Mossakowski T., Schr\u00f6der L., W\u00f6lfl, S. (2006) A categorical perspective on qualitative constraint calculi. In: Qualitative constraint calculi: application and integration, workshop at KI 2006, proceedings, pp 28\u201339"},{"key":"5_CR127","unstructured":"Muller P. (1998) \u00c9l\u00e9ments d\u2019une th\u00e9orie du mouvement pour la formalisation du raisonnement spatio-temporel de sens commun. PhD thesis, IRIT, Universit\u00e9 Paul Sabatier, Toulouse, France"},{"key":"5_CR128","doi-asserted-by":"crossref","unstructured":"Muscettola N., Nayak P., Pell B., Williams B. (1998) Remote agent: to boldly go where no AI system has gone before. Artif Intell 103(1\u20132):5\u201347","DOI":"10.1016\/S0004-3702(98)00068-X"},{"key":"5_CR129","doi-asserted-by":"crossref","unstructured":"Napoli A., Le Ber F. (2007) The Galois lattice as a hierarchical structure for topological relations. Ann. Math. Artif. Intell. 49(1\u20134):171\u2013190","DOI":"10.1007\/s10472-007-9054-5"},{"key":"5_CR130","doi-asserted-by":"crossref","unstructured":"Ndiaye A., Della Valle G., Roussel P. (2009) Qualitative modelling of a multi-step process: the case of French breadmaking. Expert Syst. Appl. 36(2):1020\u20131038","DOI":"10.1016\/j.eswa.2007.11.006"},{"key":"5_CR131","unstructured":"Nebel B. (1996) Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-Horn class. In: Proceeding of the twelfth European Conference on Artificial Intelligence (ECAI\u201996)"},{"key":"5_CR132","doi-asserted-by":"crossref","unstructured":"Nebel B., B\u00fcrckert H.-J. (1995) Reasoning about temporal relations: a maximal tractable subclass of Allen\u2019s interval algebra. J ACM 42(1):43\u201366","DOI":"10.1145\/200836.200848"},{"key":"5_CR133","unstructured":"Osmani A. (1999) Introduction to reasoning about cyclic intervals. In: Imam I., Kodratoff Y., El-Dessouki A., Ali M. (eds) Multiple approaches to intelligent systems, Proceedings of IEA\/AIE-99. Springer LNCS, vol 1611, pp 698\u2013706"},{"key":"5_CR134","doi-asserted-by":"crossref","unstructured":"Osmani A., L\u00e9vy F. (2000) A constraint-based approach to simulate faults in telecommunication networks. In: Loganantharaj R., Palm G. (eds) IEA\/AIE. Lecture notes in computer science, vol 1821. Springer, Berlin, pp 463\u2013473","DOI":"10.1007\/3-540-45049-1_56"},{"key":"5_CR135","unstructured":"Picardi C., Bray R., Cascio F., Console L., Dague P., Dressler O., Millet D., Rehfus B., Struss P., Vall\u00e9e C. (2002) IDD: integrating diagnosis in the design of automotive systems. In: Proceedings of the European Conference on Artificial Intelligence, pp 628\u2013632"},{"key":"5_CR136","doi-asserted-by":"crossref","unstructured":"Poupeau B., Bonin O. (2006) 3D Analysis with high-level primitives: a crystallographic approach. In: Progress in spatial data handling, proceedings of SDH\u201906. Springer, Berlin, pp 599\u2013616","DOI":"10.1007\/3-540-35589-8_38"},{"key":"5_CR137","unstructured":"Prior A. (1957) Time and Modality. Clarendon, Oxford"},{"key":"5_CR138","doi-asserted-by":"crossref","unstructured":"Prior A. (1967) Past. Oxford University, Oxford, Present and Future","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"5_CR139","doi-asserted-by":"crossref","unstructured":"Przytula-Machrouh E., Ligozat G., Denis M. (2004) Vers des ontologies transmodales pour la description d\u2019itin\u00e9raires: Le concept de sc\u00e8ne \u00e9l\u00e9mentaire. Revue Internationale de G\u00e9omatique","DOI":"10.3166\/rig.14.285-302"},{"key":"5_CR140","doi-asserted-by":"crossref","unstructured":"Pujari A. K, Kumari G. V, Sattar A. (1999) INDU: an interval and duration network. In: Australian joint conference on Artificial Intelligence, pp 291\u2013303","DOI":"10.1007\/3-540-46695-9_25"},{"key":"5_CR141","doi-asserted-by":"crossref","unstructured":"Raiman O. (1991) Order of magnitude reasoning. Artif. Intell. 51(1\u20133):11\u201338","DOI":"10.1016\/0004-3702(91)90107-U"},{"key":"5_CR142","unstructured":"Randell D., Cui Z., Cohn T. (1992a) An interval logic for space based on connection. In: Neumann B. (ed) Proceedings of ECAI-92. Wiley, New Jersey, pp 394\u2013398"},{"key":"5_CR143","unstructured":"Randell D., Cui Z., Cohn T. (1992b) A spatial logic based on regions and connection. In: Neumann B. (ed) Proceedings of KR-92, CA. Morgan Kaufmann, San Mateo, pp 165\u2013176"},{"key":"5_CR144","unstructured":"Renz J. (1999) Maximal tractable fragments of the region connection calculus: a complete analysis. In: Dean T. (ed) IJCAI. Morgan Kaufmann, USA, pp 448\u2013455"},{"key":"5_CR145","doi-asserted-by":"crossref","unstructured":"Renz J., Nebel B. (2007) Qualitative spatial reasoning using constraint calculi. In [Aiello et\u00a0al. 2007a], pp 161\u2013215","DOI":"10.1007\/978-1-4020-5587-4_4"},{"key":"5_CR146","doi-asserted-by":"crossref","unstructured":"Rosell\u00f3 L., Prats F., Agell N., S\u00e1nchez M. (2010) Measuring consensus in group decisions by means of qualitative reasoning. Int J Approx Reason 51(4):441\u2013452","DOI":"10.1016\/j.ijar.2010.01.002"},{"key":"5_CR147","unstructured":"Ross N., Bradley E., Hertzberg J. (2006) Dynamics-informed data assimilation in a qualitative fluids model. In: Proceedings of the 20th International Workshop on Qualitative Reasoning"},{"key":"5_CR148","doi-asserted-by":"crossref","unstructured":"Sioutis M., Condotta J.-F., Salhi Y., Mazure B. (2015a) Generalized qualitative spatio-temporal reasoning: complexity and tableau method. In: Proceedings of the 24th International Conference automated reasoning with analytic tableaux and related methods (TABLEAUX\u201915), pp 54\u201369","DOI":"10.1007\/978-3-319-24312-2_5"},{"key":"5_CR149","unstructured":"Sioutis M., Li S., Condotta J.-F. (2015b) Efficiently characterizing non-redundant constraints in large real world qualitative spatial networks. In: Proceedings of the twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI\u201915), pp 3229\u20133235"},{"key":"5_CR150","doi-asserted-by":"crossref","unstructured":"Stell J. (2000) Boolean connection algebras: a new approach to the region-connection calculus. Artif. Intell. 122:111\u2013136","DOI":"10.1016\/S0004-3702(00)00045-X"},{"key":"5_CR151","unstructured":"Struss P. (2002) Automated abstraction of numerical simulation models-theory and practical experience. In: Proceedings of the sixteenth International Workshop on Qualitative Reasoning, Sitges, Catalonia, Spain"},{"key":"5_CR152","unstructured":"Struss P., Price C. (2003) Model-based systems in the automotive industry. AI Mag 24(4):17"},{"key":"5_CR153","unstructured":"Struss P., Sterling R., Febres J., Sabir U., Keane M. M. (2014) Combining engineering and qualitative models to fault diagnosis in air handling units. In: Proceedings of the twenty-first European Conference on Artificial Intelligence. IOS, Amsterdam, pp 1185\u20131190"},{"key":"5_CR154","doi-asserted-by":"crossref","unstructured":"Tarski A. (1941) On the calculus of relations. J. Symb. Log 6(3):73\u201389","DOI":"10.2307\/2268577"},{"key":"5_CR155","unstructured":"Top J., Akkermans H.(1991) Computational and physical causality. In: Proceedings of the international joint conference of Artificial Intelligence, pp 1171\u20131176"},{"key":"5_CR156","unstructured":"Trav\u00e9 L., Dormoy J. (1988) Qualitative calculus and applications. In: IMACS transactions on scientific computing\u201988, pp 53\u201361"},{"key":"5_CR157","unstructured":"Trav\u00e9 L., Kaszkurewicz E. (1986) Qualitative controllability and observability of linear dynamical systems. Proceedings of the IFAC\/IFORS Symposium on Large Scale Systems: Theory and Applications 2:964\u2013970"},{"key":"5_CR158","unstructured":"Trav\u00e9-Massuy\u00e9s L., Dague P. (2003) Mod\u00e8les et raisonnements qualitatifs. Herm\u00e8s"},{"key":"5_CR159","unstructured":"Trav\u00e9-Massuy\u00e8s L., Dormoy J. (1990) Num\u00e9ro Sp\u00e9cial sur le Raisonnement Qualitatif. Revue d\u2019Intelligence Artificielle 3\/4"},{"key":"5_CR160","unstructured":"Trav\u00e9-Massuy\u00e8s L., Dormoy J., Guerrin F. (1997) Le raisonnement qualitatif pour les sciences de l\u2019ing\u00e9nieur (coll. Herm\u00e8s, Diagnostic et Maintenance)"},{"key":"5_CR161","unstructured":"Trav\u00e9-Massuy\u00e8s L., Ironi L., Dague P. (2003) Mathematical foundations of qualitative reasoning. AI Mag 24(4):91"},{"key":"5_CR162","doi-asserted-by":"crossref","unstructured":"Trav\u00e9-Massuy\u00e8s L., Milne R. (1997) Gas-turbine condition monitoring using qualitative model-based diagnosis. IEEE Expert Intell Syst Appl 12(3):22\u201331","DOI":"10.1109\/64.590070"},{"key":"5_CR163","unstructured":"Trav\u00e9-Massuy\u00e8s L., Milne R. (2009) Application oriented qualitative reasoning. The Knowledge Engineering Review 10(02):181\u2013204"},{"key":"5_CR164","unstructured":"Trav\u00e9-Massuy\u00e8s L., Piera N. (1989) The orders of magnitude models as qualitative algebras. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence -vol 2. Morgan Kaufmann, USA, pp 1261\u20131266"},{"key":"5_CR165","doi-asserted-by":"crossref","unstructured":"Trav\u00e9-Massuy\u00e8s L, Prats F, S\u00e1nchez M., Agell N. (2005) Relative and absolute order-of-magnitude models unified. Ann Math Artif. Intell. 45(3):323\u2013341","DOI":"10.1007\/s10472-005-9002-1"},{"key":"5_CR166","unstructured":"van Beek P. (1990) Reasoning about qualitative temporal information. In: Proceedings of AAAI-90, Boston, MA, pp 728\u2013734"},{"key":"5_CR167","unstructured":"van Beek P., Manchak D. W. (1996) The design and experimental analysis of algorithms for temporal reasoning. J. Artif. Intell. Res 4:1\u201318"},{"key":"5_CR168","unstructured":"van de Weghe N. (2004) Representing and reasoning about moving objects: a qualitative approach. PhD thesis, Ghent University"},{"key":"5_CR169","unstructured":"Vieu L. (1991) S\u00e9mantique des relations spatiales et inf\u00e9rences spatio-temporelles: Une contribution \u00e0 l\u2019\u00e9tude des structures formelles de l\u2019espace en Langage Naturel. PhD thesis, Universit\u00e9 Paul Sabatier, Toulouse, France"},{"key":"5_CR170","doi-asserted-by":"crossref","unstructured":"Vilain M., Kautz H. A., van Beek P. G. (1989) Constraint propagation algorithms for temporal reasoning: a revised report. In: Weld D, de Kleer J (eds) Readings in qualitative reasoning about physical systems. Morgan Kaufmann, USA","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"},{"key":"5_CR171","unstructured":"Vilain M. B. (1982) A system for reasoning about time. In: Proceedings of AAAI-82, pp 197\u2013201"},{"key":"5_CR172","doi-asserted-by":"crossref","unstructured":"Wallgr\u00fcn J. O., Frommberger L., Wolter D., Dylla F., Freksa C. (2006a). Qualitative spatial representation and reasoning in the sparQ-toolbox. In [Barkowsky et\u00a0al. 2008], pp 39\u201358","DOI":"10.1007\/978-3-540-75666-8_3"},{"key":"5_CR173","doi-asserted-by":"crossref","unstructured":"Wallgr\u00fcn J. O., Frommberger L., Wolter D., Dylla F., Freksa C. (2006b) Qualitative spatial representation and reasoning in the SparQ-toolbox. In [Barkowsky et\u00a0al. 2008], pp 39\u201358","DOI":"10.1007\/978-3-540-75666-8_3"},{"key":"5_CR174","unstructured":"Weld D., de Kleer J. E. (1989) Readings in qualitative reasoning about physical systems. Morgan Kaufmann, San Francisco"},{"key":"5_CR175","unstructured":"Westphal M. (2014) Qualitative Constraint-based Reasoning: methods and applications. PhD thesis, Universitt Freiburg"},{"key":"5_CR176","doi-asserted-by":"crossref","unstructured":"Westphal M., Hu\u00e9 J., W\u00f6lfl S. (2014) On the scope of qualitative constraint calculi. KI 2014 Advances in Artificial Intelligence. Springer, Berlin, pp 207\u2013218","DOI":"10.1007\/978-3-319-11206-0_20"},{"key":"5_CR177","unstructured":"Westphal M., W\u00f6fl S. (2008) Bipath consistency revisited. In: Proceedings of the ECAI workshop on Spatial and Temporal Reasoning"},{"key":"5_CR178","unstructured":"Westphal M., W\u00f6lfl S .(2009) Qualitative CSP, finite CSP, and SAT: comparing methods for qualitative constraint-based reasoning. In [Boutilier 2009], pp 628\u2013633"},{"key":"5_CR179","unstructured":"Williams B., Nayak P. (1996) A model-based approach to reactive self-configuring systems. In: Proceedings of the National Conference on Artificial Intelligence, pp 971\u2013978"},{"key":"5_CR180","unstructured":"Wolter F., Zakharyaschev M. (2000) Spatio-temporal representation and reasoning based on RCC-8. In: Proceedings of the Seventh International Conference KR 2000. Morgan Kaufmann, USA, pp 3\u201314"},{"key":"5_CR181","unstructured":"W\u00fcrbel E., Jeansoulin R., Papini O. (2000) Revision: an application in the framework of GIS. KR 2000:505\u2013515"},{"key":"5_CR182","doi-asserted-by":"crossref","unstructured":"Yang Y., Atif J., Bloch I. (2015) Abductive reasoning using tableau methods for high-level image interpretation. 38th Annual German conference on AI. Dresden, Germany, pp 356\u2013365","DOI":"10.1007\/978-3-319-24489-1_34"},{"key":"5_CR183","unstructured":"Yilmaz O., Say A. (2006) Causes of ineradicable spurious predictions in qualitative simulation. J. Artif. Intell. Res. 27:551\u2013575"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06164-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T08:24:40Z","timestamp":1666513480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06164-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061630","9783030061647"],"references-count":183,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06164-7_5","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}