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.
Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / / edited by Francois Bry, Nicola Henze, Jan Maluszynski
| Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / / edited by Francois Bry, Nicola Henze, Jan Maluszynski |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 214 p.) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Database management Application software Software engineering Mathematical logic Information storage and retrieval Popular Computer Science Database Management Information Systems Applications (incl. Internet) Software Engineering Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN |
1-280-30651-3
9786610306510 3-540-24572-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Semantic Web Reasoning -- Composing Frameworks and Components for Families of Semantic Web Applications -- Semantic Web Logic Programming Tools -- Web Rules Need Two Kinds of Negation -- Reasoning in Practice -- Towards the Adaptive Semantic Web -- On Reasoning on Time and Location on the Web -- Reasoning about Communicating Agents in the Semantic Web -- Query and Rule-Languages -- A Visual Language for Web Querying and Reasoning -- XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages -- On Types for XML Query Language Xcerpt -- Integrating Description Logics and Answer Set Programming -- Semantics and Knowledge Representation -- Extracting Mathematical Semantics from Documents -- Reasoning in Attempto Controlled English -- Systematics and Architecture for a Resource Representing Knowledge about Named Entities. |
| Record Nr. | UNISA-996465805103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / / edited by Francois Bry, Nicola Henze, Jan Maluszynski
| Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / / edited by Francois Bry, Nicola Henze, Jan Maluszynski |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 214 p.) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Database management Application software Software engineering Mathematical logic Information storage and retrieval Popular Computer Science Database Management Information Systems Applications (incl. Internet) Software Engineering Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN |
1-280-30651-3
9786610306510 3-540-24572-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Semantic Web Reasoning -- Composing Frameworks and Components for Families of Semantic Web Applications -- Semantic Web Logic Programming Tools -- Web Rules Need Two Kinds of Negation -- Reasoning in Practice -- Towards the Adaptive Semantic Web -- On Reasoning on Time and Location on the Web -- Reasoning about Communicating Agents in the Semantic Web -- Query and Rule-Languages -- A Visual Language for Web Querying and Reasoning -- XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages -- On Types for XML Query Language Xcerpt -- Integrating Description Logics and Answer Set Programming -- Semantics and Knowledge Representation -- Extracting Mathematical Semantics from Documents -- Reasoning in Attempto Controlled English -- Systematics and Architecture for a Resource Representing Knowledge about Named Entities. |
| Record Nr. | UNINA-9910144211803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Language Implementation and Logic Programming [[electronic resource] ] : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / / edited by Jan Maluszynski, Martin Wirsing
| Programming Language Implementation and Logic Programming [[electronic resource] ] : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / / edited by Jan Maluszynski, Martin Wirsing |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (XII, 435 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Mathematical logic Programming languages (Electronic computers) Artificial intelligence Computer logic Programming Techniques Mathematical Logic and Foundations Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs |
| ISBN | 3-540-38362-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Standard ML of New Jersey -- Adding equations to NU-Prolog -- Extraction of functional from logic program -- The MAS specification component -- Domesticating imperative constructs so that they can live in a functional world -- Logic-based specification of visibility rules -- Optimal instruction scheduling using constraint logic programming -- An architectural model for OR-parallellism on distributed memory systems -- FRATS: A parallel reduction strategy for shared memory -- Narrowing as an incremental constraint satisfaction algorithm -- The implementation of lazy narrowing -- Semantics-directed generation of a Prolog compiler -- A framework to specify database update views for Prolog -- Concepts for a modular and distributed Prolog language -- From parlog to polka in two easy steps -- Precedences in specifications and implementations of programming languages -- A randomized heuristic approach to register allocation -- Generating efficient code from data-flow programs -- On the borderline between grammars and programs -- Efficient incremental evaluation of higher order attribute grammars -- Profit: A system integrating logic programming and attribute grammars -- Towards a meaning of LIFE -- U-log, an ordered sorted logic with typed attributes -- Compilation of predicate abstractions in higher-order logic programming -- Abstract interpretation: A kind of magic -- Abstract interpretation for type checking -- A technique for recursive invariance detection and selective program specialization -- Dynamic detection of determinism in functional logic languages -- Unfolding — definition — folding, in this order, for avoiding unnecessary variables in logic programs -- Efficient integration of simplification into Prolog -- Lazy evaluation in logic -- S-SLD-resolution — An operational semantics for logic programs with external procedures -- Operational semantics of constraint logic programming over finite domains -- Constraints for synchronizing coarse-grained sequential logic processes -- Extending execution trees for debugging and animation in logic programming -- A narrowing-based theorem prover -- The ALF system -- Experiences with gentle: Efficient compiler construction based on logic programming -- The system FLR ( Fast laboratory for recomposition ) -- Multilanguage interoperability -- Short overview of the CLPS system. |
| Record Nr. | UNISA-996465303203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Language Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings / / edited by Pierre Deransart, Jan Maluszynski
| Programming Language Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings / / edited by Pierre Deransart, Jan Maluszynski |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (VII, 542 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Computer logic Computer programming Theory of Computation Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-540-46298-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing parallel rewriting -- Compilation of narrowing -- Inference-based overloading resolution for ADA -- An approach to verifiable compiling specification and prototyping -- Bug localization by algorithmic debugging and program slicing -- A constraint logic programming shell -- Modifying the simplex algorithm to a constraint solver -- Implementing a meta-logical scheme -- The vienna abstract machine -- A new data structure for implementing extensions to Prolog -- Finding the least fixed point using wait-declarations in Prolog -- Elementary logic programs -- A new presburger arithmetic decision procedure based on extended prolog execution -- Reasoning about programs with effects -- Towards a characterization of termination of logic programs -- Static type analysis of prolog procedures for ensuring correctness -- Integrating strict and lazy evaluation: the ?sl-calculus -- Efficient data representation in polymorphic languages -- A logic-based approach to data flow analysis problems -- Systematic semantic approximations of logic programs -- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity -- On the automatic generation of events in delta prolog -- Compilation of non-linear, second order patterns on S-expressions -- Pattern matching in a functional transformation language using treeparsing -- Logic programming within a functional framework -- Compiling logic programs with equality. |
| Record Nr. | UNISA-996465858703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Languages Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings / / edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski
| Programming Languages Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings / / edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 308 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Architecture, Computer Programming languages (Electronic computers) Artificial intelligence Computer logic Computer programming Software Engineering/Programming and Operating Systems Computer System Implementation Programming Languages, Compilers, Interpreters Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-540-46092-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Static analysis of functional programs with logical variables -- Towards a clean amalgamation of logic programs with external procedures -- An application of abstract interpretation in source level program transformation -- A tool to check the non-floundering logic programs and goals -- Towards a framework for the abstract interpretation of logic programs -- An implementation of retargetable code generators in prolog -- Towards a "middle road" methodology for writing code generators -- A compiler written in prolog: the véda experience -- Coupled context-free grammar as a programming paradigm -- A bottom-up adaptation of earley's parsing algorithm -- Using an attribute grammar as a logic program -- Structure sharing in attribute grammars -- A semantic evaluator generating system in prolog -- A grammatical view of logic programming -- Compiling typol with attribute grammars -- Formal specification of a prolog compiler -- Formal specification of interactive languages using definite clause grammars -- Using logic databases in software development environments. |
| Record Nr. | UNISA-996465317203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web [[electronic resource] ] : 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures / / edited by Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert
| Reasoning Web [[electronic resource] ] : 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures / / edited by Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 269 p.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer communication systems Database management Computer logic Information storage and retrieval Natural language processing (Computer science) Information Systems Applications (incl. Internet) Computer Communication Networks Database Management Logics and Meanings of Programs Information Storage and Retrieval Natural Language Processing (NLP) |
| ISBN | 3-540-85658-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rules and Ontologies for the Semantic Web -- Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs -- Attempto Controlled English for Knowledge Representation -- Semantic Multimedia -- Applications of Semantic Web Methodologies and Techniques to Social Networks and Social Websites -- Applications of Semantic Web Methodologies and Techniques to Biology and Bioinformatics -- Web Services Discovery Utilizing Semantically Annotated WSDL. |
| Record Nr. | UNISA-996465486803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web [[electronic resource] ] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / / edited by Norbert Eisinger, Jan Maluszynski
| Reasoning Web [[electronic resource] ] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / / edited by Norbert Eisinger, Jan Maluszynski |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 326 p.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Information technology Business—Data processing Computer logic Artificial intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval IT in Business Logics and Meanings of Programs Artificial Intelligence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic Applications -- Towards Types for Web Rule Languages. |
| Record Nr. | UNISA-996465826403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantic Techniques for the Web [[electronic resource] ] : The REWERSE Perspective / / edited by Francois Bry, Jan Maluszynski
| Semantic Techniques for the Web [[electronic resource] ] : The REWERSE Perspective / / edited by Francois Bry, Jan Maluszynski |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 377 p.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Computer communication systems Data mining Information technology Business—Data processing Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Computer Communication Networks Data Mining and Knowledge Discovery IT in Business |
| ISBN | 3-642-04581-2 |
| Classificazione |
DAT 616f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hybrid Reasoning with Rules and Ontologies -- Four Lessons in Versatility or How Query Languages Adapt to the Web -- Evolution and Reactivity in the Semantic Web -- Rule-Based Policy Representations and Reasoning -- Component Models for Semantic Web Languages -- Controlled English for Reasoning on the Semantic Web -- Semantic Search with GoPubMed -- Information Integration in Bioinformatics with Ontologies and Standards. |
| Record Nr. | UNISA-996465288703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||