Publicaciones (49) Publicaciones de CARLOS MENCIA CASCALLANA

2023

  1. Efficient Reasoning about Infeasible One Machine Sequencing

    Proceedings International Conference on Automated Planning and Scheduling, ICAPS

  2. Surrogate model for memetic genetic programming with application to the one machine scheduling problem with time-varying capacity

    Expert Systems with Applications, Vol. 233

2020

  1. Exhaustive search of priority rules for on-line scheduling

    Frontiers in Artificial Intelligence and Applications

  2. Reasoning About Inconsistent Formulas

    Proceedings of the twenty-ninth International Joint Conference on Artificial Intelligence

  3. Reasoning About Strong Inconsistency in ASP

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Reasoning about inconsistent formulas

    IJCAI International Joint Conference on Artificial Intelligence

2019

  1. Computing Shortest Resolution Proofs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Evolving priority rules for on-line scheduling of jobs on a single machine with variable capacity over time

    Applied Soft Computing Journal, Vol. 85

  3. On Computing the Union of MUSes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Repairing Infeasibility in Scheduling via Genetic Algorithms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. Repairing infeasibility in scheduling via genetic algorithms

    From Bioinspired Systems and Biomedical Applications to Machine Learning: 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II (Springer Suiza), pp. 254-263

2018

  1. Evolutionary one-machine scheduling in the context of electric vehicles charging

    Integrated Computer-Aided Engineering, Vol. 26, Núm. 1, pp. 49-63

  2. Genetic programming to evolve priority rules for on-line scheduling on single machine with variable capacity

    XVIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2018): avances en Inteligencia Artificial. 23-26 de octubre de 2018 Granada, España