{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:28Z","timestamp":1750306888196,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,16]],"date-time":"2013-01-16T00:00:00Z","timestamp":1358294400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,1,16]]},"DOI":"10.1145\/2460239.2460243","type":"proceedings-article","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T12:19:32Z","timestamp":1365509972000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms"],"prefix":"10.1145","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[{"name":"University of Verona, Verona, Italy"}]},{"given":"Fernando","family":"Jim\u00e9nez","sequence":"additional","affiliation":[{"name":"University of Murcia, Murcia, Spain"}]},{"given":"Gracia","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"University of Murcia, Murcia, Spain"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[{"name":"University of Murcia, Murcia, Spain"}]}],"member":"320","published-online":{"date-parts":[[2013,1,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11803089_22"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89439-1_41"},{"key":"e_1_3_2_1_4_1","first-page":"695","volume-title":"Proc. of the 19th European Conference on Artificial Intelligence (ECAI)","author":"Bresolin D.","year":"2010","unstructured":"D. Bresolin , D. Della Monica , V. Goranko , A. Montanari , and G. Sciavicco . Metric propositional neighborhood logic: Expressiveness, decidability, and undecidability . In Proc. of the 19th European Conference on Artificial Intelligence (ECAI) , pages 695 -- 700 . IOS Press , 2010 . D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Metric propositional neighborhood logic: Expressiveness, decidability, and undecidability. In Proc. of the 19th European Conference on Artificial Intelligence (ECAI), pages 695--700. IOS Press, 2010."},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"Software and Systems Modeling","author":"Bresolin D.","year":"2011","unstructured":"D. Bresolin , D. Della Monica , V. Goranko , A. Montanari , and G. Sciavicco . Metric propositional neighborhood logics on natural numbers . Software and Systems Modeling , pages 1 -- 20 , 2011 . 10.1007\/s10270-011-0195-y. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Metric propositional neighborhood logics on natural numbers. Software and Systems Modeling, pages 1--20, 2011. 10.1007\/s10270-011-0195-y."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.07.003"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-006-9051-0"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1142\/S012905411240028X"},{"key":"e_1_3_2_1_9_1","volume-title":"Evolutionary Algorithms for Solving Multi-Objective Problems (Genetic Algorithms and Evolutionary Computation)","author":"Coello C. C.","year":"2002","unstructured":"C. C. Coello , D. V. Veldhuizen , and G. Lamont . Evolutionary Algorithms for Solving Multi-Objective Problems (Genetic Algorithms and Evolutionary Computation) . Springer , 2002 . C. C. Coello, D. V. Veldhuizen, and G. Lamont. Evolutionary Algorithms for Solving Multi-Objective Problems (Genetic Algorithms and Evolutionary Computation). Springer, 2002."},{"key":"e_1_3_2_1_10_1","volume-title":"Multi-Objective Optimization Using Evolutionary Algorithms","author":"Deb K.","year":"2001","unstructured":"K. Deb . Multi-Objective Optimization Using Evolutionary Algorithms . Wiley , 2001 . K. Deb. Multi-Objective Optimization Using Evolutionary Algorithms. Wiley, 2001."},{"key":"e_1_3_2_1_12_1","volume-title":"Handbook of Theoretical Computer Science","author":"Emerson E. A.","year":"1990","unstructured":"E. A. Emerson . Temporal and modal logic . In J. van Leeuwen, editor, Handbook of Theoretical Computer Science , volume B: Formal Models and Semantics, pages 995-- 1072 . MIT Press , 1990 . E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 995--1072. MIT Press, 1990."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015071400913"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.v22:9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.14.9-54"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1162\/106365602317301763"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"e_1_3_2_1_18_1","first-page":"636","volume-title":"Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"Horrocks I.","year":"1998","unstructured":"I. Horrocks . Using an expressive description logic: Fact or fiction ? In Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR) , pages 636 -- 649 , 1998 . I. Horrocks. Using an expressive description logic: Fact or fiction? In Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 636--649, 1998."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1999.10510981"},{"key":"e_1_3_2_1_20_1","first-page":"713","volume-title":"Proc. of the 8th Computational Intelligence, Theory and Applications International Conference Fuzzy Days","author":"Jim\u00e9nez F.","year":"2004","unstructured":"F. Jim\u00e9nez , G. S\u00e1nchez , J. Cadenas , A. G\u00f3mez-Skarmeta , and J. Verdegay . Nonlinear optimization with fuzzy constraints by multi-objective evolutionary algorithms . In Proc. of the 8th Computational Intelligence, Theory and Applications International Conference Fuzzy Days , pages 713 -- 722 . Springer , 2004 . F. Jim\u00e9nez, G. S\u00e1nchez, J. Cadenas, A. G\u00f3mez-Skarmeta, and J. Verdegay. Nonlinear optimization with fuzzy constraints by multi-objective evolutionary algorithms. In Proc. of the 8th Computational Intelligence, Theory and Applications International Conference Fuzzy Days, pages 713--722. Springer, 2004."},{"key":"e_1_3_2_1_21_1","first-page":"258","volume-title":"Proc. of the 3rd European Workshop on Evolutionary Computation in Combinatorial Optimization","volume":"2611","author":"Jin-Kao H.","year":"2003","unstructured":"H. Jin-Kao , F. Lardeux , and F. Saubion . Evolutionary computing for the satisfiability problem . In Proc. of the 3rd European Workshop on Evolutionary Computation in Combinatorial Optimization , volume 2611 of LNCS, pages 258 -- 268 . Springer , 2003 . H. Jin-Kao, F. Lardeux, and F. Saubion. Evolutionary computing for the satisfiability problem. In Proc. of the 3rd European Workshop on Evolutionary Computation in Combinatorial Optimization, volume 2611 of LNCS, pages 258--268. Springer, 2003."},{"key":"e_1_3_2_1_22_1","first-page":"206","volume-title":"Solving Satisfiability Problems with Genetic Algorithms","author":"Koza J.","year":"2000","unstructured":"J. Koza , editor. Solving Satisfiability Problems with Genetic Algorithms , pages 206 -- 213 . Stanford Bookstore , 2000 . J. Koza, editor. Solving Satisfiability Problems with Genetic Algorithms, pages 206--213. Stanford Bookstore, 2000."},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. of the 20th European Conference on Artificial Intelligence (in publication)","author":"Monica D. D.","year":"2012","unstructured":"D. D. Monica , D. Bresolin , A. Montanari , and G. Sciavicco . Interval temporal logics over finite linear orders:the complete picture . In Proc. of the 20th European Conference on Artificial Intelligence (in publication) , 2012 . D. D. Monica, D. Bresolin, A. Montanari, and G. Sciavicco. Interval temporal logics over finite linear orders:the complete picture. In Proc. of the 20th European Conference on Artificial Intelligence (in publication), 2012."},{"key":"e_1_3_2_1_24_1","first-page":"345","volume-title":"ICALP (2)","author":"Montanari A.","year":"2010","unstructured":"A. Montanari , G. Puppis , and P. Sala . Maximal decidable fragments of Halpern and Shoham's modal logic of intervals . In ICALP (2) , pages 345 -- 356 , 2010 . A. Montanari, G. Puppis, and P. Sala. Maximal decidable fragments of Halpern and Shoham's modal logic of intervals. In ICALP (2), pages 345--356, 2010."},{"key":"e_1_3_2_1_25_1","volume-title":"Sensory Evaluation of Food: Statistical Methods and Procedures","author":"O'Mahony M.","year":"1986","unstructured":"M. O'Mahony . Sensory Evaluation of Food: Statistical Methods and Procedures . CRC Press , 1986 . M. O'Mahony. Sensory Evaluation of Food: Statistical Methods and Procedures. CRC Press, 1986."},{"key":"e_1_3_2_1_26_1","first-page":"87","volume-title":"Proc. of the 11th Description Logics Workshop (DL)","author":"Patel-Schneider P.","year":"1998","unstructured":"P. Patel-Schneider . Dlp system description . In Proc. of the 11th Description Logics Workshop (DL) , pages 87 -- 89 , 1998 . P. Patel-Schneider. Dlp system description. In Proc. of the 11th Description Logics Workshop (DL), pages 87--89, 1998."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622420.1622430"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/335603.335912"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/21.286385"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. of the KI-2001 Workshop on Modal Logic and Artificial Intelligence","author":"Stol M.","year":"2001","unstructured":"M. Stol and M. D. Rijke . Modal logic and local search . In Proc. of the KI-2001 Workshop on Modal Logic and Artificial Intelligence , 2001 . M. Stol and M. D. Rijke. Modal logic and local search. In Proc. of the KI-2001 Workshop on Modal Logic and Artificial Intelligence, 2001."}],"event":{"name":"FOGA '13: Foundations of Genetic Algorithms XII","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Adelaide Australia","acronym":"FOGA '13"},"container-title":["Proceedings of the twelfth workshop on Foundations of genetic algorithms XII"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2460239.2460243","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2460239.2460243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:46Z","timestamp":1750234726000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2460239.2460243"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,16]]},"references-count":29,"alternative-id":["10.1145\/2460239.2460243","10.1145\/2460239"],"URL":"https:\/\/doi.org\/10.1145\/2460239.2460243","relation":{},"subject":[],"published":{"date-parts":[[2013,1,16]]},"assertion":[{"value":"2013-01-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}