نتائج البحث - "Constraint Handling Rules"

1

Academic Journal

UsingWomb Grammars for Inducing the Grammar of a Subset of Yorùbá Noun Phrases

المؤلفون: Adebara, Ife

المصدر: Triangle: llenguatge, literatura, computació; Núm. 14 (2016); 1-36

مصطلحات موضوعية: property grammars, constraint handling rules grammar, constraint handling rules, womb grammar, computational grammar, syntax, grammar induction, Yorùbá

وصف الملف: application/pdf

Relation: http://www.raco.cat/index.php/triangle/article/view/387935/481469

URL الوصول: http://www.raco.cat/index.php/triangle/article/view/387935

View record in RACO

2

Academic Journal

CHR++: An efficient CHR system in C++ with don’t know non-determinism

المؤلفون: Barichard, Vincent

المساهمون: Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA), Université d'Angers (UA)

المصدر: ISSN: 0957-4174 ; Expert Systems with Applications ; https://univ-angers.hal.science/hal-04232684 ; Expert Systems with Applications, 2024, 238, pp.121810. ⟨10.1016/j.eswa.2023.121810⟩.

مصطلحات موضوعية: Constraint handling rules, Constraint logic programming systems, Constraint processing, Constraint handling rules with disjunction, Domain specific languages, C++, [INFO]Computer Science [cs]

Relation: hal-04232684; https://univ-angers.hal.science/hal-04232684

الاتاحة: https://univ-angers.hal.science/hal-04232684
https://doi.org/10.1016/j.eswa.2023.121810

View record in BASE

3

Academic Journal

UsingWomb Grammars for Inducing the Grammar of a Subset of Yorùbá Noun Phrases

المؤلفون: Adebara, Ife

المصدر: Triangle; No 14 (2016); 1-36 ; Triangle; No. 14 (2016); 1-36 ; Triangle; Núm. 14 (2016); 1-36 ; 2013-939X ; 10.17345/triangle14

مصطلحات موضوعية: property grammars, constraint handling rules grammar, constraint handling rules, womb grammar, computational grammar, syntax, grammar induction, Yorùbá

وصف الملف: application/pdf

Relation: https://revistes.urv.cat/index.php/triangle/article/view/2840/2795; https://revistes.urv.cat/index.php/triangle/article/view/2840

الاتاحة: https://revistes.urv.cat/index.php/triangle/article/view/2840

View record in BASE

4

Book

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

المؤلفون: Christiansen, Henning, Kirkeby, Maja Hanne

المصدر: Christiansen , H & Kirkeby , M H 2018 , Confluence of CHR revisited : invariants and modulo equivalence [Extended version with proofs] . Roskilde Universitet. Computer Science. Computer Science Research Report , vol. 153 , vol. 153 , Roskilde Universitet , Roskilde .

مصطلحات موضوعية: confluence, constraint handling rules, observable confluence modulo equivalence, confluence modulo equivalence, invariants, equivalence

وصف الملف: application/pdf

الاتاحة: https://forskning.ruc.dk/da/publications/3ebc1c4a-5d43-48be-b79a-5d6836e8f255
https://hdl.handle.net/1800/3ebc1c4a-5d43-48be-b79a-5d6836e8f255
https://rucforsk.ruc.dk/ws/files/63000759/ChrKir_LOPSTR2018_ExtReport.pdf

View record in BASE

5

Academic Journal

CHR^vis: Syntax and Semantics

المؤلفون: Sharaf, Nada, Abdennadher, Slim, Frühwirth, Thom

المساهمون: Nada Sharaf and Slim Abdennadher and Thom Frühwirth

مصطلحات موضوعية: Constraint Handling Rules, Visualization, Animation

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.5

الاتاحة: https://doi.org/10.4230/OASIcs.ICLP.2018.5
https://nbn-resolving.org/urn:nbn:de:0030-drops-98716
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.5

View record in BASE

6

Academic Journal

A New Proof-Theoretical Linear Semantics for CHR

المؤلفون: Stéphan, Igor

المساهمون: Igor Stéphan

مصطلحات موضوعية: Constraint Handling Rules, Linear Logic

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.4

الاتاحة: https://doi.org/10.4230/OASIcs.ICLP.2018.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-98707
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.4

View record in BASE

7

Finding causal theories quickly enough - building a responsive Apperception Engine

المؤلفون: Cloutier, Jean-François

مصطلحات موضوعية: Machine learning, Robotics, Logic programming, Apperception, Kant, Prolog, Constraint Handling Rules

Relation: https://doi.org/10.5281/zenodo.10325867; https://doi.org/10.5281/zenodo.10325868; oai:zenodo.org:10325868

الاتاحة: https://doi.org/10.5281/zenodo.10325868

View record in BASE

8

Academic Journal

MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models

المؤلفون: Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue

مصطلحات موضوعية: weak memory models, constraint solving, logic programming, constraint handling rules

Relation: https://zenodo.org/communities/eu; https://zenodo.org/communities/vessedia; https://doi.org/10.1016/j.cl.2018.03.002; oai:zenodo.org:1248826

الاتاحة: https://doi.org/10.1016/j.cl.2018.03.002

View record in BASE

9

JavaCHR – A Modern CHR-Embedding in Java

المؤلفون: Wibiral, Tim

المساهمون: Frühwirth, Thom

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Constraint Handling Rules, CHR (Programmiersprache), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Rule-based system, Software_PROGRAMMINGLANGUAGES, DDC 004 / Data processing & computer science, ddc:004, Logic programming, Java

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fb750818d2bf14765bf3993d100388e

View record in OpenAIRE

10

Academic Journal

Constraint Handling Rules with Binders, Patterns and Generic Quantification

المؤلفون: Serrano, Alejandro, Hage, J.

المساهمون: Sub Software Technology, Software Technology

مصطلحات موضوعية: Constraint Handling Rules, pattern unification, generic quantification, Taverne

وصف الملف: application/pdf

Relation: https://dspace.library.uu.nl/handle/1874/361143

الاتاحة: https://dspace.library.uu.nl/handle/1874/361143

View record in BASE

11

A Fast Decomposition Method to Solve a Security-Constrained Optimal Power Flow (SCOPF) Problem Through Constraint Handling

المؤلفون: Diego Rodriguez-Medina, Sergio Rivera, Dario Arango-Angarita, Tomas Valencia-Zuluaga, Juan M. Gers, Daniel Agudelo-Martinez, Camilo Acosta-Urrego

المصدر: IEEE Access, Vol 9, Pp 52812-52824 (2021)

مصطلحات موضوعية: Security-constrained optimal power flow (SCOPF), Constraint Handling Rules, Mathematical optimization, parallel processing, General Computer Science, Computer science, 020209 energy, Computation, 020208 electrical & electronic engineering, General Engineering, real-time optimal power flow (OPF), 02 engineering and technology, constraint handling, AC power, matpower, Constraint (information theory), interior point method, 0202 electrical engineering, electronic engineering, information engineering, Decomposition (computer science), General Materials Science, Voltage droop, lcsh:Electrical engineering. Electronics. Nuclear engineering, Decomposition method (constraint satisfaction), lcsh:TK1-9971, Interior point method

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f325580e7d8bb78261e0f2365d4063d3
https://doi.org/10.1109/access.2021.3067206

View record in OpenAIRE

12

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity

المؤلفون: Thom Frühwirth

المصدر: Fundamenta Informaticae. 173:253-283

مصطلحات موضوعية: Constraint Handling Rules, Algebra and Number Theory, Programming language, Computer science, Computational logic, computer.software_genre, Operational semantics, Theoretical Computer Science, Computational Theory and Mathematics, Confluence, Truth maintenance, Implementation, computer, Logic programming, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a3e7bac41ee0e407b2173c25e45d96cd
https://doi.org/10.3233/fi-2020-1924

View record in OpenAIRE

13

Academic Journal

CHR for Social Responsibility

المؤلفون: Dahl, Veronica, Coleman, Bradley, Miralles, J. Emilio, Maharshak, Erez

المساهمون: Veronica Dahl and Bradley Coleman and J. Emilio Miralles and Erez Maharshak

مصطلحات موضوعية: Constraint handling rules, principled decision making, informed voting, client directed voting, social responsibility

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.370

الاتاحة: https://doi.org/10.4230/LIPIcs.ICLP.2012.370
https://nbn-resolving.org/urn:nbn:de:0030-drops-36374
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.370

View record in BASE

14

Academic Journal

Visualization of CHR through Source-to-Source Transformation

المؤلفون: Abdennadher, Slim, Sharaf, Nada

المساهمون: Slim Abdennadher and Nada Sharaf

مصطلحات موضوعية: Source-to-Source Transformation, Constraint Handling Rules, Visualization

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.109

الاتاحة: https://doi.org/10.4230/LIPIcs.ICLP.2012.109
https://nbn-resolving.org/urn:nbn:de:0030-drops-36148
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.109

View record in BASE