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] ] : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / / edited by José Júlio Alferes, Moa Johansson
| Practical Aspects of Declarative Languages [[electronic resource] ] : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / / edited by José Júlio Alferes, Moa Johansson |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 239 p. 1000 illus., 37 illus. in color.) |
| Disciplina | 303.4833 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computers Programming Languages, Compilers, Interpreters Artificial Intelligence Theory of Computation Information Systems and Communication Service |
| ISBN | 3-030-05998-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Strong Equivalence and Program's Structure in Arguing Essential Equivalence between First-Order Logic Programs -- Automatic Program Rewriting in Non-Ground Answer Set Programs -- Personalized Course Schedule Planning using Answer Set Programming -- An ASP-based Approach to Representing and Querying Textual Knowledge -- Natural Language Generation From Ontologies -- Improving Residuation in Declarative Programs -- Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP -- A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers -- Faster Coroutine Pipelines: A Reconstruction -- Classes of Arbitrary Kind -- Distributed Protocol Combinators -- Composing Syntactical Constructs to Create Domain-Specific Languages -- Proof Carrying Plans -- Static Partitioning of Spreadsheets for Parallel Execution. . |
| Record Nr. | UNISA-996466458103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / / edited by José Júlio Alferes, Moa Johansson
| Practical Aspects of Declarative Languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / / edited by José Júlio Alferes, Moa Johansson |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 239 p. 1000 illus., 37 illus. in color.) |
| Disciplina |
303.4833
005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computers Programming Languages, Compilers, Interpreters Artificial Intelligence Theory of Computation Information Systems and Communication Service |
| ISBN | 3-030-05998-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Strong Equivalence and Program's Structure in Arguing Essential Equivalence between First-Order Logic Programs -- Automatic Program Rewriting in Non-Ground Answer Set Programs -- Personalized Course Schedule Planning using Answer Set Programming -- An ASP-based Approach to Representing and Querying Textual Knowledge -- Natural Language Generation From Ontologies -- Improving Residuation in Declarative Programs -- Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP -- A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers -- Faster Coroutine Pipelines: A Reconstruction -- Classes of Arbitrary Kind -- Distributed Protocol Combinators -- Composing Syntactical Constructs to Create Domain-Specific Languages -- Proof Carrying Plans -- Static Partitioning of Spreadsheets for Parallel Execution. . |
| Record Nr. | UNINA-9910337564803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / / edited by José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel
| Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / / edited by José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 280 p.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Mathematical logic Software engineering Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 3-540-39587-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1. Invited Talk -- The RuleML Family of Web Rule Languages -- Session 2. Reasoning I -- Automated Reasoning Support for First-Order Ontologies -- Combining Safe Rules and Ontologies by Interfacing of Reasoners -- Session 3. Applications -- Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits -- Interaction Protocols and Capabilities: A Preliminary Report -- Semantic Web Reasoning for Analyzing Gene Expression Profiles -- Session 4. Querying -- Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt -- AMa ? oS—Abstract Machine for Xcerpt: Architecture and Principles -- Towards More Precise Typing Rules for Xcerpt -- Session 5. Reasoning II -- Extending an OWL Web Node with Reactive Behavior -- Supporting Open and Closed World Reasoning on the Web -- Reasoning with Temporal Constraints in RDF -- Session 6. Reasoning III -- Bidirectional Mapping Between OWL DL and Attempto Controlled English -- XML Querying Using Ontological Information -- Semantic Web Reasoning Using a Blackboard System -- Systems Session -- Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt -- Web Queries with Style: Rendering Xcerpt Programs with CSSNG -- Information Gathering in a Dynamic World -- Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining -- Fuzzy Time Intervals System Description of the FuTI–Library -- A Prototype of a Descriptive Type System for Xcerpt. |
| Record Nr. | UNISA-996466013103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||