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.
Journal of visual languages and computing [[e-journal]]
| Journal of visual languages and computing [[e-journal]] |
| Pubbl/distr/stampa | London, : Academic Press |
| Disciplina | 005 |
| Soggetto topico |
Visual programming languages (Computer science)
Visual programming (Computer science) Programming languages (Electronic computers) - Semantics |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1095-8533 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910333136403321 |
| London, : Academic Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal on data semantics . XII [[electronic resource] /] / Stefano Spaccapietra (ed.)
| Journal on data semantics . XII [[electronic resource] /] / Stefano Spaccapietra (ed.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (XIII, 179 p.) |
| Disciplina | 004.6 |
| Altri autori (Persone) | SpaccapietraS |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Semantic Web
Semantics - Data processing Programming languages (Electronic computers) - Semantics |
| Soggetto non controllato |
Semantics
Semantic Web Database Management Computers |
| ISBN | 3-642-00685-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | SECCO: On Building Semantic Links in Peer-to-Peer Networks -- Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints -- Combining a Logical and a Numerical Method for Data Reconciliation -- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web -- Intensional First-Order Logic for P2P Database Systems -- Multi-faceted Visualisation of Worklists. |
| Record Nr. | UNISA-996465410703316 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Journal on data semantics . XII / / Stefano Spaccapietra (ed.)
| Journal on data semantics . XII / / Stefano Spaccapietra (ed.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (XIII, 179 p.) |
| Disciplina | 004.6 |
| Altri autori (Persone) | SpaccapietraS |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Semantic Web
Semantics - Data processing Programming languages (Electronic computers) - Semantics |
| Soggetto non controllato |
Semantics
Semantic Web Database Management Computers |
| ISBN | 3-642-00685-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | SECCO: On Building Semantic Links in Peer-to-Peer Networks -- Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints -- Combining a Logical and a Numerical Method for Data Reconciliation -- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web -- Intensional First-Order Logic for P2P Database Systems -- Multi-faceted Visualisation of Worklists. |
| Record Nr. | UNINA-9910484561303321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal on data semantics X / / Stefano Spaccapietra
| Journal on data semantics X / / Stefano Spaccapietra |
| Autore | Spaccapietra S. |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XIII, 265 p.) |
| Disciplina | 005.131 |
| Collana | Journal on Data Semantics |
| Soggetto topico |
Semantics - Data processing
Database management Programming languages (Electronic computers) - Semantics |
| ISBN | 3-540-77688-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Asymmetric and Context-Dependent Semantic Similarity among Ontology Instances -- Query Relaxation in RDF -- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies -- Deploying Semantic Web Services-Based Applications in the e-Government Domain -- Linking Data to Ontologies -- Context Representation in Domain Ontologies and Its Use for Semantic Integration of Data -- Semantically Processing Parallel Colour Descriptions -- A Cooperative Approach for Composite Ontology Mapping. |
| Record Nr. | UNINA-9910483873403321 |
Spaccapietra S.
|
||
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal on data semantics X / / Stefano Spaccapietra
| Journal on data semantics X / / Stefano Spaccapietra |
| Autore | Spaccapietra S. |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XIII, 265 p.) |
| Disciplina | 005.131 |
| Collana | Journal on Data Semantics |
| Soggetto topico |
Semantics - Data processing
Database management Programming languages (Electronic computers) - Semantics |
| ISBN | 3-540-77688-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Asymmetric and Context-Dependent Semantic Similarity among Ontology Instances -- Query Relaxation in RDF -- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies -- Deploying Semantic Web Services-Based Applications in the e-Government Domain -- Linking Data to Ontologies -- Context Representation in Domain Ontologies and Its Use for Semantic Integration of Data -- Semantically Processing Parallel Colour Descriptions -- A Cooperative Approach for Composite Ontology Mapping. |
| Record Nr. | UNISA-996465616903316 |
|
Spaccapietra S.
|
||
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / / Balder D. ten Cate, Henk W. Zeevat (editors)
| Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / / Balder D. ten Cate, Henk W. Zeevat (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 282 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computational linguistics
Computer logic Programming languages (Electronic computers) - Semantics |
| ISBN | 3-540-75144-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Expressing Ignorance or Indifference -- The Main Devices of Foregrounding in the Information Structure of Georgian Sentences -- Focus and ‘Only’ in Hungarian -- Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras -- Productivity, Polysemy, and Predicate Indexicality -- Argument Dependencies in Tukang Besi -- The Marking of Verb-Actant Relations in Georgian -- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points -- The Problem of Learning the Semantics of Quantifiers -- Towards a Cross-Linguistic Production Data Archive: Structure and Exploration -- Case Attraction in Ancient Greek -- Real World Multi-agent Systems: Information Sharing, Coordination and Planning -- Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation -- A Whether Forecast -- Participants in Action: The Interplay of Aspectual Meanings and Thematic Relations in the Semantics of Semitic Morphology -- Natural Logic for Natural Language -- Georgian as the Testing-Ground for Theories of Tense and Aspect -- Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic -- Doubling: The Semantic Driving Force Behind Functional Categories. |
| Record Nr. | UNINA-9910482960803321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / / Balder D. ten Cate, Henk W. Zeevat (editors)
| Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / / Balder D. ten Cate, Henk W. Zeevat (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 282 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computational linguistics
Computer logic Programming languages (Electronic computers) - Semantics |
| ISBN | 3-540-75144-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Expressing Ignorance or Indifference -- The Main Devices of Foregrounding in the Information Structure of Georgian Sentences -- Focus and ‘Only’ in Hungarian -- Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras -- Productivity, Polysemy, and Predicate Indexicality -- Argument Dependencies in Tukang Besi -- The Marking of Verb-Actant Relations in Georgian -- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points -- The Problem of Learning the Semantics of Quantifiers -- Towards a Cross-Linguistic Production Data Archive: Structure and Exploration -- Case Attraction in Ancient Greek -- Real World Multi-agent Systems: Information Sharing, Coordination and Planning -- Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation -- A Whether Forecast -- Participants in Action: The Interplay of Aspectual Meanings and Thematic Relations in the Semantics of Semitic Morphology -- Natural Logic for Natural Language -- Georgian as the Testing-Ground for Theories of Tense and Aspect -- Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic -- Doubling: The Semantic Driving Force Behind Functional Categories. |
| Record Nr. | UNISA-996465858303316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical aspects of logic programming semantics / / Pascal Hitzler, Anthony Seda
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]]
| Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]] |
| Autore | Pitts A. M (Andrew M.) |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xiii, 276 pages) : digital, PDF file(s) |
| Disciplina | 005.13 |
| Collana | Cambridge tracts in theoretical computer science |
| Soggetto topico |
Programming languages (Electronic computers) - Semantics
Programming languages (Electronic computers) - Syntax |
| ISBN |
1-139-89077-8
1-107-24758-6 1-107-25007-2 1-107-01778-5 1-139-08467-4 1-107-24924-4 1-107-24841-8 1-107-25090-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part One : Theory. Permutations -- Support -- Freshness -- Name abstraction -- Orbit-finiteness -- Equivalents of Nom -- -- Part Two : Applications. Inductive and coinductive definitions -- Nominal algebraic data types -- Locally scoped names -- Functional programming -- Domain theory -- Computational logic. |
| Record Nr. | UNINA-9910464929203321 |
|
Pitts A. M (Andrew M.)
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]]
| Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]] |
| Autore | Pitts A. M (Andrew M.) |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xiii, 276 pages) : digital, PDF file(s) |
| Disciplina | 005.13 |
| Collana | Cambridge tracts in theoretical computer science |
| Soggetto topico |
Programming languages (Electronic computers) - Semantics
Programming languages (Electronic computers) - Syntax |
| ISBN |
1-139-89077-8
1-107-24758-6 1-107-25007-2 1-107-01778-5 1-139-08467-4 1-107-24924-4 1-107-24841-8 1-107-25090-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part One : Theory. Permutations -- Support -- Freshness -- Name abstraction -- Orbit-finiteness -- Equivalents of Nom -- -- Part Two : Applications. Inductive and coinductive definitions -- Nominal algebraic data types -- Locally scoped names -- Functional programming -- Domain theory -- Computational logic. |
| Record Nr. | UNINA-9910789313803321 |
|
Pitts A. M (Andrew M.)
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
