Advances in Informatics [[electronic resource] ] : 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers / / edited by Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 504 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Database management Computer communication systems Software engineering Algorithms User interfaces (Computer systems) Theory of Computation Database Management Computer Communication Networks Software Engineering Algorithm Analysis and Problem Complexity User Interfaces and Human Computer Interaction |
ISBN | 3-540-38076-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Processing Distance-Based Queries in Multidimensional Data Spaces Using R-trees -- A Simple, Compact and Dynamic Partition Scheme Based on Co-centric Spheres -- Design of the ERATOSTHENES OLAP Server -- Spatio-temporal SQL -- The Opsis Project: Materialized Views for Data Warehouses and the Web -- Two-Phase Commit Processing with Restructured Commit Tree -- On the Use of Matrices for Belief Revision -- Efficiently Maintaining Structural Associations of Semistructured Data -- Identification of Lead Compounds in Pharmaceutical Data Using Data Mining Techniques -- Adaptive Classification of Web Documents to Users Interests -- Seismo-Surfer: A Prototype for Collecting, Querying, and Mining Seismic Data -- Using Fuzzy Cognitive Maps as a Decision Support System for Political Decisions -- An Architecture for Open Learning Management Systems -- A Knowledge Based Approach on Educational Metadata Use -- Website Evaluation: A Usability-Based Perspective -- Concepts to Consider when Studying Computer-Mediated Communication and Online Learning -- Website Content Accessibility of the Cyprus Domain -- An Information Hiding Method Based on Computational Intractable Problems -- An Experimental Evaluation of a Monte-Carlo Algorithm for Singular Value Decomposition -- PROSOPO - A Face Image Synthesis System -- Communicating X-Machines: From Theory to Practice -- TOPPER: An Integrated Environment for Task Allocation and Execution of MPI Applications onto Parallel Architectures -- Communication Assist for Data Driven Multithreading -- A Framework for Mobility and QoS Provisioning in IPv6 DECT Networks -- High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications -- A Greek Morphological Lexicon and Its Exploitation by Natural Language Processing Applications -- A Comparison of Design Patterns and Roles in the Context of Behavioural Evolution -- A New Randomized Data Structure for the 1 1/2-dimensional Range Query Problem -- Acceptor-Definable Counting Classes -- Stability Behavior of FIFO Protocol in the Adversarial Queuing Model -- Sphendamnœ: A Proof that k-Splay Fails to Achieve logk N Behaviour. |
Record Nr. | UNISA-996465321703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Informatics : 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers / / edited by Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 504 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Database management Computer communication systems Software engineering Algorithms User interfaces (Computer systems) Theory of Computation Database Management Computer Communication Networks Software Engineering Algorithm Analysis and Problem Complexity User Interfaces and Human Computer Interaction |
ISBN | 3-540-38076-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Processing Distance-Based Queries in Multidimensional Data Spaces Using R-trees -- A Simple, Compact and Dynamic Partition Scheme Based on Co-centric Spheres -- Design of the ERATOSTHENES OLAP Server -- Spatio-temporal SQL -- The Opsis Project: Materialized Views for Data Warehouses and the Web -- Two-Phase Commit Processing with Restructured Commit Tree -- On the Use of Matrices for Belief Revision -- Efficiently Maintaining Structural Associations of Semistructured Data -- Identification of Lead Compounds in Pharmaceutical Data Using Data Mining Techniques -- Adaptive Classification of Web Documents to Users Interests -- Seismo-Surfer: A Prototype for Collecting, Querying, and Mining Seismic Data -- Using Fuzzy Cognitive Maps as a Decision Support System for Political Decisions -- An Architecture for Open Learning Management Systems -- A Knowledge Based Approach on Educational Metadata Use -- Website Evaluation: A Usability-Based Perspective -- Concepts to Consider when Studying Computer-Mediated Communication and Online Learning -- Website Content Accessibility of the Cyprus Domain -- An Information Hiding Method Based on Computational Intractable Problems -- An Experimental Evaluation of a Monte-Carlo Algorithm for Singular Value Decomposition -- PROSOPO - A Face Image Synthesis System -- Communicating X-Machines: From Theory to Practice -- TOPPER: An Integrated Environment for Task Allocation and Execution of MPI Applications onto Parallel Architectures -- Communication Assist for Data Driven Multithreading -- A Framework for Mobility and QoS Provisioning in IPv6 DECT Networks -- High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications -- A Greek Morphological Lexicon and Its Exploitation by Natural Language Processing Applications -- A Comparison of Design Patterns and Roles in the Context of Behavioural Evolution -- A New Randomized Data Structure for the 1 1/2-dimensional Range Query Problem -- Acceptor-Definable Counting Classes -- Stability Behavior of FIFO Protocol in the Adversarial Queuing Model -- Sphendamnœ: A Proof that k-Splay Fails to Achieve logk N Behaviour. |
Record Nr. | UNINA-9910143886303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Logic: Logic Programming and Beyond [[electronic resource] ] : Essays in Honour of Robert A. Kowalski, Part II / / edited by Antonis C. Kakas, Fariba Sadri |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 628 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer programming Mathematical logic Computer science—Mathematics Artificial Intelligence Software Engineering/Programming and Operating Systems Programming Techniques Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation |
ISBN | 3-540-45632-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning with Multiple Theories -- Description Logics for Information Integration -- Search and Optimization Problems in Datalog -- The Declarative Side of Magic -- Key Constraints and Monotonic Aggregates in Deductive Databases -- Automated Reasoning -- A Decidable CLDS for Some Propositional Resource Logics -- A Critique of Proof Planning -- A Model Generation Based Theorem Prover MGTP for First-Order Logic -- A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory -- An Open Research Problem: Strong Completeness of R. Kowalski’s Connection Graph Proof Procedure -- Non-deductive Reasoning -- Meta-reasoning: A Survey -- Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning -- Automated Abduction -- The Role of Logic in Computational Models of Legal Argument: A Critical Survey -- Logic for Action and Change -- Logic Programming Updating - A Guided Approach -- Representing Knowledge in A-Prolog -- Some Alternative Formulations of the Event Calculus -- Logic, Language, and Learning -- Issues in Learning Language in Logic -- On Implicit Meanings -- Data Mining as Constraint Logic Programming -- DCGs: Parsing as Deduction? -- Statistical Abduction with Tabulation -- Computational Logic and Philosophy -- Logicism and the Development of Computer Science -- Simply the Best: A Case for Abduction. |
Record Nr. | UNISA-996466365003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II / / edited by Antonis C. Kakas, Fariba Sadri |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 628 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer programming Mathematical logic Computer science—Mathematics Artificial Intelligence Software Engineering/Programming and Operating Systems Programming Techniques Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation |
ISBN | 3-540-45632-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning with Multiple Theories -- Description Logics for Information Integration -- Search and Optimization Problems in Datalog -- The Declarative Side of Magic -- Key Constraints and Monotonic Aggregates in Deductive Databases -- Automated Reasoning -- A Decidable CLDS for Some Propositional Resource Logics -- A Critique of Proof Planning -- A Model Generation Based Theorem Prover MGTP for First-Order Logic -- A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory -- An Open Research Problem: Strong Completeness of R. Kowalski’s Connection Graph Proof Procedure -- Non-deductive Reasoning -- Meta-reasoning: A Survey -- Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning -- Automated Abduction -- The Role of Logic in Computational Models of Legal Argument: A Critical Survey -- Logic for Action and Change -- Logic Programming Updating - A Guided Approach -- Representing Knowledge in A-Prolog -- Some Alternative Formulations of the Event Calculus -- Logic, Language, and Learning -- Issues in Learning Language in Logic -- On Implicit Meanings -- Data Mining as Constraint Logic Programming -- DCGs: Parsing as Deduction? -- Statistical Abduction with Tabulation -- Computational Logic and Philosophy -- Logicism and the Development of Computer Science -- Simply the Best: A Case for Abduction. |
Record Nr. | UNINA-9910143880103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|