top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
The 2-tuple Linguistic Model : Computing with Words in Decision Making / / by Luis Martínez, Rosa M. Rodriguez, Francisco Herrera
The 2-tuple Linguistic Model : Computing with Words in Decision Making / / by Luis Martínez, Rosa M. Rodriguez, Francisco Herrera
Autore Martínez Luis
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (179 p.)
Disciplina 004
Soggetto topico Natural language processing (Computer science)
Computer logic
Natural Language Processing (NLP)
Logics and Meanings of Programs
ISBN 3-319-24714-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Linguistic Decision Making and Computing with Words -- 2-tuple Linguistic Model -- Linguistic Approaches Based on the 2-tuple Fuzzy Linguistic Representation Model -- Decision Making in Heterogeneous Context: 2-tuple Linguistic Based Approaches -- Decision Making with Unbalanced Linguistic Information -- Dealing with Hesitant Fuzzy Linguistic Information in Decision Making -- 2-tuple Linguistic Decision Based Applications -- FLINTSTONES: A Fuzzy LINguiSTic decisiON tools Enhancement Suite.
Record Nr. UNINA-9910299195003321
Martínez Luis  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XIV, 329 p. 21 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Mathematical logic
Computer logic
Computer programming
Computer science—Mathematics
Computers
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
Mathematics of Computing
Theory of Computation
ISBN 1-280-38788-2
9786613565808
3-642-14309-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy.
Record Nr. UNISA-996465635203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XIV, 329 p. 21 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Mathematical logic
Computer logic
Computer programming
Computer science—Mathematics
Computers
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
Mathematics of Computing
Theory of Computation
ISBN 1-280-38788-2
9786613565808
3-642-14309-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy.
Record Nr. UNINA-9910483881603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Edizione [1st ed. 2000.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Descrizione fisica 1 online resource (X, 386 p.)
Disciplina 511.3
Collana Lecture Notes in Computer Science
Soggetto topico Computer logic
Software engineering
Programming languages (Electronic computers)
Mathematical logic
Database management
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Mathematical Logic and Formal Languages
Database Management
ISBN 3-540-44518-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study.
Record Nr. UNISA-996466355503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Edizione [1st ed. 2000.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Descrizione fisica 1 online resource (X, 386 p.)
Disciplina 511.3
Collana Lecture Notes in Computer Science
Soggetto topico Computer logic
Software engineering
Programming languages (Electronic computers)
Mathematical logic
Database management
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Mathematical Logic and Formal Languages
Database Management
ISBN 3-540-44518-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study.
Record Nr. UNINA-9910143618703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
Edizione [1st ed. 2003.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica 1 online resource (XII, 436 p.)
Disciplina 511.3
Collana Lecture Notes in Computer Science
Soggetto topico Computers
Computer logic
Computer science
Software engineering
Programming languages (Electronic computers)
Mathematical logic
Theory of Computation
Logics and Meanings of Programs
Computer Science, general
Software Engineering
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 3-540-36498-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines.
Record Nr. UNINA-9910143882103321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
Edizione [1st ed. 2003.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica 1 online resource (XII, 436 p.)
Disciplina 511.3
Collana Lecture Notes in Computer Science
Soggetto topico Computers
Computer logic
Computer science
Software engineering
Programming languages (Electronic computers)
Mathematical logic
Theory of Computation
Logics and Meanings of Programs
Computer Science, general
Software Engineering
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 3-540-36498-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines.
Record Nr. UNISA-996465645203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XII, 240 p.)
Disciplina 511.3
Collana Lecture Notes in Computer Science
Soggetto topico Computer logic
Mathematical logic
Computers
Software engineering
Programming languages (Electronic computers)
Logics and Meanings of Programs
Mathematical Logic and Foundations
Theory of Computation
Software Engineering
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
ISBN 1-280-30768-4
9786610307685
3-540-24773-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.
Record Nr. UNISA-996466226603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XII, 240 p.)
Disciplina 511.3
Collana Lecture Notes in Computer Science
Soggetto topico Computer logic
Mathematical logic
Computers
Software engineering
Programming languages (Electronic computers)
Logics and Meanings of Programs
Mathematical Logic and Foundations
Theory of Computation
Software Engineering
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
ISBN 1-280-30768-4
9786610307685
3-540-24773-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.
Record Nr. UNINA-9910144158603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Abstraction, Reformulation and Approximation [[electronic resource] ] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / / edited by Jean-Daniel Zucker, Lorenza Saitta
Abstraction, Reformulation and Approximation [[electronic resource] ] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / / edited by Jean-Daniel Zucker, Lorenza Saitta
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XII, 380 p.)
Disciplina 004
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Computers
Artificial intelligence
Computer logic
Mathematical logic
Theory of Computation
Artificial Intelligence
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
ISBN 3-540-31882-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains -- Synthesizing Plans for Multiple Domains -- Abstract Policy Evaluation for Reactive Agents -- Implementing an Abstraction Framework for Soft Constraints -- Transforming and Refining Abstract Constraint Specifications -- Learning Regular Expressions from Noisy Sequences -- From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm -- Hierarchical Heuristic Search Revisited -- Multinomial Event Model Based Abstraction for Sequence and Text Classification -- Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies -- Detecting and Breaking Symmetries by Reasoning on Problem Specifications -- Approximate Model-Based Diagnosis Using Preference-Based Compilation -- Function Approximation via Tile Coding: Automating Parameter Choice -- Creating Better Abstract Operators -- A Specialised Binary Constraint for the Stable Marriage Problem -- Compositional Derivation of Symmetries for Constraint Satisfaction -- Extended Abstracts -- Solving the 24 Puzzle with Instance Dependent Pattern Databases -- Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data -- A Qualitative Spatio-temporal Abstraction of a Disaster Space -- The Cruncher: Automatic Concept Formation Using Minimum Description Length -- Experiments with Multiple Abstraction Heuristics in Symbolic Verification -- Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects -- Learning Classifiers Using Hierarchically Structured Class Taxonomies -- Feature-Discovering Approximate Value Iteration Methods -- Invited Talks -- Designing Views to Efficiently Answer Real SQL Queries -- The Multi-depot Periodic Vehicle Routing Problem -- Abstract Representation in Painting and Computing -- Research Summaries -- Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach -- Learning Abstract Scheduling Models -- Knowledge Acquisition on Manipulation of Flow and Water Quality Models -- Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots -- Sequential Decision Making Under Uncertainty -- Automatic State Abstraction for Pathfinding in Real-Time Video Games -- Model-Based Search -- Learning Skills in Reinforcement Learning Using Relative Novelty.
Record Nr. UNISA-996465781003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui