Výsledky vyhľadávania - constraint logic programming over finite domains

Constraint functional logic programming over finite domains

Autori: Fernando Sáenz-Pérez Rafael del Vado-Virseda Antonio J. Fernández a ďalší

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

Predmety: 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)

Prí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

Autori: Ahmet Serkan Karatas Ali H. Dogru Halit Oğuztüzün

Zdroj: Lecture Notes in Computer Science ISBN: 9783642155789

Prí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

Autori: Fernandez, Antonio J. Hortala-Gonzalez, Teresa Saenz-Perez, Fernando a ďalší

Témy: 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

Autori: Jose Manuel Gomez-Perez Susana Munoz-Hernandez

Zdroj: Lecture Notes in Computer Science ISBN: 9783540236641

Prí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

Autori: Fages, Francois

Témy: 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

Autori: Pascal Van Hentenryck Yves Deville

Zdroj: Lecture Notes in Computer Science ISBN: 9783540544449

Prí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.

Autori: FERNÁNDEZ, ANTONIO J. HORTALÁ-GONZÁLEZ, TERESA SÁENZ-PÉREZ, FERNANDO a ďalší

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

Predmety: 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.

Autori: Antonio J Fernández Dpto De The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Antonio J Fernández Dpto De The Pennsylvania State University CiteSeerX Archives

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

Popis súboru: 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

Dostupnosť: 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

Autori: François Fages The Pennsylvania State University CiteSeerX Archives

Prispievatelia: François Fages The Pennsylvania State University CiteSeerX Archives

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

Popis súboru: application/pdf

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

Dostupnosť: 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.

Autori: Cushing, David Stagg, George W. Stewart, David I.

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

Predmety: LIE algebras, CONSTRAINT programming, LOGIC programming, ALGEBRA

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

Autori: Diaz, Daniel

Prispievatelia: Diaz, Daniel

Predmety: [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 súboru: application/pdf

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

Global Constraints on Feature Models

Autori: KARATAS, Ahmet Serkan OGUZTUZUN, Halit Doğru, Ali Hikmet

Predmety: Global constraints, Feature models, Constraint logic programming over finite domains

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

Dostupnosť: 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

Autori: M Maarten Steinbuch Emilia Silvas Theo Hofman a ďalší

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

Predmety: 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

Prí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

Autori: XIE Xiaotian,ZHAO Lingzhong

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

Predmety: 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 súboru: electronic resource

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

Prí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)

Autori: 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 ďalší

Prispievatelia: 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 ďalší

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

Predmety: 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]

Dostupnosť: 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.

Autori: 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

Autori: DAL PALU' Alessandro DOVIER, Agostino PONTELLI Enrico a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783642028458

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

Prí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

Autori: Karatas, Ahmet Serkan

Thesis Advisors: Oguztuzun, Halit

Predmety: 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 súboru: text/pdf

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

Constraint logic programming for examination timetabling

Autori: Yan Delon Patrice Boizumault Laurent Péridy

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

Predmety: 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 súboru: application/xml

Prí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

Autori: DOVIER, Agostino FORMISANO A. PONTELLI E.

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

Predmety: 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 súboru: application/pdf

Prí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