Search Results - "constraint logic programming over 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

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

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

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

Answer Set Programming with Constraints Using Lazy Grounding.

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

Source: Logic Programming (9783642028458); 2009, p115-129, 15p

Solving Collaborative Fuzzy Agents Problems with CLP($\mathcal{FD}$).

Authors: Hermenegildo, Manuel Cabeza, Daniel Munoz-Hernandez, Susana et al.

Source: Practical Aspects of Declarative Languages. 2005, p187-202. 16p.

The Ciao clp(FD) library. A modular CLP extension for Prolog

Authors: Gallego Arias, Emilio Jesús Haemmerlé, R. Hermenegildo, Manuel V. et al.

Source: CoRR, 2013-01, Vol. abs/13

Index Terms: Informática, info:eu-repo/semantics/article, Artículo, PeerReviewed

URL: https://oa.upm.es/15394/
http://dblp.uni-trier.de/db/journals/corr/corr1301.html#abs-1301-7702
http://dblp.uni-trier.de/db/journals/corr/corr1301.html#abs-1301-7702