Výsledky vyhledávání - Constraint Logic Programming on Finite Domains~

Constraint functional logic programming over finite domains

Autoři: Fernando Sáenz-Pérez Rafael del Vado-Virseda Antonio J. Fernández a další

Zdroj: Theory and Practice of Logic Programming. 7:537-582

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, D.3.2, D.3.3, 0202 electrical engineering, electronic engineering, information engineering, F.3.2, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/cs/0601071
http://arxiv.org/abs/cs/0601071

Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains

Autoři: Ahmet Serkan Karatas Ali H. Dogru Halit Oğuztüzün

Zdroj: Lecture Notes in Computer Science ISBN: 9783642155789

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-642-15579-6_20
https://link.springer.com/chapter/10.1007%2F978-3-642-15579-6_20
https://dblp.uni-trier.de/db/conf/splc/splc2010.html#KaratasOD10
https://doi.org/10.1007/978-3-642-15579-6_20

Constraint Functional Logic Programming over Finite Domains

Autoři: Fernandez, Antonio J. Hortala-Gonzalez, Teresa Saenz-Perez, Fernando a další

Témata: Computer Science - Programming Languages, D.3.2, D.3.3, F.3.2, text

URL: http://arxiv.org/abs/cs/0601071

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)

Autoři: GAVANELLI, Marco NONATO, Maddalena PEANO, Andrea a další

Zdroj: Theory and Practice of Logic Programming. 17:800-818

Témata: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Answer set programming, Constrained optimization, Constraint logic programming on finite domains, Logic programming applications, Optical networks-on-chip, Software, Theoretical Computer Science, Hardware and Architecture, Computational Theory and Mathematics, Artificial Intelligence

Popis souboru: application/pdf

Přístupová URL adresa: https://arxiv.org/pdf/1707.05858.pdf
http://arxiv.org/abs/1707.05858
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-approaches-for-routing-faultfree-and-maximally-parallel-wavelengthrouted-optical-networksonchip-application-paper/3B6AA94871448FE7F83599A77AFF9942
https://ui.adsabs.harvard.edu/abs/2017arXiv170705858G/abstract
https://www.cambridge.org/core/product/identifier/S1471068417000424/type/journal_article
https://iris.unife.it/handle/11392/2377408
https://arxiv.org/abs/1707.05858
http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#GavanelliNPB17
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/logic-programming-approaches-for-routing-faultfree-and-maximally-parallel-wavelengthrouted-optical-networksonchip-application-paper/3B6AA94871448FE7F83599A77AFF9942#access-block
https://hdl.handle.net/11392/2377408
https://doi.org/10.1017/S1471068417000424

Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains

Autoři: Jose Manuel Gomez-Perez Susana Munoz-Hernandez

Zdroj: Lecture Notes in Computer Science ISBN: 9783540236641

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/otm/otm2004.html#Munoz-HernandezG04
https://rd.springer.com/chapter/10.1007/978-3-540-30470-8_3
https://link.springer.com/chapter/10.1007/978-3-540-30470-8_3
https://link.springer.com/content/pdf/10.1007/978-3-540-30470-8_3.pdf

CLPGUI: a generic graphical user interface for constraint logic programming over finite domains

Autoři: Fages, Francois

Témata: Computer Science - Software Engineering, D.1.6, D.2.5, D.2.6, F.4.1, I.2.3, text

URL: http://arxiv.org/abs/cs/0207048

Operational semantics of constraint logic programming over finite domains

Autoři: Pascal Van Hentenryck Yves Deville

Zdroj: Lecture Notes in Computer Science ISBN: 9783540544449

Přístupová URL adresa: https://link.springer.com/chapter/10.1007%2F3-540-54444-5_115
https://link.springer.com/content/pdf/10.1007%2F3-540-54444-5_115.pdf
https://rd.springer.com/chapter/10.1007%2F3-540-54444-5_115
https://dblp.uni-trier.de/db/conf/plilp/plilp91.html#HentenryckD91

Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem

Autoři: Bertagnon A. Gavanelli M. Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati a další

Přispěvatelé: Bertagnon A. Gavanelli M. Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati a další

Témata: alldifferent constraint, circuit constraint, Constraint Logic Programming on Finite Domain, Global constraint, Hamiltonian Circuit Problem, Constraint Logic Programming on Finite Domains, Global constraints

Popis souboru: ELETTRONICO

Relation: ispartofbook:AI4CC-IPS-RCRA-SPIRIT 2024: International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy.; 31st RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion; volume:3883; firstpage:118; lastpage:128; numberofpages:11; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati; https://hdl.handle.net/11392/2577814

Dostupnost: https://hdl.handle.net/11392/2577814
https://ceur-ws.org/Vol-3883/paper2_RCRA7.pdf

Constraint functional logic programming over finite domains.

Autoři: FERNÁNDEZ, ANTONIO J. HORTALÁ-GONZÁLEZ, TERESA SÁENZ-PÉREZ, FERNANDO a další

Zdroj: Theory & Practice of Logic Programming; Sep2007, Vol. 7 Issue 5, p537-582, 46p

Témata: LOGIC programming languages, LOGIC programming, CONSTRAINT satisfaction, FUNCTIONAL programming (Computer science), FUNCTIONAL programming languages, ARTIFICIAL intelligence, COMPUTER science

Constraint Functional Logic Programming over Finite Domains.

Autoři: Antonio J Fernández Dpto De The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Antonio J Fernández Dpto De The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.lcc.uma.es/%7Eafdez/Papers/tplp2007.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1079.2127; http://www.lcc.uma.es/%7Eafdez/Papers/tplp2007.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1079.2127
http://www.lcc.uma.es/%7Eafdez/Papers/tplp2007.pdf

Multivalued Action Languages with Constraints in CLP(FD)

Autoři: DOVIER, Agostino FORMISANO A. PONTELLI E.

Zdroj: Lecture Notes in Computer Science ISBN: 9783540746089

Témata: Action description languages, Constraint logic programming, Knowledge representation, Planning, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Action Description Languages, Knowledge Representation, Constraint Logic Programming, Action description languages, Action languages, CLP (FD), Conditional effects, Constraint logic programming (CLIP), Finite domains, Heidelberg (CO), international conferences, Planning Domains, prototype implementations

Popis souboru: application/pdf

Přístupová URL adresa: http://www.dimi.uniud.it/dovier/PAPERS/iclp07.pdf
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068410000013
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/multivalued-action-languages-with-constraints-in-clpfd1/006C2429E96E7BA9C8B4E1532A670D9E
http://www.dimi.uniud.it/dovier/PAPERS/iclp07.pdf
https://link.springer.com/chapter/10.1007/978-3-540-74610-2_18
https://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#DovierFP07
http://www.dmi.unipg.it/~formis/iclp07.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_18
https://link.springer.com/content/pdf/10.1007%2F978-3-540-74610-2_18.pdf
https://hdl.handle.net/11390/881936
https://hdl.handle.net/11391/172863
https://doi.org/10.1007/978-3-540-74610-2_18
https://hdl.handle.net/11391/172227
https://doi.org/10.1017/S1471068410000013

CLPGUI: a generic graphical user interface for constraint logic programming over finite domains

Autoři: François Fages The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: François Fages The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/cs/0207048v1.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1445; http://arxiv.org/pdf/cs/0207048v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1445
http://arxiv.org/pdf/cs/0207048v1.pdf

Answer Set Programming with Constraints Using Lazy Grounding

Autoři: DAL PALU' Alessandro DOVIER, Agostino PONTELLI Enrico a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783642028458

Témata: Answer set programming, Arithmetic constraints, Computation model, Constraint Logic Programming, Finite domains, Novel methodology, Stable model

Přístupová URL adresa: https://link.springer.com/10.1007/978-3-642-02846-5_14
https://link.springer.com/chapter/10.1007%2F978-3-642-02846-5_14
https://rd.springer.com/chapter/10.1007%2F978-3-642-02846-5_14
https://dblp.uni-trier.de/db/conf/iclp/iclp2009.html#PaluDPR09
http://cmt.math.unipr.it/papers/ICLP09.pdf

A Prolog assisted search for new simple Lie algebras.

Autoři: Cushing, David Stagg, George W. Stewart, David I.

Zdroj: Mathematics of Computation; May2024, Vol. 93 Issue 347, p1473-1495, 23p

Témata: LIE algebras, CONSTRAINT programming, LOGIC programming, ALGEBRA

Study of the Compilation of Contraint Logic Programming Languages over Finite Domains: the clp(FD) system

Autoři: Diaz, Daniel

Přispěvatelé: Diaz, Daniel

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], constraint programming, finite domaines, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic Programming, programmation par contraintes, Programmation Logique, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], concurrent languages, Intelligence Artificielle, Artificial Intelligence, domaines finis, langages concurrents, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Prolog, booleans, implantation, booleens, implementation

Popis souboru: application/pdf

Přístupová URL adresa: https://theses.hal.science/tel-00981853v1

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Autoři: Queralt, Anna Artale, Alessandro Calvanese, Diego a další

Zdroj: Data & Knowledge Engineering. Mar2012, Vol. 73, p1-22. 22p.

Témata: *Information resources management, *Programming languages, Unified modeling language, Object-oriented programming languages, Finite element method software, Description logics, Computer software correctness, Domain-specific programming languages

Global Constraints on Feature Models

Autoři: KARATAS, Ahmet Serkan OGUZTUZUN, Halit Doğru, Ali Hikmet

Témata: Global constraints, Feature models, Constraint logic programming over finite domains

Relation: 78149235541; https://hdl.handle.net/11511/35376; 6308; WOS:000286485800043

Dostupnost: https://hdl.handle.net/11511/35376
https://doi.org/10.1007/978-3-642-15396-9_43

Constraint logic programming for examination timetabling

Autoři: Yan Delon Patrice Boizumault Laurent Péridy

Zdroj: The Journal of Logic Programming. 26:217-233

Témata: constraint logic programming, Computing methodologies and applications, Logic, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic programming

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1001272
https://doi.org/10.1016/0743-1066(95)00100-x
https://www.sciencedirect.com/science/article/pii/074310669500100X
https://doi.org/10.1016/0743-1066(95)00100-X
https://recherche.uco.fr/sites/default/files/fichiersbibliographiques/fichier-434-326.pdf
https://dblp.uni-trier.de/db/journals/jlp/jlp26.html#BoizumaultDP96
https://recherche.uco.fr/publication/ID-UCO-434

Functional and Cost-Based Automatic Generator for Hybrid Vehicles Topologies

Autoři: M Maarten Steinbuch Emilia Silvas Theo Hofman a další

Zdroj: IEEE/ASME Transactions on Mechatronics. 20:1561-1572

Témata: constraint logic programming over finite domains, 0203 mechanical engineering, hybrid electric vehicles (HEV), 13. Climate action, Automatic topology generator, 0202 electrical engineering, electronic engineering, information engineering, platform-based design methodology, SDG 7 - Affordable and Clean Energy, 02 engineering and technology, 7. Clean energy, SDG 7 – Betaalbare en schone energie

Přístupová URL adresa: https://pure.tue.nl/ws/files/3812320/584193958941239.pdf
https://pure.tue.nl/ws/files/3812320/584193958941239.pdf
http://ieeexplore.ieee.org/document/7064789
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2F4aac38d8-c34d-42ee-a260-99ef06a4ac10
https://research.tue.nl/nl/publications/functional-and-cost-based-automatic-generator-for-hybrid-vehicles
https://ieeexplore.ieee.org/document/7064789

Study of the Compilation of Contraint Logic Programming Languages over Finite Domains: the clp(FD) system ; Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)

Autoři: Diaz, Daniel Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL) a další

Přispěvatelé: Diaz, Daniel Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL) a další

Zdroj: https://theses.hal.science/tel-00981853 ; Informatique et langage [cs.CL]. Université d'Orléans, 1995. Français. ⟨NNT : ⟩.

Témata: Logic Programming, implementation, constraint programming, finite domaines, booleans, concurrent languages, Artificial Intelligence, Programmation Logique, Prolog, implantation, programmation par contraintes, domaines finis, booleens, langages concurrents, Intelligence Artificielle, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnost: https://theses.hal.science/tel-00981853
https://theses.hal.science/tel-00981853v1/document
https://theses.hal.science/tel-00981853v1/file/diaz-french-thesis.pdf