Search Results - Constraint Logic Programming on Finite Domains

Constraint functional logic programming over finite domains

Authors: Fernando Sáenz-Pérez Rafael del Vado-Virseda Antonio J. Fernández et al.

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

Subject Terms: 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)

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

Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains

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

Source: Lecture Notes in Computer Science ISBN: 9783642155789

Access URL: 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

Authors: Fernandez, Antonio J. Hortala-Gonzalez, Teresa Saenz-Perez, Fernando et al.

Index Terms: 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)

Authors: GAVANELLI, Marco NONATO, Maddalena PEANO, Andrea et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Jose Manuel Gomez-Perez Susana Munoz-Hernandez

Source: Lecture Notes in Computer Science ISBN: 9783540236641

Access URL: 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

Authors: Fages, Francois

Index Terms: 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

Authors: Pascal Van Hentenryck Yves Deville

Source: Lecture Notes in Computer Science ISBN: 9783540544449

Access URL: 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

Authors: 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 et al.

Contributors: 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 et al.

Subject Terms: alldifferent constraint, circuit constraint, Constraint Logic Programming on Finite Domain, Global constraint, Hamiltonian Circuit Problem, Constraint Logic Programming on Finite Domains, Global constraints

File Description: 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

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

Constraint functional logic programming over finite domains.

Authors: FERNÁNDEZ, ANTONIO J. HORTALÁ-GONZÁLEZ, TERESA SÁENZ-PÉREZ, FERNANDO et al.

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

Subject Terms: 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.

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

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

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

File Description: 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

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

Authors: DOVIER, Agostino FORMISANO A. PONTELLI E.

Source: Lecture Notes in Computer Science ISBN: 9783540746089

Subject Terms: 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

File Description: application/pdf

Access URL: 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

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

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

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

File Description: application/pdf

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

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

Authors: DAL PALU' Alessandro DOVIER, Agostino PONTELLI Enrico et al.

Source: Lecture Notes in Computer Science ISBN: 9783642028458

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

Access URL: 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.

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

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

Subject Terms: LIE algebras, CONSTRAINT programming, LOGIC programming, ALGEBRA

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

Authors: Diaz, Daniel

Contributors: Diaz, Daniel

Subject Terms: [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

File Description: application/pdf

Access URL: https://theses.hal.science/tel-00981853v1

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

Authors: Queralt, Anna Artale, Alessandro Calvanese, Diego et al.

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

Subject Terms: *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

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

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

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

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

Constraint logic programming for examination timetabling

Authors: Yan Delon Patrice Boizumault Laurent Péridy

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

Subject Terms: 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

File Description: application/xml

Access URL: 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

Authors: M Maarten Steinbuch Emilia Silvas Theo Hofman et al.

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

Subject Terms: 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

Access URL: 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)

Authors: 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) et al.

Contributors: 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) et al.

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

Subject Terms: 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]

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