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.
Practical Aspects of Declarative Languages [[electronic resource] ] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings / / edited by Andy Gill, Terrance Swift
| Practical Aspects of Declarative Languages [[electronic resource] ] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings / / edited by Andy Gill, Terrance Swift |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 285 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Computer science Theory of Computation Computer Science, general |
| ISBN | 3-540-92995-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- On Preferring and Inspecting Abductive Models -- User Interfaces and Environments -- Declarative Programming of User Interfaces -- Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs -- Toward a Practical Module System for ACL2 -- Networks and Data -- Declarative Network Verification -- Operational Semantics for Declarative Networking -- Ad Hoc Data and the Token Ambiguity Problem -- Multi-threading and Parallelism -- High Level Thread-Based Competitive Or-Parallelism in Logtalk -- Implementing Thread Cancellation in Multithreaded Prolog Systems -- Interoperating Logic Engines -- Databases and Large Data Sets -- High-Level Interaction with Relational Databases in Logic Programming -- Typed Datalog -- Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell -- Tabling and Optimization -- One Table Fits All -- Recycle Your Arrays! -- Towards a Complete Scheme for Tabled Execution Based on Program Transformation -- Language Extensions and Implementation -- Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications -- Layered Models Top-Down Querying of Normal Logic Programs -- Secure Implementation of Meta-predicates. |
| Record Nr. | UNISA-996466144703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical aspects of declarative languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. proceedings / / Andy Gill, Terrance Swift, editors
| Practical aspects of declarative languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. proceedings / / Andy Gill, Terrance Swift, editors |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (VIII, 285 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
GillAndy
SwiftTerrance |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Declarative programming languages
High-level programming languages |
| ISBN | 3-540-92995-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- On Preferring and Inspecting Abductive Models -- User Interfaces and Environments -- Declarative Programming of User Interfaces -- Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs -- Toward a Practical Module System for ACL2 -- Networks and Data -- Declarative Network Verification -- Operational Semantics for Declarative Networking -- Ad Hoc Data and the Token Ambiguity Problem -- Multi-threading and Parallelism -- High Level Thread-Based Competitive Or-Parallelism in Logtalk -- Implementing Thread Cancellation in Multithreaded Prolog Systems -- Interoperating Logic Engines -- Databases and Large Data Sets -- High-Level Interaction with Relational Databases in Logic Programming -- Typed Datalog -- Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell -- Tabling and Optimization -- One Table Fits All -- Recycle Your Arrays! -- Towards a Complete Scheme for Tabled Execution Based on Program Transformation -- Language Extensions and Implementation -- Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications -- Layered Models Top-Down Querying of Normal Logic Programs -- Secure Implementation of Meta-predicates. |
| Record Nr. | UNINA-9910484608803321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Reasoning and Rule Systems [[electronic resource] ] : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings / / edited by Axel Polleres, Terrance Swift
| Web Reasoning and Rule Systems [[electronic resource] ] : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings / / edited by Axel Polleres, Terrance Swift |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 269 p.) |
| Disciplina | 004n/a |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Application software Computers Data mining Software engineering Multimedia information systems Information Storage and Retrieval Information Systems Applications (incl. Internet) Information Systems and Communication Service Data Mining and Knowledge Discovery Software Engineering Multimedia Information Systems |
| Soggetto genere / forma |
Chantilly (Va., 2009)
Kongress. |
| ISBN | 3-642-05082-4 |
| Classificazione |
DAT 616f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers and Tutorial -- Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents -- SILK: Higher Level Rules with Defaults and Semantic Scalability -- Uncertainty Reasoning for the Semantic Web -- Proof/Deduction Procedures -- A Preferential Tableaux Calculus for Circumscriptive -- A Reasoner for Simple Conceptual Logic Programs -- Search for More Declarativity -- Scalability -- Distributed Resolution for Expressive Ontology Networks -- Scalable Web Reasoning Using Logic Programming Techniques -- On the Ostensibly Silent ‘W’ in OWL 2 RL -- Uncertainty -- Answer Sets in a Fuzzy Equilibrium Logic -- Belief Logic Programming with Cyclic Dependencies -- A Minimal Deductive System for General Fuzzy RDF -- Knowledge Amalgamation and Querying -- An Efficient Method for Computing Alignment Diagnoses -- Paraconsistent Reasoning for OWL 2 -- A Formal Theory for Modular ERDF Ontologies -- The Perfect Match: RPL and RDF Rule Languages -- Rules for Decision Support and Production Systems -- A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology -- A Logic Based Approach to the Static Analysis of Production Systems. |
| Record Nr. | UNISA-996465856003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 ; proceedings / / Axel Polleres, Terrance Swift (eds.)
| Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 ; proceedings / / Axel Polleres, Terrance Swift (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2009 |
| Descrizione fisica | 1 online resource (X, 269 p.) |
| Disciplina | 004n/a |
| Altri autori (Persone) |
PolleresAxel
SwiftTerrance |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Logic programming
Rule-based programming Semantic Web |
| ISBN | 3-642-05082-4 |
| Classificazione |
DAT 616f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers and Tutorial -- Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents -- SILK: Higher Level Rules with Defaults and Semantic Scalability -- Uncertainty Reasoning for the Semantic Web -- Proof/Deduction Procedures -- A Preferential Tableaux Calculus for Circumscriptive -- A Reasoner for Simple Conceptual Logic Programs -- Search for More Declarativity -- Scalability -- Distributed Resolution for Expressive Ontology Networks -- Scalable Web Reasoning Using Logic Programming Techniques -- On the Ostensibly Silent ‘W’ in OWL 2 RL -- Uncertainty -- Answer Sets in a Fuzzy Equilibrium Logic -- Belief Logic Programming with Cyclic Dependencies -- A Minimal Deductive System for General Fuzzy RDF -- Knowledge Amalgamation and Querying -- An Efficient Method for Computing Alignment Diagnoses -- Paraconsistent Reasoning for OWL 2 -- A Formal Theory for Modular ERDF Ontologies -- The Perfect Match: RPL and RDF Rule Languages -- Rules for Decision Support and Production Systems -- A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology -- A Logic Based Approach to the Static Analysis of Production Systems. |
| Altri titoli varianti | RR 2009 |
| Record Nr. | UNINA-9910484160603321 |
| Berlin, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||