Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computational Logic: Logic Programming and Beyond [[electronic resource] ] : Essays in Honour of Robert A. Kowalski, Part I / / edited by A.C. Kakas, F. Sadri
| Computational Logic: Logic Programming and Beyond [[electronic resource] ] : Essays in Honour of Robert A. Kowalski, Part I / / edited by A.C. Kakas, F. Sadri |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 684 p.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Software engineering Artificial intelligence Computer programming Mathematical logic Computer System Implementation Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-540-45628-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Portrait of a Scientist as a Computational Logician -- A Portrait of a Scientist as a Computational Logician -- Bob Kowalski: A Portrait -- Bob Kowalski: A Portrait -- Directions for Logic Programming -- Directions for Logic Programming -- Logic Programming Languages -- Agents as Multi-threaded Logical Objects -- Logic Programming Languages for the Internet -- Higher-Order Computational Logic -- A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language -- Program Derivation and Properties -- Transformation Systems and Nondeclarative Properties -- Acceptability with General Orderings -- Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach -- Negation as Failure through Abduction: Reasoning about Termination -- Program Derivation = Rules + Strategies -- Software Development -- Achievements and Prospects of Program Synthesis -- Logic for Component-Based Software Development -- Patterns for Prolog Programming -- Extensions of Logic Programming -- Abduction in Logic Programming -- Learning in Clausal Logic: A Perspective on Inductive Logic Programming -- Disjunctive Logic Programming: A Survey and Assessment -- Constraint Logic Programming -- Applications in Logic -- Planning Attacks to Security Protocols: Case Studies in Logic Programming -- Multiagent Compromises, Joint Fixpoints, and Stable Models -- Error-Tolerant Agents -- Logic-Based Hybrid Agents -- Heterogeneous Scheduling and Rotation. |
| Record Nr. | UNISA-996466362403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part I / / edited by A.C. Kakas, F. Sadri
| Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part I / / edited by A.C. Kakas, F. Sadri |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 684 p.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Software engineering Artificial intelligence Computer programming Mathematical logic Computer System Implementation Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-540-45628-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Portrait of a Scientist as a Computational Logician -- A Portrait of a Scientist as a Computational Logician -- Bob Kowalski: A Portrait -- Bob Kowalski: A Portrait -- Directions for Logic Programming -- Directions for Logic Programming -- Logic Programming Languages -- Agents as Multi-threaded Logical Objects -- Logic Programming Languages for the Internet -- Higher-Order Computational Logic -- A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language -- Program Derivation and Properties -- Transformation Systems and Nondeclarative Properties -- Acceptability with General Orderings -- Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach -- Negation as Failure through Abduction: Reasoning about Termination -- Program Derivation = Rules + Strategies -- Software Development -- Achievements and Prospects of Program Synthesis -- Logic for Component-Based Software Development -- Patterns for Prolog Programming -- Extensions of Logic Programming -- Abduction in Logic Programming -- Learning in Clausal Logic: A Perspective on Inductive Logic Programming -- Disjunctive Logic Programming: A Survey and Assessment -- Constraint Logic Programming -- Applications in Logic -- Planning Attacks to Security Protocols: Case Studies in Logic Programming -- Multiagent Compromises, Joint Fixpoints, and Stable Models -- Error-Tolerant Agents -- Logic-Based Hybrid Agents -- Heterogeneous Scheduling and Rotation. |
| Record Nr. | UNINA-9910143880403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||