Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / / Pierre Flener (editor) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (X, 338 p.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Logic programming |
ISBN | 3-540-48958-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Attempto Controlled English — Not Just Another Logic Specification Language -- A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury -- Pragmatics in the Synthesis of Logic Programs -- Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems -- Synthesis of Programs in Abstract Data Types -- OOD Frameworks in Component-Based Software - Development in Computational Logic -- The Use of Renaming in Composing General Programs -- Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes -- Specialising Logic Programs with Respect to Call/Post Specifications -- Generalization in Hierarchies of Online Program Specialization Systems -- Improving Homeomorphic Embedding for Online Termination -- Successes in Logic Programs -- Inferring and Compiling Termination for Constraint Logic Programs -- Strictness Analysis as Finite-Domain Constraint Solving -- Invariant Discovery via Failed Proof Attempts -- Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations -- Algorithms for Synthesizing Reactive Systems: A Perspective -- Schema-Guided Synthesis of CLP Programs -- Abstract: Proof Planning with Program Schemas -- Logical Synthesis of Imperative O.O. Programs -- Mathematical Foundations for Program Transformations -- An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs -- Bottom-Up Specialisation of Logic Programs -- Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging. |
Record Nr. | UNINA-9910143472303321 |
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / / Pierre Flener (editor) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (X, 338 p.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Logic programming |
ISBN | 3-540-48958-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Attempto Controlled English — Not Just Another Logic Specification Language -- A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury -- Pragmatics in the Synthesis of Logic Programs -- Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems -- Synthesis of Programs in Abstract Data Types -- OOD Frameworks in Component-Based Software - Development in Computational Logic -- The Use of Renaming in Composing General Programs -- Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes -- Specialising Logic Programs with Respect to Call/Post Specifications -- Generalization in Hierarchies of Online Program Specialization Systems -- Improving Homeomorphic Embedding for Online Termination -- Successes in Logic Programs -- Inferring and Compiling Termination for Constraint Logic Programs -- Strictness Analysis as Finite-Domain Constraint Solving -- Invariant Discovery via Failed Proof Attempts -- Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations -- Algorithms for Synthesizing Reactive Systems: A Perspective -- Schema-Guided Synthesis of CLP Programs -- Abstract: Proof Planning with Program Schemas -- Logical Synthesis of Imperative O.O. Programs -- Mathematical Foundations for Program Transformations -- An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs -- Bottom-Up Specialisation of Logic Programs -- Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging. |
Record Nr. | UNISA-996466127003316 |
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematical aspects of logic programming semantics / / Pascal Hitzler, Anthony Seda |
Autore | Hitzler Pascal |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , [2011] |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina | 005.115 |
Collana | Chapman & Hall/CRC studies in informatics series |
Soggetto topico |
Logic programming
Programming languages (Electronic computers) - Semantics |
ISBN |
1-000-21872-4
0-429-09423-X 1-4398-2962-4 |
Classificazione | COM031000COM037000COM051240 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts. |
Record Nr. | UNINA-9910411652203321 |
Hitzler Pascal
![]() |
||
Boca Raton, FL : , : CRC Press, , [2011] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Messaggi e comunicazioni : trasformazioni della simiglianze in programmazione logica / Oscar Bettelli |
Autore | BETTELLI, Oscar |
Pubbl/distr/stampa | Milano : Angeli, 2000 |
Descrizione fisica | 294 p. ; 24 cm |
Disciplina | 005.115 |
Soggetto topico | Programmazione logica |
ISBN | 88-464-3869-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990001227780203316 |
BETTELLI, Oscar
![]() |
||
Milano : Angeli, 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Meta-programming in logic programming / edited by Harvey Abramson and M. H. Rogers |
Pubbl/distr/stampa | Cambridge, Mass. ; London, : The MIT press, c1989 |
Descrizione fisica | 544 p. ; 23 cm. |
Disciplina |
005.1
005.115 |
Collana | Logic programming |
Soggetto topico |
Programmazione logica
Elaboratori elettronici - Programmazione |
ISBN | 0262510472 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-UBO0255827 |
Cambridge, Mass. ; London, : The MIT press, c1989 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Proceedings of the Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction / / organizers and program chairs, Marino Miculan, Florian Rabe |
Pubbl/distr/stampa | New York : , : ACM, , 2017 |
Descrizione fisica | 1 online resource (27 pages) |
Disciplina | 005.115 |
Collana | ACM International Conference Proceedings Series |
Soggetto topico |
Logic programming
Logic, Symbolic and mathematical |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
LFMTP '17 : proceedings of the Workshop on Logical Frameworks and Meta-Languages : Theory and Practice
Logical Frameworks and Meta-Languages Theory and Practice 2017 |
Record Nr. | UNINA-9910375856303321 |
New York : , : ACM, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Program Development in Computational Logic [[electronic resource] ] : A Decade of Research Advances in Logic-Based Program Development / / edited by Maurice Bruynooghe, Kung-Kiu Lau |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VIII, 539 p.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computer logic Computer programming Mathematical logic Software engineering Programming languages (Electronic computers) Artificial Intelligence Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters |
ISBN |
1-280-30779-X
9786610307791 3-540-25951-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Specification and Synthesis -- Specifying Compositional Units for Correct Program Development in Computational Logic -- Synthesis of Programs in Computational Logic -- Developing Logic Programs from Specifications Using Stepwise Refinement -- Semantics -- Declarative Semantics of Input Consuming Logic Programs -- On the Semantics of Logic Program Composition -- Analysis -- Analysing Logic Programs by Reasoning Backwards -- Binding-Time Analysis for Mercury -- A Generic Framework for Context-Sensitive Analysis of Modular Programs -- Transformation and Specialisation -- Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems -- Transformation Rules for Locally Stratified Constraint Logic Programs -- Specialising Interpreters Using Offline Partial Deduction -- Termination -- Characterisations of Termination in Logic Programming -- On the Inference of Natural Level Mappings -- Proving Termination for Logic Programs by the Query-Mapping Pairs Approach -- Systems -- Herbrand Constraints in HAL. |
Record Nr. | UNISA-996466235103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development / / edited by Maurice Bruynooghe, Kung-Kiu Lau |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VIII, 539 p.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computer logic Computer programming Mathematical logic Software engineering Programming languages (Electronic computers) Artificial Intelligence Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters |
ISBN |
1-280-30779-X
9786610307791 3-540-25951-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Specification and Synthesis -- Specifying Compositional Units for Correct Program Development in Computational Logic -- Synthesis of Programs in Computational Logic -- Developing Logic Programs from Specifications Using Stepwise Refinement -- Semantics -- Declarative Semantics of Input Consuming Logic Programs -- On the Semantics of Logic Program Composition -- Analysis -- Analysing Logic Programs by Reasoning Backwards -- Binding-Time Analysis for Mercury -- A Generic Framework for Context-Sensitive Analysis of Modular Programs -- Transformation and Specialisation -- Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems -- Transformation Rules for Locally Stratified Constraint Logic Programs -- Specialising Interpreters Using Offline Partial Deduction -- Termination -- Characterisations of Termination in Logic Programming -- On the Inference of Natural Level Mappings -- Proving Termination for Logic Programs by the Query-Mapping Pairs Approach -- Systems -- Herbrand Constraints in HAL. |
Record Nr. | UNINA-9910144155003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Quantitative Logic and Soft Computing 2016 : Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016 / / edited by Tai-He Fan, Shui-Li Chen, San-Min Wang, Yong-Ming Li |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XV, 679 p. 47 illus.) |
Disciplina | 005.115 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-319-46206-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Speakers -- Quantitative Logic and Uncertainty Logic -- Automata and Quantification of Software -- Fuzzy Connectives and Fuzzy Reasoning -- Fuzzy Logical Algebras -- Fuzzy Set Theory and Applications -- Artificial Intelligence and Soft Computing. |
Record Nr. | UNINA-9910254347303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Recent advances in constraints : joint ERCIM/CoLogNet international workshop on constraint solving and constraint logic programming, CSCLP 2005 : Uppsala, Sweden, June 20-22, 2005 / Brahim Hnich... [et al.] (Eds.) : revised selected and invited papers |
Autore | International workshop on constraint solving and constraint logic programming : <2005 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
Descrizione fisica | VIII, 178 p. : ill. ; 24 cm |
Disciplina | 005.115 |
Collana | Lecture notes in artificial intelligence |
Soggetto topico | Programmazione logica - Congressi - Uppsala - 2005 |
ISBN | 3-540-34215-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002967000203316 |
International workshop on constraint solving and constraint logic programming : <2005
![]() |
||
Berlin [etc.] : Springer, copyr. 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|