-
1Academic Journal
Contributors: Thomazo, Michaël
Source: Proceedings of the ACM on Management of Data. 3:1-20
Subject Terms: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability
File Description: application/pdf
-
2Conference
Contributors: Solnon, Christine
Subject Terms: Hardware Optimization, Constraint and logic programming, [INFO] Computer Science [cs], Multiple Constant Multiplication, Constraint Programming, Theory of computation
File Description: application/pdf
Access URL: https://hal.science/hal-05251229v1
-
3Academic Journal
Contributors: Christian Bessiere and Clément Carbonnel and Martin C. Cooper and Emmanuel Hebrard, Gouat, Isabelle, Carbonnel, Clément, Solnon, Christine, Agents, Apprentissage, Contraintes (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université de Toulouse (UT), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 101070149,TUPLES, European Project: 952215,TAILOR(2020)
Source: Constraints. 28:427-449
Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Theory of computation → Problems, reductions and completeness, constraint propagation, Minimum explanations, Complexity, Constraint propagation, minimum explanations, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Theory of computation → Fixed parameter tractability, Theory of computation → Constraint and logic programming, Fixed parameter tractability, Constraint programming, Constraint and logic programming, ddc:004, complexity
File Description: application/pdf
-
4Academic Journal
Authors: Vukmirović, Petar, Blanchette, Jasmin, Heule, Marijn
Contributors: Blanchette, Jasmin
Source: 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD 2021)
Subject Terms: superposition calculus, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], SAT solving, formal methods, hardware and system verification, formale Methode, Theory of computation → Automated reasoning, rechnerunterstützte Systementwicklung, 02 engineering and technology, [INFO] Computer Science [cs], CCS Concepts: Theory of computation → Automated reasoning Logic and verification Constraint and logic programming Theorem proving, Hardwareverifikation, CCS Concepts, Constraint and logic programming Theorem proving, 0202 electrical engineering, electronic engineering, information engineering, Logic and verification, computer-aided system design, Theorem proving, first-order logic
File Description: application/pdf
Access URL: https://research.vu.nl/en/publications/593885b3-4f56-4c70-ac7b-c9e90a040e25
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_32
https://hdl.handle.net/1871.1/593885b3-4f56-4c70-ac7b-c9e90a040e25
https://hdl.handle.net/1871.1/2d1c8438-6ae4-4102-acdc-b0671fc22cda
https://doi.org/10.1145/3565366
https://research.vu.nl/en/publications/2d1c8438-6ae4-4102-acdc-b0671fc22cda
https://inria.hal.science/hal-03485200v1/document
https://inria.hal.science/hal-03485200v1
https://doi.org/10.5281/zenodo.4552499
https://inria.hal.science/hal-04298574v1
https://doi.org/10.1145/3565366
https://inria.hal.science/hal-04298574v1/document -
5Academic Journal
Subject Terms: Datalog, compiler optimization, Theory of computation → Constraint and logic programming, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
File Description: application/pdf
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-8-33-132289-3; https://publikationen.bibliothek.kit.edu/1000187537; https://publikationen.bibliothek.kit.edu/1000187537/170103974; https://doi.org/10.5445/IR/1000187537/v2
-
6Report
Authors: Belle, Vaishak, Benedikt, Michael, Drachsler-Cohen, Dana, Neider, Daniel, Yuviler, Tom, Yang, Hongseok, Barceló, Pablo, Raedt, Luc De, Geerts, Floris, Girard-Satabin, Julien, Giunchiglia, Eleonora, Lukina, Anna, Meyer, Pierre-Jean, Ritzert, Martin, Singh, Gagandeep, Solar-Lezama, Armando, Stoian, Mihaela, Tena, David, Urban, Caterina, Zombori, Zsolt, van Krieken, Emile
Contributors: Girard-Satabin, Julien
Subject Terms: safety, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], logic, computational complexity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], databases, Computing methodologies → Logical and relational learning, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [INFO] Computer Science [cs], General and reference → Surveys and overviews, Computing methodologies → Machine learning approaches, machine learning, Computing methodologies → Artificial intelligence, learning theory, Theory of computation → Models of learning, Theory of computation → Constraint and logic programming, Theory of computation → Modal and temporal logics, verification
File Description: application/pdf
-
7Academic Journal
Authors: Nakajima, Tamio-Vesa, Živný, Stanislav
Contributors: Tamio-Vesa Nakajima and Stanislav Živný, Bojańczyk, Mikołaj, Merelli, Emanuela, Woodruff, David P.
Source: ACM Transactions on Computation Theory. 14:1-19
Subject Terms: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), Theory of computation → Design and analysis of algorithms, Theory of computation → Problems, reductions and completeness, 0102 computer and information sciences, Computational Complexity (cs.CC), promise constraint satisfaction, algebraic approach, 01 natural sciences, PCSP, minions, Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms, Theory of computation → Constraint and logic programming, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO), ddc:004, hypegraph colourings, polymorphisms, Computer Science - Discrete Mathematics
File Description: application/pdf
Access URL: http://arxiv.org/abs/2204.05628
https://ora.ox.ac.uk/objects/uuid:aeb2c090-f064-478a-81c3-bb2ac8df1192
https://doi.org/10.1145/3570909
https://ora.ox.ac.uk/objects/uuid:86b24d89-ef66-45f8-8a80-8f7507eb601d
https://doi.org/10.4230/lipics.icalp.2022.128
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.128 -
8Academic Journal
Source: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming. :1-14
Subject Terms: Programming Languages and Compilers, Applied computing, 0202 electrical engineering, electronic engineering, information engineering, Constraint and logic programming, Automated reasoning, 0102 computer and information sciences, 02 engineering and technology, Science and Technology Law, 16. Peace & justice, Law, 01 natural sciences, Theory of computation
File Description: application/pdf
-
9Academic Journal
Authors: Brandts, Alex, Wrochna, Marcin, Živný, Stanislav
Contributors: Alex Brandts and Marcin Wrochna and Stanislav Živný, Artur Czumaj, Anuj Dawar, Emanuela Merelli
Source: ACM Transactions on Computation Theory
47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)Subject Terms: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), G.2.1, F.2.2, Theory of computation → Problems, reductions and completeness, 0102 computer and information sciences, Computational Complexity (cs.CC), promise constraint satisfaction, algebraic approach, 16. Peace & justice, 01 natural sciences, PCSP, label cover, Computer Science - Computational Complexity, Theory of computation → Constraint and logic programming, 68R05, 68Q17, ddc:004, polymorphisms, Computer Science - Discrete Mathematics
File Description: application/pdf
Access URL: http://arxiv.org/pdf/1911.09065
http://arxiv.org/abs/1911.09065
https://drops.dagstuhl.de/opus/volltexte/2020/12424/pdf/LIPIcs-ICALP-2020-17.pdf/
https://dblp.uni-trier.de/db/conf/icalp/icalp2020.html#BrandtsWZ20
https://doi.org/10.4230/LIPIcs.ICALP.2020.17
https://drops.dagstuhl.de/opus/volltexte/2020/12424/
https://arxiv.org/abs/1911.09065
https://dblp.uni-trier.de/db/journals/corr/corr1911.html#abs-1911-09065
https://doi.org/10.1145/3470867
http://arxiv.org/pdf/1911.09065.pdf
http://ui.adsabs.harvard.edu/abs/2019arXiv191109065B/abstract
https://dl.acm.org/doi/10.1145/3470867
https://arxiv.org/pdf/1911.09065v3
https://arxiv.org/abs/1911.09065
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.17 -
10Academic Journal
Authors: Viola, Caterina, Živný, Stanislav
Contributors: Caterina Viola and Stanislav Živný, Javier Esparza, Daniel Kráľ
Source: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
ACM Transactions on AlgorithmsSubject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Discrete Mathematics (cs.DM), Valued constraint satisfaction, Theory of computation → Problems, reductions and completeness, valued constraint satisfaction, 0102 computer and information sciences, Computational Complexity (cs.CC), promise constraint satisfaction, 16. Peace & justice, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Computational Complexity, Promise constraint satisfaction, Convex relaxations, Computer Science - Data Structures and Algorithms, Theory of computation → Constraint and logic programming, Data Structures and Algorithms (cs.DS), ddc:004, convex relaxations, 0101 mathematics, Polymorphisms, polymorphisms, Computer Science - Discrete Mathematics
File Description: application/pdf
Access URL: https://drops.dagstuhl.de/opus/volltexte/2020/12756/pdf/LIPIcs-MFCS-2020-85.pdf
http://arxiv.org/abs/2007.01779
http://ui.adsabs.harvard.edu/abs/2020arXiv200701779V/abstract
https://arxiv.org/pdf/2007.01779.pdf
https://arxiv.org/abs/2007.01779
https://dl.acm.org/doi/10.1145/3458041
https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-01779
https://ora.ox.ac.uk/objects/uuid:6bab5669-9398-485d-877c-5bcff547c546
https://doi.org/10.1145/3458041
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.85
https://hdl.handle.net/20.500.11769/605674
https://doi.org/10.4230/LIPIcs.MFCS.2020.85 -
11Conference
Authors: Schiex, Thomas
Contributors: Schiex, Thomas
Subject Terms: random Markov fields, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], constraint programming, Computing methodologies → Learning graphical models, deep learning, constraint programming, cost function networks, random Markov fields, decision-focused learning, protein design .CP.2023, decision-focused learning, 2012 ACM Subject Classification Computing methodologies → Artificial intelligence, deep learning, 2012 ACM Subject Classification Computing methodologies → Artificial intelligence Computing methodologies → Machine learning Theory of computation → Constraint and logic programming Computing methodologies → Learning graphical models, deep learning, constraint programming, cost function networks, random Markov fields, decision-focused learning, protein design .CP.2023, [INFO] Computer Science [cs], Computing methodologies → Artificial intelligence, [INFO.INFO-BT] Computer Science [cs]/Biotechnology, Computing methodologies → Machine learning, Computing methodologies → Learning in probabilistic graphical models, graphical models, cost function networks, Theory of computation → Constraint and logic programming, protein design, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]
File Description: application/pdf
-
12Conference
Authors: Povéda, Guillaume, Alvarez, Nahum, Artigues, Christian
Contributors: Guillaume Povéda and Nahum Alvarez and Christian Artigues, Artigues, Christian
Subject Terms: large neighborhood search, constraint programming, Applied computing → Industry and manufacturing, 2012 ACM Subject Classification Computing methodologies → Planning and scheduling Applied computing → Industry and manufacturing Theory of computation → Optimization with randomized search heuristics Theory of computation → Constraint and logic programming phrases Large-scale scheduling problem, Large-scale scheduling problem, [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], multi-mode, Theory of computation → Constraint and logic programming, Theory of computation → Optimization with randomized search heuristics, Computing methodologies → Planning and scheduling, Theory of computation → Constraint and logic programming phrases Large-scale scheduling problem, partial preemption, multi-skill, ddc:004, resource calendars
File Description: application/pdf
-
13Conference
Contributors: Université Côte d'Azur (UniCA), This work has been supported by the French government, through the 3IA Côte d’Azur Investments in the Future project managed by the National Research Agency (ANR) with the reference number ANR-19-P3IA-0002., Yap, Roland H. C., ANR-19-P3IA-0002,3IA@cote d'azur,3IA Côte d'Azur(2019)
Source: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
https://hal.science/hal-04241596
29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. pp.24:1--24:15, ⟨10.4230/LIPIcs.CP.2023.24⟩Subject Terms: 2012 ACM Subject Classification Applied computing → Multi-criterion optimization and decisionmaking, 2012 ACM Subject Classification Applied computing → Multi-criterion optimization and decisionmaking Theory of computation → Constraint and logic programming Mathematics of computing → Decision diagrams phrases Constraint Programming, Global Constraint, MDD, Multi-Objective Problem, Pareto Constraint, Theory of computation → Constraint and logic programming, Mathematics of computing → Decision diagrams phrases Constraint Programming, Constraint Programming, Mathematics of computing → Decision diagrams, Applied computing → Multi-criterion optimization and decision-making, [INFO]Computer Science [cs]
Subject Geographic: Toronto
Time: Toronto, Canada
-
14Conference
Authors: Juvin, Carla, Hebrard, Emmanuel, Houssin, Laurent, Lopez, Pierre
Contributors: Carla Juvin and Emmanuel Hebrard and Laurent Houssin and Pierre Lopez, Hebrard, Emmanuel
Subject Terms: Scheduling, Preemptive Resources, Theory of computation → Constraint and logic programming, Computing methodologies → Planning and scheduling, [INFO] Computer Science [cs], ddc:004, Constraint Programming
File Description: application/pdf
-
15Academic Journal
Authors: Payet, Etienne
Contributors: Payet, Etienne, Akihisa Yamada
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic Programming, Logic in Computer Science, Constraint and logic programming, Program analysis phrases Non-Termination, Term Rewriting, Theory of computation, Rewrite systems, Logic in Computer Science (cs.LO)
File Description: application/pdf
-
16Academic Journal
Authors: Mengel, Stefan
Contributors: Mengel, Stefan, Meena Mahajan, Friedrich Slivovsky, Stefan Mengel
Subject Terms: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, Complexity, Binary Decision Diagrams, [INFO] Computer Science [cs], Computational Complexity (cs.CC), Computer Science - Computational Complexity, Artificial Intelligence (cs.AI), Bucket Elimination, Theory of computation → Constraint and logic programming, Theory of computation → Proof complexity, ddc:004, Satisfiability
File Description: application/pdf
-
17Conference
Authors: Salhi, Yakoub, Sioutis, Michael
Contributors: Université d'Artois (UA), Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), Agents, Apprentissage, Contraintes (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Perpignan Via Domitia (UPVD)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Université de Montpellier Paul-Valéry (UMPV)-Université de Perpignan Via Domitia (UPVD)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Université de Montpellier Paul-Valéry (UMPV)
Source: TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning ; https://univ-artois.hal.science/hal-04285264 ; TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning, Sep 2023, Athènes, Greece. pp.5:1-5:14, ⟨10.4230/LIPIcs.TIME.2023.5⟩
Subject Terms: Spatial and Temporal Reasoning, Qualitative Constraints, Prime Scenario, Prime Implicant, Robustness Measurement, Constraint and logic programming, Temporal reasoning, Spatial and physical reasoning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
18Conference
Authors: Sioutis, Michael
Contributors: Agents, Apprentissage, Contraintes (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
Source: TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning ; https://hal.science/hal-04290605 ; TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning, Sep 2023, Athènes, Greece. pp.12:1-12:12, ⟨10.4230/LIPICS.TIME.2023.12⟩
Subject Terms: Temporal reasoning, Spatial and Temporal Reasoning, Qualitative Constraints, Inconsistency Resolution, Maximizing Satisfiability, Greedy Algorithm, Partial MaxSAT Solver, Constraint and logic programming, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
19Conference
Authors: Khoualdia, Asma, Cherif, Sami, Devismes, Stéphane, Robert, Léo
Contributors: Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), ANR-22-CE25-0008,SKYDATA,Un nouveau paradigme de donnée: Les données autononomes et intelligentes(2022), ANR-24-CE23-6126,BforSAT,Branchement pour SAT et au-delà(2024)
Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 31st International Conference on Principles and Practice of Constraint Programming (CP 2025) ; https://hal.science/hal-05203873 ; 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.19:1--19:21, ⟨10.4230/LIPIcs.CP.2025.19⟩
Subject Terms: Theory of computation → Logic and verification, Theory of computation → Constraint and logic programming, Theory of computation → Distributed algorithms, Satisfiability, Synchronous Unison, Self-stabilization, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Glasgow, United Kingdom
-
20eBook
Authors: Kostylev, Egor V.Aff10
Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Manna, Marco, editorAff8, Pieris, Andreas, editorAff9
Source: Reasoning Web. Declarative Artificial Intelligence : 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures. 12258:186-222