Výsledky vyhľadávania - Programming Techniques—Logic Programming*

Continuous reasoning for adaptive container image distribution in the cloud–edge continuum.

Autori: Azzolini, Damiano Forti, Stefano Ielo, Antonio

Zdroj: Cluster Computing; Oct2025, Vol. 28 Issue 7, p1-17, 17p

Predmety: EDGE computing, RESOURCE allocation, NETWORK performance

A Extensional Higher-Order Logic Programming

Autori: A. Charalambidis K. Handjopoulos P. Rondogiannis a ďalší

Prispievatelia: A. Charalambidis K. Handjopoulos P. Rondogiannis a ďalší

Zdroj: http://tocl.acm.org/accepted/charalambidis-handjopoulos_extensional.pdf.

Predmety: Categories and Subject Descriptors, D.1.6 [Software, Programming Techniques-Logic Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages-Denotational Semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic-Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving-Logic Programming General Terms, Design, Languages, Theory Additional Key Words and Phrases, Higher-Order Logic Programming, Denotational Semantics, Extensionality, Algebraic Lattices ACM Reference Format

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5734
http://tocl.acm.org/accepted/charalambidis-handjopoulos_extensional.pdf

Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases: Semantics and expressive power of nondeterministic constructs in deductive databases

Autori: GIANNOTTI, FOSCA PEDRESCHI, DINO ZANIOLO C.

Zdroj: Journal of computer and system sciences
62 (2001): 15–42.
info:cnr-pdr/source/autori:Giannotti F.; Pedreschi D.; Zaniolo C./titolo:Semantics and expressive power of nondeterministic constructs in deductive databases/doi:/rivista:Journal of computer and system sciences (Print)/anno:2001/pagina_da:15/pagina_a:42/intervallo_pagine:15–42/volume:62

Predmety: nondeterminism, Datalog, first-order relational languages, Computer Networks and Communications, Databases management. Languages, Applied Mathematics, Database theory, 0102 computer and information sciences, 02 engineering and technology, Programming techniques. Logic programming, 16. Peace & justice, 01 natural sciences, expressive power, Theoretical Computer Science, Computational Theory and Mathematics, Deductive databases, operational semantics, 0202 electrical engineering, electronic engineering, information engineering, deductive databases, logic-based languages, declarative semantics, fixpoint, Logic-based languages nondeterminism

Popis súboru: application/xml; application/pdf

Prístupová URL adresa: https://publications.cnr.it/doc/43951
http://www.cnr.it/prodotto/i/43951
https://dblp.uni-trier.de/db/journals/jcss/jcss62.html#GiannottiPZ01
https://www.sciencedirect.com/science/article/pii/S0022000099916999
https://core.ac.uk/display/82373825
https://hdl.handle.net/20.500.14243/43552
https://hdl.handle.net/11568/185330

A declarative language approach to device configuration

Autori: Adrian Schüpbach Andrew Baumann Timothy Roscoe a ďalší

Prispievatelia: Adrian Schüpbach Andrew Baumann Timothy Roscoe a ďalší

Zdroj: http://www.barrelfish.org/barrelfish_asplos11.pdf.

Predmety: Categories and Subject Descriptors D.1.6 [Software, Programming Techniques—Logic Programming, D.4.9 [Software, Operating Systems—Systems Programs and Utilities General Terms Algorithms, Design, Languages Keywords Constraint logic programming, Eclipse CLP, Hardware programming, PCI

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511; http://www.barrelfish.org/barrelfish_asplos11.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511
http://www.barrelfish.org/barrelfish_asplos11.pdf

Analysis and Optimization of Multistage Mixed Refrigerant Systems Using Generalized Disjunctive Programming.

Autori: Matovu, Fahad Mahadzir, Shuhaimi Mohammad Rozali, Nor Erniza a ďalší

Zdroj: Process Integration & Optimization for Sustainability; May2024, Vol. 8 Issue 2, p439-454, 16p

Post Optimization Paradigm in Maximum 3-Satisfiability Logic Programming.

Autori: Mansor, Mohd. Asyraf Sathasivam, Saratha Mohd Kasihmuddin, Mohd Shareduwan

Zdroj: AIP Conference Proceedings; 2017, Vol. 1870 Issue 1, p1-8, 8p, 1 Diagram, 2 Charts, 1 Graph

Predmety: LOGIC programming, BOOLEAN functions, HOPFIELD networks, HAMMING distance, ARTIFICIAL neural networks

Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Autori: Magnús M. Halldórsson Kazuo Iwama Naoki Kobayashi a ďalší

Typ zdroja: eBook.

Predmet: Algorithms, Computer science, Computer networks, Information storage and retrieval systems, Application software, Computer science—Mathematics, Discrete mathematics

Kategórie: COMPUTERS / Programming / Algorithms, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Networking / General, MATHEMATICS / Discrete Mathematics

Denotational Semantics with Nominal Scott Domains.

Autori: LÖSCH, STEFFEN PITTS, ANDREW M.

Zdroj: Journal of the ACM; Jul2014, Vol. 61 Issue 4, p27-2746, 46p

Predmety: COMPUTATIONAL complexity, SEMANTICS, PROGRAMMING languages, MATHEMATICAL models, BOUNDARY value problems

Foundations of Probabilistic Logic Programming : Languages, Semantics, Inference and Learning

Autori: Fabrizio Riguzzi

Typ zdroja: eBook.

Predmet: QA76.63

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General, MATHEMATICS / Probability & Statistics / General, SCIENCE / Energy

Memoing for Logic Programs.

Autori: Warren, David S.

Zdroj: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p93-111, 19p

Predmety: LOGIC programming, PARALLEL programming, COMPUTER software, DECLARATIVE programming, PROGRAMMING languages, ELECTRONIC data processing

Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages.

Autori: GAINTZARAIN, JOSE LUCIO, PAQUI

Zdroj: ACM Transactions on Computational Logic; Nov2013, Vol. 14 Issue 4, p1-41, 41p

Predmety: LOGIC programming languages, PROGRAMMING languages, LINEAR systems, SEMANTICS, EQUIVALENCE (Linguistics), COMPARATIVE studies

Models, Languages, and Tools for Concurrent and Distributed Programming

Autori: Michele Boreale Flavio Corradini Michele Loreti a ďalší

Typ zdroja: eBook.

Predmet: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Computer systems, Computer networks

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Extensional Higher-Order Logic Programming.

Autori: CHARALAMBIDIS, ANGELOS HANDJOPOULOS, KONSTANTINOS RONDOGIANNIS, PANAGIOTIS a ďalší

Zdroj: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-40, 40p

Predmety: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL bounds, FIXED point theory, MATHEMATICAL proofs, GENERALIZATION

Engines of Order : A Mechanology of Algorithmic Techniques

Autori: Bernhard Rieder

Typ zdroja: eBook.

Kategórie: COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, PHILOSOPHY / Epistemology

Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Autori: Artur Czumaj Kurt Mehlhorn Andrew Pitts a ďalší

Typ zdroja: eBook.

Predmet: Algorithms, Computer science, Computer networks, Information storage and retrieval systems, Application software, Computer science—Mathematics, Discrete mathematics

Kategórie: COMPUTERS / Programming / Algorithms, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Networking / General, MATHEMATICS / Discrete Mathematics

Improving First-Year Petroleum Engineering Students Experience Through First Common Year Curriculum.

Autori: Gamadi, Talal D. Watson, Marshall

Zdroj: Proceedings of the ASEE Annual Conference & Exposition; 2022, p1-13, 13p

Predmety: PETROLEUM engineering, CURRICULUM planning, ENGINEERING education, EFFECTIVE teaching, PROBLEM-based learning

Logic programming: a computing tool for the architect of the future

Autori: Peter S.G. Swinson

Zdroj: Computer-Aided Design. 14:97-104

Predmety: 0203 mechanical engineering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/0010448582901749

Introduction to Computer Programming--Basic, Data Processing Technology: 8025.15.

Autori: Dade County Public Schools, Miami, FL.

Peer Reviewed: N

Počet strán: 13

Descriptors: Business Education, Business Skills, Computer Science Education, Computer Storage Devices, Course Content, Course Objectives, Curriculum Guides, Data Processing, Programing, Secondary Education

Geografický termín: Florida

Logic Programming Revisited: Logic Programs as Inductive Definitions

Autori: Marc Denecker Maurice Bruynooghe Victor Marek a ďalší

Prispievatelia: Marc Denecker Maurice Bruynooghe Victor Marek a ďalší

Zdroj: http://www.cs.kuleuven.ac.be/~marcd/papers/tocl.ID.ps.

Predmety: General Terms, Languages, Theory Additional Key Words and Phrases, Epistemological Foundations, Inductive Denitions

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3835; http://www.cs.kuleuven.ac.be/~marcd/papers/tocl.ID.ps

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3835
http://www.cs.kuleuven.ac.be/~marcd/papers/tocl.ID.ps

Towards Abstract Interpretation for Recovering Design Information

Autori: De Roover, Coen Gybels, Kris D'Hondt, Theo

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. May2005, Vol. 131, p15-25. 11p.

Predmety: Information storage & retrieval systems, Computer science, Computer programmers, Computer programming