{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:15Z","timestamp":1762459275753},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,4,16]],"date-time":"2015-04-16T00:00:00Z","timestamp":1429142400000},"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":["Acta Informatica"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s00236-015-0228-z","type":"journal-article","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T05:03:54Z","timestamp":1429074234000},"page":"149-170","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Optimization in temporal qualitative constraint networks"],"prefix":"10.1007","volume":"53","author":[{"given":"Jean-Fran\u00e7ois","family":"Condotta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Souhila","family":"Kaci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yakoub","family":"Salhi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"228_CR1","unstructured":"Allen, J.F.: An interval-based representation of temporal knowledge. In: IJCAI (1981)"},{"issue":"11","key":"228_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"228_CR3","unstructured":"Amaneddine, N., Condotta, J.-F., Sioutis, M.: 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 Aug (2013)"},{"key":"228_CR4","doi-asserted-by":"crossref","unstructured":"Avron, A.: A tableau system for G\u00f6del\u2013Dummett logic based on a hypersequent calculus. In: TABLEAUX, pp. 98\u2013111 (2000)","DOI":"10.1007\/10722086_11"},{"key":"228_CR5","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Cut elimination for first order G\u00f6del logic by hyperclause resolution. In: LPAR, pp. 451\u2013466 (2008)","DOI":"10.1007\/978-3-540-89439-1_32"},{"key":"228_CR6","volume-title":"Foundations of Constructive Mathematics. Modern Surveys in Mathematics","author":"MJ Beeson","year":"1984","unstructured":"Beeson, M.J.: Foundations of Constructive Mathematics. Modern Surveys in Mathematics. Springer, Berlin (1984)"},{"key":"228_CR7","doi-asserted-by":"crossref","unstructured":"Boutilier, C.: Toward a logic for qualitative decision theory. In: KR\u201994, pp. 75\u201386 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50104-4"},{"key":"228_CR8","unstructured":"Condotta, J.-F., Kaci, S.: Compiling preference queries in qualitative constraint problems. (\u00e0 paraitre). In: Proceedings of the 26th International FLAIRS Conference (FLAIRS\u201913) (to appear) (2013)"},{"issue":"2","key":"228_CR9","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0004-3702(98)00093-9","volume":"106","author":"T Drakengren","year":"1998","unstructured":"Drakengren, T., Jonsson, P.: A complete classification of tractability in Allen\u2019s algebra relative to subsets of basic relations. Artif. Intell. 106(2), 205\u2013219 (1998)","journal-title":"Artif. Intell."},{"issue":"2","key":"228_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. J. Symb. Log. 24(2), 97\u2013106 (1959)","journal-title":"J. Symb. Log."},{"key":"228_CR11","volume-title":"Computers and Intractibility, A Guide to the Theory of NP-Completeness","author":"MR Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractibility, A Guide to the Theory of NP-Completeness. Freeman, New York (1979)"},{"key":"228_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"The Metamathematics of Fuzzy Logic","author":"P Hajek","year":"1998","unstructured":"Hajek, P.: The Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"228_CR13","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1016\/j.artint.2012.09.009","volume":"195","author":"J Huang","year":"2013","unstructured":"Huang, J., Li, J.J., Renz, J.: Decomposition and tractability in qualitative spatial and temporal reasoning. Artif. Intell. 195, 140\u2013164 (2013)","journal-title":"Artif. Intell."},{"issue":"1","key":"228_CR14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10479-008-0331-4","volume":"163","author":"S Kaci","year":"2008","unstructured":"Kaci, S., van der Torre, L.: Reasoning with various kinds of preferences: logic, non-monotonicity and algorithms. Ann. Oper. Res. 163(1), 89\u2013114 (2008)","journal-title":"Ann. Oper. Res."},{"key":"228_CR15","doi-asserted-by":"crossref","unstructured":"Larchey-Wendling, D.: Counter-model search in G\u00f6del\u2013dummett logics. In: IJCAR, pp. 274\u2013288 (2004)","DOI":"10.1007\/978-3-540-25984-8_19"},{"key":"228_CR16","doi-asserted-by":"crossref","unstructured":"Larchey-Wendling, D.: Bounding resource consumption with G\u00f6del\u2013Dummett logics. In: LPAR, pp. 682\u2013696 (2005)","DOI":"10.1007\/11591191_47"},{"key":"228_CR17","unstructured":"Ligozat, G.F.: On generalized interval calculi. In: Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI\u201991), pp. 234\u2013240. American Association for Artificial Intelligence (July 1991)"},{"key":"228_CR18","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artif. Intell. 8, 99\u2013118 (1977)","journal-title":"Artif. Intell."},{"key":"228_CR19","doi-asserted-by":"crossref","unstructured":"Nebel, B.: Solving hard qualitative temporal reasoning problems: evaluating the efficienty of using the ORD-Horn class. In: ECAI (1996)","DOI":"10.1007\/BF00137869"},{"key":"228_CR20","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B Nebel","year":"1995","unstructured":"Nebel, B., B\u00fcrckert, H.-J.: Reasoning about temporal relations: a maximal tractable subclass of Allen\u2019s interval algebra. JACM 42, 43\u201366 (1995)","journal-title":"JACM"},{"key":"228_CR21","first-page":"1","volume":"517","author":"K N\u00f6kel","year":"1991","unstructured":"N\u00f6kel, K.: Temporally distributed symptoms in technical diagnosis. LNCS 517, 1\u2013184 (1991)","journal-title":"LNCS"},{"key":"228_CR22","doi-asserted-by":"crossref","unstructured":"N\u00f6kel, K.: Temporally Distributed Symptoms in Technical Diagnosis, vol. 517 of Lecture Notes in Computer Science. Springer, Berlin(1991)","DOI":"10.1007\/3-540-54316-3"},{"key":"228_CR23","doi-asserted-by":"crossref","unstructured":"Renz, J., Ligozat, G.: Weak composition for qualitative spatial and temporal reasoning. In: Proceedings of the 11th International Conference Principles and Practice of Constraint Programming (CP\u201905), Sitges, Spain, vol. 3709 of Lecture Notes in Computer Science, pp. 534\u2013548 (2005)","DOI":"10.1007\/11564751_40"},{"issue":"1","key":"228_CR24","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.dam.2004.06.026","volume":"147","author":"AN The","year":"2005","unstructured":"The, A.N., Tsouki\u00e0s, A.: Numerical representation of PQI interval orders. Discrete Appl. Math. 147(1), 125\u2013146 (2005)","journal-title":"Discrete Appl. Math."},{"key":"228_CR25","volume-title":"Constructivism in Mathematics, an Introduction. Studies in Logic and the Foundations of Mathematics","author":"AS Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, an Introduction. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1988)"},{"key":"228_CR26","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1990.tb00130.x","volume":"6","author":"P Beek Van","year":"1990","unstructured":"Van Beek, P., Cohen, R.: Exact and approximate reasoning about temporal relations. Comput. Intell. 6, 133\u2013144 (1990)","journal-title":"Comput. Intell."},{"key":"228_CR27","unstructured":"Vilain, M., Kautz, H.: Constraint Propagation Algorithms for Temporal Reasoning. In: Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI\u201986), pp. 377\u2013382 (1986)"},{"key":"228_CR28","doi-asserted-by":"crossref","unstructured":"Vilain, M., Kautz, H., van Beek, P.: Constraint propagation algorithms for temporal reasoning: a revised report. In: Weld, D.S., de Kleer, J. (eds.) Readings in Qualitative Reasoning about Physical Systems, pp. 373\u2013381. Morgan-Kaufman, San Mateo, CA (1989)","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0228-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-015-0228-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0228-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T11:43:55Z","timestamp":1717847035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-015-0228-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,16]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["228"],"URL":"https:\/\/doi.org\/10.1007\/s00236-015-0228-z","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,16]]}}}