Search Results - "Constraint Logic Programming on Finite Domains"

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

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

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

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

Authors: Fages, Francois

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, I.2.3, D.1.6, D.2.5, D.2.6, 0202 electrical engineering, electronic engineering, information engineering, F.4.1, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

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

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

Authors: Bertagnon A. Gavanelli M.

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

File Description: application/pdf

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

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

Authors: François Fages Sylvain Soliman Rémi Coolen et al.

Contributors: François Fages Sylvain Soliman Rémi Coolen et al.

Source: http://pauillac.inria.fr/~fages/Papers/FSC04constraints.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.9598; http://pauillac.inria.fr/~fages/Papers/FSC04constraints.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.9598
http://pauillac.inria.fr/~fages/Papers/FSC04constraints.pdf

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

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

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

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

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

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

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

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

Analysis Of Extended Feature Models With Constraint Programming

Authors: Karatas, Ahmet Serkan

Thesis Advisors: Oguztuzun, Halit

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

File Description: text/pdf

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

A Prolog assisted search for new simple Lie algebras

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

Index Terms: Mathematics - Rings and Algebras, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2207.01094

Multivalued Action Languages with Constraints in CLP(FD).

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: Logic Programming (9783540746089); 2007, p255-270, 16p

Multivalued action languages with constraints in CLP(FD).

Authors: Dovier, Agostino Formisano, Andrea Pontelli, Enrico

Source: Theory & Practice of Logic Programming; Mar2010, Vol. 10 Issue 2, p167-235, 69p

Subject Terms: KNOWLEDGE representation (Information theory), PLANNING, LOGIC programming languages, CONSTRAINT programming, INTELLIGENT agents, ARTIFICIAL intelligence

GASP: Answer Set Programming with Lazy Grounding.

Authors: Palù, Alessandro Dal Dovier, Agostino Pontelli, Enrico et al.

Source: Fundamenta Informaticae; 2009, Vol. 96 Issue 3, p297-322, 26p, 4 Diagrams, 2 Charts

Subject Terms: GASP (Computer program language), LOGIC programming, SET theory, COMPUTER programming, MONOTONIC functions

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

Authors: Dovier, Agostino Formisano, Andrea Pontelli, Enrico

Source: Journal of Experimental & Theoretical Artificial Intelligence; Jun2009, Vol. 21 Issue 2, p79-121, 43p, 1 Diagram, 13 Charts, 1 Graph

Subject Terms: LOGIC programming, COMPUTER programming, ELECTRONIC data processing, MATHEMATICAL analysis, TECHNOLOGY

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

A Prolog application for reasoning on maths puzzles with diagrams.

Authors: Buscaroli, Riccardo Chesani, Federico Giuliani, Giulia et al.

Source: Journal of Experimental & Theoretical Artificial Intelligence; Oct2023, Vol. 35 Issue 7, p1079-1099, 21p

Subject Terms: NATURAL language processing, IMAGE processing software, PUZZLES, LOGIC programming, IMAGE recognition (Computer vision), MULTIMODAL user interfaces, RECREATIONAL mathematics, QUESTION answering systems