Výsledky vyhľadávania - "Constraint logic programming on finite domains"

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

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

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

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

Autori: Fages, Francois

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

Prístupová URL adresa: http://arxiv.org/abs/cs/0207048

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

Autori: Bertagnon A. Gavanelli M.

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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: François Fages Sylvain Soliman Rémi Coolen a ďalší

Prispievatelia: François Fages Sylvain Soliman Rémi Coolen a ďalší

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

Popis súboru: application/pdf

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

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

Autori: GAVANELLI, Marco NONATO, Maddalena PEANO, Andrea a ďalší

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

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

Popis súboru: application/pdf

Prístupová URL adresa: 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

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

Multivalued Action Languages with Constraints in CLP(FD)

Autori: DOVIER, Agostino FORMISANO A. PONTELLI E.

Zdroj: Lecture Notes in Computer Science ISBN: 9783540746089

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

Popis súboru: application/pdf

Prístupová URL adresa: 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.

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

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

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

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

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

A Prolog assisted search for new simple Lie algebras

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

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

Autori: Hutchison, David Kanade, Takeo Kittler, Josef a ďalší

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

Multivalued action languages with constraints in CLP(FD).

Autori: Dovier, Agostino Formisano, Andrea Pontelli, Enrico

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

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

GASP: Answer Set Programming with Lazy Grounding.

Autori: Palù, Alessandro Dal Dovier, Agostino Pontelli, Enrico a ďalší

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

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

Autori: Dovier, Agostino Formisano, Andrea Pontelli, Enrico

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

Predmety: LOGIC programming, COMPUTER programming, ELECTRONIC data processing, MATHEMATICAL analysis, TECHNOLOGY

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

A Prolog application for reasoning on maths puzzles with diagrams.

Autori: Buscaroli, Riccardo Chesani, Federico Giuliani, Giulia a ďalší

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

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