Suchergebnisse - constraint logic programming languages

Using Constraint Logic Programming to Analyze the Chronology in "A Rose for Emily"

Autoren: Burg, Jennifer Boyle, Anne Lang, Sheau-Dong

Quelle: Computers and the Humanities, 2000 Dec 01. 34(4), 377-392.

Zugangs-URL: https://www.jstor.org/stable/30204830

Kripke semantics for higher-order type theory applied to constraint logic programming languages

Autoren: Susana Nieva James Lipton

Quelle: Theoretical Computer Science. 712:1-37

Schlagwörter: 2. Zero hunger, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Zugangs-URL: https://dblp.uni-trier.de/db/journals/tcs/tcs712.html#LiptonN18
https://www.sciencedirect.com/science/article/pii/S0304397517308356

An Exact Constraint Logic Programming Algorithm for the Traveling Salesman Problem with Time Windows

Autoren: PESANT, GILLES GENDREAU, MICHEL POTVIN, JEAN-YVES et al.

Quelle: Transportation Science, 1998 Feb 01. 32(1), 12-29.

Zugangs-URL: https://www.jstor.org/stable/25768798

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages

Autoren: Ho-fung Leung Jimmy H. M. Lee

Quelle: Computer Languages. 25:119-144

Schlagwörter: constraint logic programming, incremental queries, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences

Dateibeschreibung: application/xml

Zugangs-URL: https://www.sciencedirect.com/science/article/pii/S0096055199000132
http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf
https://dblp.uni-trier.de/db/journals/cl/cl25.html#LeeL99

Logic Programming for Linguistics: A short introduction to Prolog, and Logic Grammars with Constraints as an easy way to Syntax and Semantics

Autoren: Christiansen, Henning

Quelle: Triangle: llenguatge, literatura, computació; Núm. 1 (2010); 31-64

Schlagwörter: language, literature, computation

Dateibeschreibung: application/pdf

Relation: http://www.raco.cat/index.php/triangle/article/view/388957/482421

Zugangs-URL: http://www.raco.cat/index.php/triangle/article/view/388957

A history of the Oz multiparadigm language

Autoren: Van Roy, Peter Haridi, Seif Schulte, Christian et al.

Quelle: Proceedings of the ACM on Programming Languages. 4(HOPL)

Schlagwörter: Computer programming, Concurrent programming, Dataflow, Distributed programming, Functional programming, Lazy evaluation, Logic programming, Multiparadigm programming, Programming education, Calculations, Concurrent constraint, Concurrent logic programming, Constraint Logic Programming, Foundational calculus, Layered Structures, Multi-paradigm languages, Programming course, Programming paradigms, PROLOG (programming language)

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

An Integrated Constraint-Logic and Object-Oriented Programming Language:The Münster Logic-Imperative Language

Autoren: Dageförde, J.C. (Jan) Kuchen, H. (Herbert) Universitäts- und Landesbibliothek Münster

Weitere Verfasser: Dageförde, J.C. (Jan) Kuchen, H. (Herbert) Universitäts- und Landesbibliothek Münster

Schlagwörter: ddc:004, ddc:005, constraint-logic object-oriented programming, programming language, virtual machine, integrated programming paradigms, constraint-logic search, Computer programming, programs, data, Computer programming, Computer science, data, programs

Dateibeschreibung: application/pdf

Zugangs-URL: https://repositorium.uni-muenster.de/transfer/miami/91413ae7-2619-4e42-9541-9338e40286b6

On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog

Autoren: Fages, François

Weitere Verfasser: Fages, François

Schlagwörter: constraint programming, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], set comprehension, constraint solving, MiniZinc, answer constraint semantics, algebraic modeling languages, combinatorial optimization, [INFO] Computer Science [cs], metapredicates

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04800562v1

Efficient Interval Linear Equality Solving in Constraint Logic Programming: Efficient interval linear equality solving in constraint logic programming

Autoren: Jimmy H. M. Lee Chong-Kan Chiu

Quelle: Reliable Computing. 8:139-174

Schlagwörter: preconditioning, interval Gauss-Seidel method, interval constrained arithmetic language, Numerical computation of matrix norms, conditioning, scaling, Interval and finite arithmetic, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0101 mathematics, Direct numerical methods for linear systems and matrix inversion, Logic programming, logic programming language, 01 natural sciences, linear interval constraint solver

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1747918
https://doi.org/10.1023/a:1014754106275
https://dblp.uni-trier.de/db/journals/rc/rc8.html#ChiuL02
https://doi.org/10.1023/A:1014754106275
https://link.springer.com/article/10.1023/A:1014754106275
http://doi.org/10.1023/A:1014754106275

Computational complexity and constraint logic programming languages

Autoren: Ken McAloon James L. Cox Carol Tretkoff

Quelle: Annals of Mathematics and Artificial Intelligence. 5:163-189

Schlagwörter: Analysis of algorithms and problem complexity, CLP languages, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Dateibeschreibung: application/xml

Zugangs-URL: https://link.springer.com/article/10.1007%2FBF01543475
https://dblp.uni-trier.de/db/journals/amai/amai5.html#CoxMT92

Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.

Autoren: Pérez B; Department of Mathematics and Computer Science, University of La Rioja, C/ Madre de Dios 53 (Edificio Científico Tecnológico), E-26006 La Rioja, Spain. Electronic address: beatriz.perez@unirioja.es.

Quelle: Journal of biomedical informatics [J Biomed Inform] 2019 Apr; Vol. 92, pp. 103134. Date of Electronic Publication: 2019 Mar 01.

Publikationsart: Journal Article; Research Support, Non-U.S. Gov't

Info zur Zeitschrift: Publisher: Elsevier Country of Publication: United States NLM ID: 100970413 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1532-0480 (Electronic) Linking ISSN: 15320464 NLM ISO Abbreviation: J Biomed Inform Subsets: MEDLINE

MeSH-Schlagworte: Computer Simulation* , Programming Languages*, Practice Guidelines as Topic/*standards, Algorithms ; Humans ; Logic ; Pattern Recognition, Automated

Constraint logic programming languages

Autoren: Jacques Cohen

Quelle: Communications of the ACM. 33:52-68

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dl.acm.org/doi/abs/10.1145/79204.79209
http://www.osti.gov/scitech/biblio/6597394-constraint-logic-programming-languages
https://dblp.uni-trier.de/db/journals/cacm/cacm33.html#Cohen90

Reasoning about UML/OCL class diagrams using constraint logic programming and formula.

Autoren: Pérez, Beatriz Porres, Ivan

Quelle: Information Systems. Mar2019, Vol. 81, p152-177. 26p.

Schlagwörter: *Logic programming, *Computer software development, Reasoning, Unified modeling language, Plug-ins (Computer programs)

EPOCH : A Constraint Logic Programming Language with Goal Constraint Description / 目標制約の表現機構を備えた制約論理型言語EPOCH

Autoren: Kazuo HIRAKI Takeshi NISHIZAWA Yuichiro ANZAI et al.

Quelle: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 1992, 7(3):487

Declarative Programming with Intensional Sets in Java Using JSetL.

Autoren: Cristiá, Maximiliano Fois, Andrea Rossi, Gianfranco

Quelle: Computer Journal. Mar2023, Vol. 66 Issue 3, p763-784. 22p.

Schlagwörter: *JAVA programming language, *LOGIC programming, *FIRST-order logic

Using Weighted Constraints to Diagnose Errors in Logic Programming--The Case of an Ill-Defined Domain

Autoren: Le, Nguyen-Thinh Menzel, Wolfgang

Quelle: International Journal of Artificial Intelligence in Education. 2009 19(4):381-400.

Peer Reviewed: Y

Page Count: 20

Descriptors: Intelligent Tutoring Systems, Logical Thinking, Programming, Models, Identification, Error Patterns, Students, Intention, Feedback (Response), Program Validation, Programming Languages, Semantics

Zugangs-URL: https://iospress.metapress.com/content/l7j8106n6q2t0816/?p=4747159763b74e1595e90a20a7f1d73c&pi=3

Temporal Annotated Constraint Logic Programming: Temporal annotated constraint logic programming

Autoren: Thom Frühwirth

Quelle: Journal of Symbolic Computation. 22:555-583

Schlagwörter: Computational Mathematics, Algebra and Number Theory, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, annotated constraint logic, constraint logic programming languages

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1002408
https://doi.org/10.1006/jsco.1996.0066
https://www.sciencedirect.com/science/article/abs/pii/S0747717196900668
https://core.ac.uk/display/82340362
https://doi.org/10.1006/jsco.1996.0066
https://dblp.uni-trier.de/db/journals/jsc/jsc22.html#Fruhwirth96
https://www.sciencedirect.com/science/article/pii/S0747717196900668
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/drafts/taclpjsc.pdf

Partial evaluation of pattern matching in constraint logic programming languages

Autoren: Donald A. Smith

Quelle: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '91. :62-71

Zugangs-URL: https://dblp.uni-trier.de/db/conf/pepm/pepm91.html#Smith91
https://dl.acm.org/doi/10.1145/115866.115873

Standard forms for rational linear arithmetic in constraint logic programming: Standard forms for rational linear arithmetic in constraint logic programming.

Autoren: Thomas Graf Pascal Van Hentenryck

Quelle: Annals of Mathematics and Artificial Intelligence. 5:303-319

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic programming, constraint logic programming languages

Dateibeschreibung: application/xml

Zugangs-URL: https://link.springer.com/article/10.1007%2FBF01543480
https://dblp.uni-trier.de/db/journals/amai/amai5.html#HentenryckG92

Constraint Logic Programming Language CAL / 制約論理プログラミング言語CALについて (<特集>「第五世代コンピュータ」)

Autoren: Akira AIBA 相場 亮

Quelle: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 1989, 4(3):304