Search Results - Constraint Logic Programming on Finite Domain~

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

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

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

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.

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

Subject Terms: Answer set programming, Constrained optimization, Constraint logic programming on finite domain, Logic programming application, Optical networks-on-chip, Software, Theoretical Computer Science, Hardware and Architecture, Computational Theory and Mathematic, Artificial Intelligence

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000412567800008; 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing; volume:17; issue:5-6; firstpage:800; lastpage:818; numberofpages:19; journal:THEORY AND PRACTICE OF LOGIC PROGRAMMING; http://hdl.handle.net/11392/2377408; https://arxiv.org/pdf/1707.05858.pdf

Availability: http://hdl.handle.net/11392/2377408
https://doi.org/10.1017/S1471068417000424
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://arxiv.org/pdf/1707.05858.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

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

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

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

From extended feature models to constraint logic programming.

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

Source: Science of Computer Programming. Dec2013, Vol. 78 Issue 12, p2295-2312. 18p.

Subject Terms: *LOGIC programming, *COMPUTER simulation, *CONSTRAINT satisfaction, *FEATURE extraction, *COMPUTER programming, *AUTOMATION

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

MODELING AND SOLVING SELF-REFERENTIAL PUZZLES

Authors: Maja Bubalo Mirko Čubrilo

Source: Journal of Information and Organizational Sciences, Vol 29, Iss 1 (2012)

Subject Terms: self-referential puzzles, logic programming, finite domain constraint programming, Mozart/Oz, Information theory, Q350-390

File Description: electronic resource

Relation: http://jios.foi.hr/index.php/jios/article/view/238; https://doaj.org/toc/1846-3312; https://doaj.org/toc/1846-9418

Access URL: https://doaj.org/article/6288aa43b5a14e9097e9ec63ced9794e

Research on Shunting Engine Path Planning Based on Logic Program

Authors: XIE Xiaotian,ZHAO Lingzhong

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

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

File Description: electronic resource

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

Access URL: https://doaj.org/article/5b5c470a32614765bcd5c8937f0c0952

Industrial linear optimization problems solved by constraint logic programming.

Authors: Bisdorff, R. Laurent, S.

Source: European Journal of Operational Research. 7/7/95, Vol. 84 Issue 1, p82-95. 14p.

Subject Terms: *COMPUTER programming, *MATHEMATICAL programming, *ALGORITHMS, *MATHEMATICAL optimization, LOGIC programming, FOUNDATIONS of arithmetic

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

Towards a closer integration of finite domain propagation and simplex-based algorithms.

Authors: Hajian, Mozafar T. El-Sakkout, Hani Wallace, Mark et al.

Source: Annals of Operations Research. 1998, Vol. 81 Issue 1-4, p421-431. 11p. 4 Charts.

Subject Terms: *INTEGER programming, *NETWORK analysis (Planning), *MATHEMATICAL optimization, *MATHEMATICAL programming, *OPERATIONS research, COMBINATORIAL optimization, CONSTRAINT satisfaction, BRANCH & bound algorithms

A new approach to integrating mixed integer programming and constraint logic programming.

Authors: Rodošek, Robert Wallace, Mark G. Hajian, Mozafar T.

Source: Annals of Operations Research. 1999, Vol. 86 Issue 1-4, p63-87. 25p. 4 Charts.

Subject Terms: *INTEGER programming, *DYNAMIC programming, *NONLINEAR programming, *LINEAR programming, *MATHEMATICAL programming, *MATHEMATICAL optimization, *MATHEMATICS, LOGIC programming

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

Bounded rationality: from fast and frugal heuristics to logic programming and back.

Authors: Vargas, Francisco Martignon, Laura Stenning, Keith

Source: Mind & Society; Nov2023, Vol. 22 Issue 1/2, p33-51, 19p

Subject Terms: LOGIC programming, BOUNDED rationality, HEURISTIC, NONMONOTONIC logic, DECISION making

Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog

Authors: Ågren, Magnus

Source: SICS Technical Report.

Subject Terms: Constraint, Finite Domain, Debugging, Event Trace, SICStus, Prolog

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21985
https://ri.diva-portal.org/smash/get/diva2:1041527/FULLTEXT01.pdf