Výsledky vyhledávání - "Constraint and logic programming"
-
1
Autoři:
Přispěvatelé:
Zdroj: Proceedings of the ACM on Management of Data. 3:1-20
Témata: 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
Popis souboru: application/pdf
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Hardware Optimization, Constraint and logic programming, [INFO] Computer Science [cs], Multiple Constant Multiplication, Constraint Programming, Theory of computation
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.science/hal-05251229v1
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: Constraints. 28:427-449
Témata: [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
Popis souboru: application/pdf
-
4
Autoři:
Přispěvatelé:
Zdroj: 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD 2021)
Témata: 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
Popis souboru: application/pdf
Přístupová URL adresa: 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 -
5
Autoři: a další
Témata: Datalog, compiler optimization, Theory of computation → Constraint and logic programming, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
Popis souboru: 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
-
6
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Computation Theory. 14:1-19
Témata: 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
Popis souboru: application/pdf
Přístupová URL adresa: 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 -
8
Autoři:
Zdroj: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming. :1-14
Témata: 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
Popis souboru: application/pdf
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Computation Theory
47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)Témata: 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
Popis souboru: application/pdf
Přístupová URL adresa: 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 -
10
Autoři: a další
Přispěvatelé: a další
Zdroj: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
ACM Transactions on AlgorithmsTémata: 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
Popis souboru: application/pdf
Přístupová URL adresa: 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 -
11
Autoři: Schiex, Thomas
Přispěvatelé: Schiex, Thomas
Témata: 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]
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.inrae.fr/hal-04556854v1
https://hal.inrae.fr/hal-04556854v1/document -
12
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩Témata: 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]
Geografické téma: Toronto
Time: Toronto, Canada
-
14
Autoři: a další
Přispěvatelé: a další
Témata: Scheduling, Preemptive Resources, Theory of computation → Constraint and logic programming, Computing methodologies → Planning and scheduling, [INFO] Computer Science [cs], ddc:004, Constraint Programming
Popis souboru: application/pdf
Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.19
-
15
Autoři:
Přispěvatelé:
Témata: 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)
Popis souboru: application/pdf
-
16
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩
Témata: 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]
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩
Témata: 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]
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩
Témata: 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]
Geografické téma: Glasgow, United Kingdom
-
20
Autoři:
Přispěvatelé:
Zdroj: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. :78-90
Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Proof theory, Foundational proof certificates, Keywords Skolemization, Constraint and logic programming, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Focusing, Sequent calculus, $λ$Prolog
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.inria.fr/hal-02368946/file/skolem-draft.pdf
https://dl.acm.org/doi/10.1145/3293880.3294094
https://hal.inria.fr/hal-02368946
https://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#ChaudhuriM019
https://doi.org/10.1145/3293880.3294094
https://hal.inria.fr/hal-02368946/document
Nájsť tento článok vo Web of Science 
Full Text Finder