Výsledky vyhledávání - Constraint logic programming systems

Foundational issues in implementing constraint logic programming systems

Autoři: James H. Andrews

Zdroj: Lecture Notes in Computer Science ISBN: 9783540578802

Témata: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Software

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-57880-3_5.pdf
https://dblp.uni-trier.de/db/conf/esop/esop94.html#Andrews94
https://www.sciencedirect.com/science/article/pii/0167642395000119
https://link.springer.com/content/pdf/10.1007%2F3-540-57880-3_5.pdf
https://www.sciencedirect.com/science/article/abs/pii/0167642395000119
https://link.springer.com/chapter/10.1007/3-540-57880-3_5
https://rd.springer.com/chapter/10.1007/3-540-57880-3_5

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

Autoři: Le, Nguyen-Thinh Menzel, Wolfgang

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

Přístupová URL adresa: https://iospress.metapress.com/content/l7j8106n6q2t0816/?p=4747159763b74e1595e90a20a7f1d73c&pi=3

Negation and Constraint Logic Programming: Negation and constraint logic programming

Autoři: Peter J. Stuckey

Zdroj: Information and Computation. 118:12-33

Témata: Computational Theory and Mathematics, constraint logic programming systems, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, constructive negation, Theoretical Computer Science, Information Systems, Computer Science Applications

Popis souboru: application/xml

Přístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S0890540185710486
https://dblp.uni-trier.de/db/journals/iandc/iandc118.html#Stuckey95
https://www.sciencedirect.com/science/article/pii/S0890540185710486
https://core.ac.uk/display/22613748
https://research.monash.edu/en/publications/negation-and-constraint-logic-programming

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Autoři: Rocha, Ricardo Have, Christian Theil

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/1307.8389

Digital Systems Design Using Constraint Logic Programming

Autoři: Szymanek, Radoslaw Gruian, Flavius Kuchcinski, Krzysztof a další

Přispěvatelé: Szymanek, Radoslaw Gruian, Flavius Kuchcinski, Krzysztof a další

Zdroj: Proceedings of the Practical Application of Constraint Logic Programming (PACLP) Conference Practical Application of Constraint Logic Programming (PACLP).

Témata: Natural Sciences, Computer and Information Sciences, Computer Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (Datalogi)

Popis souboru: electronic

Přístupová URL adresa: https://lucris.lub.lu.se/ws/files/6381656/622839.pdf

Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011

Autoři: Abreu, Salvador Costa, Vitor Santos

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.6, D.3, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/1112.4993

Customer-Based Design with Constraint Reasoning

Autoři: Sivard, Gunilla Lindberg, Lars Agerman, Erik

Zdroj: XPRESS – Initiative for excellence in production research CIRP annals. 42(1):425-428

Témata: Interactive design systems, Automated design, Constraint Logic Programming, Production Engineering, Industriell produktion

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-141006
https://kth.diva-portal.org/smash/get/diva2:693796/FULLTEXT01.pdf

Design and Implementation of Practical Constraint Logic Programming Systems

Autoři: CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE Michaylov, Spiro

Zdroj: DTIC AND NTIS

Témata: Computer Programming and Software, COMPUTER LOGIC, COMPUTER PROGRAMMING, RULE BASED SYSTEMS, REQUIREMENTS, ABSTRACTS, CASE STUDIES, MACHINES, NUMBERS, COMPILERS, APPROACH, REAL NUMBERS, INTERPRETERS, LOGIC, POWER, LANGUAGE, COSTS, EFFICIENCY, PROGRAMMING LANGUAGES, METHODOLOGY, LOGIC PROGRAMMING, Text

URL: https://apps.dtic.mil/docs/citations/ADA256191

Constraint Logic Programming Systems. / 制約論理プログラミングシステム

Autoři: Akira Aiba 相場 亮

Zdroj: コンピュータ ソフトウェア / Computer Software. 1992, 9(6):6-461

Construction of Robot Structure Design Support System by Constraint Logic Programming

Autoři: Akira Aiba Shigeto Aramaki Shinichi Sato

Zdroj: Journal of the Robotics Society of Japan. 1996, 14(2):287

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

Autoři: Barichard, Vincent BARICHARD, Vincent

Přispěvatelé: Barichard, Vincent BARICHARD, Vincent

Zdroj: Expert Systems with Applications. 238:121810

Témata: Constraint processing, Constraint handling rules, Domain specific languages, [INFO] Computer Science [cs], Constraint handling rules with disjunction, C++, Constraint logic programming systems

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

Autoři: Pérez, Beatriz Porres, Ivan

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

Témata: *Logic programming, *Computer software development, Reasoning, Unified modeling language, Plug-ins (Computer programs)

Automated Generation of Business Process Models using Constraint Logic Programming in Python

Autoři: Tymoteusz Paszun Piotr Wiśniewski Krzysztof Kluza a další

Zdroj: Annals of computer science and information systems, Vol 18, Pp 733-742 (2019)

Témata: Information technology, T58.5-58.64, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://annals-csis.org/Volume_18/drp/pdf/174.pdf; https://doaj.org/toc/2300-5963

Přístupová URL adresa: https://doaj.org/article/b28a4ac9c03547889cab395dc6b95214

University Timetabling by Constraint-Based Reasoning: A Case Study

Autoři: Deris, S. B. Omatu, S. Ohta, H.

Zdroj: The Journal of the Operational Research Society, 1997 Dec 01. 48(12), 1178-1190.

Přístupová URL adresa: https://www.jstor.org/stable/3010748

Relational and Allegorical Semantics for Constraint Logic Programming

Autoři: Gallego Arias, Emilio Jesús

Thesis Advisors: Mariño y Carballo, Julio, Lipton, James B.

Témata: Informática

Přístupová URL adresa: http://hdl.handle.net/10803/452285

Colloquium on Implementation of Constraint LOgic Programming Systems

Autoři: The Seattle Sheraton Hotel H-f. Guo a další

Přispěvatelé: The Seattle Sheraton Hotel H-f. Guo a další

Zdroj: http://www.easychair.org/FLoC-06/CICLOPS-preproceedings.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.2366

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.2366
http://www.easychair.org/FLoC-06/CICLOPS-preproceedings.pdf

Automated generation of business process models using constraint logic programming in Python / Tymoteusz Paszun, Piotr Wiśniewski, Krzysztof Kluza, Antoni Ligęza.

Autoři: Paszun, Tymoteusz. Autor Wiśniewski, Piotr (informatyka stosowana). Kluza, Krzysztof. a další

Přispěvatelé: Paszun, Tymoteusz. Autor Wiśniewski, Piotr (informatyka stosowana). Kluza, Krzysztof. a další

Zdroj: Bibliografia na stronie 742.

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:4841009&theme=nukat

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming.

Autoři: Wilk S Michalowski W Michalowski M a další

Zdroj: Journal of biomedical informatics [J Biomed Inform] 2013 Apr; Vol. 46 (2), pp. 341-53. Date of Electronic Publication: 2013 Jan 30.

Způsob vydávání: Journal Article; Research Support, Non-U.S. Gov't

Informace o časopise: 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

Výrazy ze slovníku MeSH: Algorithms* , Decision Support Systems, Clinical* , Practice Guidelines as Topic*, Drug-Related Side Effects and Adverse Reactions/*prevention & control, Acute Disease ; Chronic Disease ; Comorbidity ; Drug Interactions ; Humans ; Models, Biological

Modelling discrete optimisation problems in constraint logic programming.

Autoři: Barth, Peter Bockmayr, Alexander

Zdroj: Annals of Operations Research; 1998, Vol. 81 Issue 1-4, p467-495, 29p

Témata: COMPUTATIONAL mathematics, CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMBINATORICS, MATHEMATICAL programming, OPERATIONS research

Mathematical Aspects of Logic Programming Semantics

Autoři: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Témata: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy