Výsledky vyhledávání - "Programming Techniques-Logic Programming"

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

Autoři: 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

Témata: 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 souboru: application/xml; application/pdf

Pří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

Autoři: Adrian Schüpbach Andrew Baumann Timothy Roscoe a další

Přispěvatelé: Adrian Schüpbach Andrew Baumann Timothy Roscoe a další

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

Témata: 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 souboru: application/pdf

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

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

A Extensional Higher-Order Logic Programming

Autoři: A. Charalambidis K. Handjopoulos P. Rondogiannis a další

Přispěvatelé: A. Charalambidis K. Handjopoulos P. Rondogiannis a další

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

Témata: 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 souboru: application/pdf

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

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

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

Autoři: Azzolini, Damiano Forti, Stefano Ielo, Antonio

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

Témata: EDGE computing, RESOURCE allocation, NETWORK performance

Memoing for Logic Programs.

Autoři: Warren, David S.

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

Témata: LOGIC programming, PARALLEL programming, COMPUTER software, DECLARATIVE programming, PROGRAMMING languages, ELECTRONIC data processing

Terminating Evaluation of Logic Programs with Finite Three-Valued Models.

Autoři: RIGUZZI, FABRIZIO SWIFT, TERRANCE

Zdroj: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-38, 38p

Témata: LOGIC programming, MATHEMATICAL models, MATHEMATICAL functions, SEARCH algorithms, MATHEMATICAL programming

Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages.

Autoři: GAINTZARAIN, JOSE LUCIO, PAQUI

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

Témata: LOGIC programming languages, PROGRAMMING languages, LINEAR systems, SEMANTICS, EQUIVALENCE (Linguistics), COMPARATIVE studies

Extensional Higher-Order Logic Programming.

Autoři: CHARALAMBIDIS, ANGELOS HANDJOPOULOS, KONSTANTINOS RONDOGIANNIS, PANAGIOTIS a další

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

Témata: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL bounds, FIXED point theory, MATHEMATICAL proofs, GENERALIZATION

Tableau Calculi for Logic Programs under Answer Set Semantics.

Autoři: GEBSER, MARTIN SCHAUB, TORSTEN

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

Témata: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL proofs, ALGORITHMS, SYSTEM identification, GENERALIZATION

A Declarative Language Approach to Device Configuration.

Autoři: Schüpbach, Adrian Baumann, Andrew Roscoe, Timothy a další

Zdroj: ACM Transactions on Computer Systems; Feb2012, Vol. 30 Issue 1, p5-5:35, 35p

Témata: LOGIC programming, DEVICE drivers (Computer programs), COMPUTER operating systems, C (Computer program language), COMPUTER input-output equipment, ROUTING (Computer network management)

Reasoning with Recursive Loops Under the PLP Framework.

Autoři: Yi-Dong Shen

Zdroj: ACM Transactions on Computational Logic; Aug2008, Vol. 9 Issue 4, p1-30, 30p, 8 Diagrams

Témata: MATHEMATICAL variables, MATHEMATICAL statistics, BAYESIAN analysis, RANDOM variables, INFORMATION theory

Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling.

Autoři: GENAIM, SAMIR KING, ANDY

Zdroj: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p17.1-17.43, 43p, 1 Diagram, 2 Charts

Témata: PROGRAMMING languages, SCHEME programming language, LANGUAGE & logic, LOGICAL prediction, COMPUTER programming, MATHEMATICAL programming

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics.

Autoři: Olivetti, Nicola Pozzato, Gian Luca Schwind, Camilla B.

Zdroj: ACM Transactions on Computational Logic; Aug2007, Vol. 8 Issue 4, p1-51, 51p, 9 Diagrams, 1 Chart

Témata: KNOWLEDGE representation (Information theory), LOGIC programming, PROOF theory, MATHEMATICAL logic, SEQUENTIAL analysis, ARTIFICIAL intelligence

SCHEDULING OPTIMALITY FOR THE PARALLEL EXECUTION OF LOGIC PROGRAMS.

Autoři: VANCEA, MONICA VANCEA, ALEXANDRU

Zdroj: Studia Universitatis Babeş-Bolyai, Informatica; 2003, Vol. 48 Issue 1, p15-22, 8p

A COST MODEL FOR THE AND-PARALLEL EXECUTION OF LOGIC PROGRAMS.

Autoři: VANCEA, MONICA VANCEA, ALEXANDRU

Zdroj: Studia Universitatis Babeş-Bolyai, Informatica; 2002, Vol. 47 Issue 2, p67-74, 8p

A Logical Foundation for Deductive Object-Oriented Databases.

Autoři: Liu, Mengchi Dobbie, Gillian Ling, Tok Wang

Zdroj: ACM Transactions on Database Systems; Mar2002, Vol. 27 Issue 1, p117-151, 35p

Témata: DEDUCTIVE databases, OBJECT-oriented databases, OBJECT-oriented programming, PROGRAMMING languages, FORMAL language semantics, DATABASE design

Logic Programming Revisited: Logic Programs as Inductive Definitions

Autoři: Marc Denecker Maurice Bruynooghe Victor Marek a další

Přispěvatelé: Marc Denecker Maurice Bruynooghe Victor Marek a další

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

Témata: General Terms, Languages, Theory Additional Key Words and Phrases, Epistemological Foundations, Inductive Denitions

Popis souboru: 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

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

Constructor-based Conditional Narrowing

Autoři: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz.

Témata: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483
http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz

Semantic Integration of Deductive Databases

Autoři: P. Asirelli Via S. Maria Pisa C. Renso a další

Přispěvatelé: P. Asirelli Via S. Maria Pisa C. Renso a další

Zdroj: http://www.di.unipi.it/~renso/papers/tech-report.ps.

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.8173
http://www.di.unipi.it/~renso/papers/tech-report.ps

Disjunctive Datalog.

Autoři: Eiter, Thomas Gottlob, Georg Mannila, Heikki

Zdroj: ACM Transactions on Database Systems; Sept97, Vol. 22 Issue 3, p364-418, 55p, 2 Diagrams

Témata: DATABASES, LOGIC programming, COMPUTER files, SEMANTICS, INFORMATION theory, COMPUTER programming