Výsledky vyhledávání - constraint logic programming over 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

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

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

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

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

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

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

Research on Shunting Engine Path Planning Based on Logic Program

Autoři: XIE Xiaotian,ZHAO Lingzhong

Zdroj: Jisuanji gongcheng, Vol 44, Iss 1, Pp 98-103 (2018)

Témata: shunting engine path planning, answer set program(asp), constraint logic program over finite domains (clp (fd)), solver, logic program, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

Popis souboru: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/201801016.pdf; https://doaj.org/toc/1000-3428

Přístupová URL adresa: https://doaj.org/article/5b5c470a32614765bcd5c8937f0c0952

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

Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains.

Autoři: Karataș, Ahmet Serkan Oğuztüzün, Halit Doğru, Ali

Zdroj: Software Product Lines: Going Beyond; 2010, p286-299, 14p

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

Analysis Of Extended Feature Models With Constraint Programming

Autoři: Karatas, Ahmet Serkan

Thesis Advisors: Oguztuzun, Halit

Témata: QA Computer Software 76.75-76.765, Extended Feature Models, Constraint Logic Programming over Finite Domains, Global Constraints, Automated Analysis of Feature Models, Context Variability

Popis souboru: text/pdf

Dostupnost: http://etd.lib.metu.edu.tr/upload/3/12612082/index.pdf

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

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

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

Zdroj: Journal of Experimental & Theoretical Artificial Intelligence. 21:79-121

Témata: Combinatorial problems, Constraint solving, Logic programming, Declarative programming, Constraint logic programming, Answer set programming, Solvers, Benchmarking, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://www.dimi.uniud.it/dovier/PAPERS/JETAI07.pdf
https://dblp.uni-trier.de/db/journals/jetai/jetai21.html#DovierFP09
http://www.dimi.uniud.it/dovier/PAPERS/JETAI07.pdf
https://www.tandfonline.com/doi/abs/10.1080/09528130701538174
https://doi.org/10.1080/09528130701538174
http://www.dmi.unipg.it/formis/papers/JETAI07.pdf
https://www.tandfonline.com/doi/ref/10.1080/09528130701538174
https://hdl.handle.net/11391/119370
https://doi.org/10.1080/09528130701538174