Search Results - Programming Techniques-Logic Programming

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

Authors: Azzolini, Damiano Forti, Stefano Ielo, Antonio

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

Subject Terms: EDGE computing, RESOURCE allocation, NETWORK performance

A Extensional Higher-Order Logic Programming

Authors: A. Charalambidis K. Handjopoulos P. Rondogiannis et al.

Contributors: A. Charalambidis K. Handjopoulos P. Rondogiannis et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

Authors: GIANNOTTI, FOSCA PEDRESCHI, DINO ZANIOLO C.

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

Subject Terms: 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

File Description: application/xml; application/pdf

Access URL: 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

Authors: Adrian Schüpbach Andrew Baumann Timothy Roscoe et al.

Contributors: Adrian Schüpbach Andrew Baumann Timothy Roscoe et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Matovu, Fahad Mahadzir, Shuhaimi Mohammad Rozali, Nor Erniza et al.

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

Post Optimization Paradigm in Maximum 3-Satisfiability Logic Programming.

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

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

Subject Terms: 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

Authors: Magnús M. Halldórsson Kazuo Iwama Naoki Kobayashi et al.

Resource Type: eBook.

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

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

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

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

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

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

Authors: Fabrizio Riguzzi

Resource Type: eBook.

Subjects: QA76.63

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General, MATHEMATICS / Probability & Statistics / General, SCIENCE / Energy

Memoing for Logic Programs.

Authors: Warren, David S.

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

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

Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages.

Authors: GAINTZARAIN, JOSE LUCIO, PAQUI

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

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

Models, Languages, and Tools for Concurrent and Distributed Programming

Authors: Michele Boreale Flavio Corradini Michele Loreti et al.

Resource Type: eBook.

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

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

Authors: CHARALAMBIDIS, ANGELOS HANDJOPOULOS, KONSTANTINOS RONDOGIANNIS, PANAGIOTIS et al.

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

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

Engines of Order : A Mechanology of Algorithmic Techniques

Authors: Bernhard Rieder

Resource Type: eBook.

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

Authors: Artur Czumaj Kurt Mehlhorn Andrew Pitts et al.

Resource Type: eBook.

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

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

Authors: Gamadi, Talal D. Watson, Marshall

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

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

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

Authors: Peter S.G. Swinson

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

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

Access URL: https://www.sciencedirect.com/science/article/pii/0010448582901749

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

Authors: Dade County Public Schools, Miami, FL.

Peer Reviewed: N

Page Count: 13

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

Geographic Terms: Florida

Logic Programming Revisited: Logic Programs as Inductive Definitions

Authors: Marc Denecker Maurice Bruynooghe Victor Marek et al.

Contributors: Marc Denecker Maurice Bruynooghe Victor Marek et al.

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

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

File Description: 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

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

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

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

Subject Terms: Information storage & retrieval systems, Computer science, Computer programmers, Computer programming