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.
Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.]
| Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (416 p.) |
| Disciplina | 004.35 |
| Altri autori (Persone) | BroeninkJan F |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
| ISBN |
1-280-50507-9
9786610505074 1-4237-9735-3 1-60750-144-9 600-00-0366-8 1-60129-124-8 |
| Classificazione |
54.31
54.51 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
Improving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk) If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index |
| Record Nr. | UNINA-9910784143503321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2008 [[electronic resource] ] : WoTUG-31 / / edited by Peter H. Welch ... [et al.]
| Communicating process architectures 2008 [[electronic resource] ] : WoTUG-31 / / edited by Peter H. Welch ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2008 |
| Descrizione fisica | 1 online resource (472 p.) |
| Disciplina |
004.35
158.1 |
| Altri autori (Persone) | WelchP. H |
| Soggetto topico |
Computer architecture
occam (Computer program language) Parallel processing (Electronic computers) Transputers |
| ISBN |
661196861X
1-281-96861-7 9786611968618 1-4416-0157-0 600-00-1186-5 1-60750-368-9 |
| Classificazione |
54.31
54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP--B to Handel-C
FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations Representation and Implementation of CSP and VCR TracesCSPBuilder - CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus - with Mobile Reindeer and Elves; Subject Index; Author Index |
| Record Nr. | UNINA-9910782442603321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evolutionary computation : a unified approach / / Kenneth A. De Jong
| Evolutionary computation : a unified approach / / Kenneth A. De Jong |
| Autore | De Jong Kenneth A |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, 2006 |
| Descrizione fisica | 1 online resource (267 p.) |
| Disciplina | 005.1 |
| Soggetto topico |
Evolutionary programming (Computer science)
Evolutionary computation |
| ISBN |
1-282-09624-9
0-262-25598-7 9786612096242 1-4237-7455-8 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. A historical perspective -- 3. Canonical evolutionary algorithms -- 4. A unified view of simple EAs -- 5. Evolutionary algorithms as problem solvers -- |
| Record Nr. | UNINA-9910260651903321 |
De Jong Kenneth A
|
||
| Cambridge, Mass., : MIT Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of granular computing [[electronic resource] /] / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich
| Handbook of granular computing [[electronic resource] /] / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich |
| Pubbl/distr/stampa | Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 |
| Descrizione fisica | 1 online resource (1150 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
PedryczWitold <1953->
SkowronAndrzej KreinovichVladik |
| Soggetto topico | Granular computing |
| ISBN |
1-282-68617-8
9786612686177 0-470-72416-1 0-470-72415-3 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Handbook of granular computing; Contents; Preface; Foreword; Biographies; Part One Fundamentals and Methodology of Granular Computing Based on Interval Analysis, Fuzzy Sets and Rough Sets; 1 Interval Computation as an Important Part of Granular Computing: An Introduction; 2 Stochastic Arithmetic as a Model of Granular Computing; 3 Fundamentals of Interval Analysis and Linkages to Fuzzy Set Theory; 4 Interval Methods for Non-Linear Equation Solving Applications; 5 Fuzzy Sets as a User-Centric Processing Framework of Granular Computing; 6 Measurement and Elicitation of Membership Functions
7 Fuzzy Clustering as a Data-Driven Development Environment for Information Granules8 Encoding and Decoding of Fuzzy Granules; 9 Systems of Information Granules; 10 Logical Connectives for Granular Computing; 11 Calculi of Information Granules. Fuzzy Relational Equations; 12 Fuzzy Numbers and Fuzzy Arithmetic; 13 Rough-Granular Computing; 14 Wisdom Granular Computing; 15 Granular Computing for Reasoning about Ordered Data: The Dominance-Based Rough Set Approach; 16 A Unified Approach to Granulation of Knowledge and Granular Computing Based on Rough Mereology: A Survey 17 A Unified Framework of Granular Computing18 Quotient Spaces and Granular Computing; 19 Rough Sets and Granular Computing: Toward Rough-Granular Computing; 20 Construction of Rough Information Granules; 21 Spatiotemporal Reasoning in Rough Sets and Granular Computing; Part Two Hybrid Methods and Models of Granular Computing; 22 A Survey of Interval-Valued Fuzzy Sets; 23 Measurement Theory and Uncertainty in Measurements: Application of Interval Analysis and Fuzzy Sets Methods; 24 Fuzzy Rough Sets: From Theory into Practice; 25 On Type 2 Fuzzy Sets as Granular Models for Words 26 Design of Intelligent Systems with Interval Type-2 Fuzzy Logic27 Theoretical Aspects of Shadowed Sets; 28 Fuzzy Representations of Spatial Relations for Spatial Reasoning; 29 Rough-Neural Methodologies in Granular Computing; 30 Approximation and Perception in Ethology-Based Reinforcement Learning; 31 Fuzzy Linear Programming; 32 A Fuzzy Regression Approach to Acquisition of Linguistic Rules; 33 Fuzzy Associative Memories and Their Relationship to Mathematical Morphology; 34 Fuzzy Cognitive Maps; Part Three Applications and Case Studies 35 Rough Sets and Granular Computing in Behavioral Pattern Identification and Planning36 Rough Sets and Granular Computing in Hierarchical Learning; 37 Outlier and Exception Analysis in Rough Sets and Granular Computing; 38 Information Access and Retrieval; 39 Granular Computing in Medical Informatics; 40 Eigen Fuzzy Sets and Image Information Retrieval; 41 Rough Sets and Granular Computing in Dealing with Missing Attribute Values; 42 Granular Computing in Machine Learning and Data Mining 43 On Group Decision Making, Consensus Reaching, Voting, and Voting Paradoxes under Fuzzy Preferences and a Fuzzy Majority: A Survey and a Granulation Perspective |
| Record Nr. | UNINA-9910144118303321 |
| Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of granular computing [[electronic resource] /] / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich
| Handbook of granular computing [[electronic resource] /] / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich |
| Pubbl/distr/stampa | Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 |
| Descrizione fisica | 1 online resource (1150 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
PedryczWitold <1953->
SkowronAndrzej KreinovichVladik |
| Soggetto topico | Granular computing |
| ISBN |
1-282-68617-8
9786612686177 0-470-72416-1 0-470-72415-3 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Handbook of granular computing; Contents; Preface; Foreword; Biographies; Part One Fundamentals and Methodology of Granular Computing Based on Interval Analysis, Fuzzy Sets and Rough Sets; 1 Interval Computation as an Important Part of Granular Computing: An Introduction; 2 Stochastic Arithmetic as a Model of Granular Computing; 3 Fundamentals of Interval Analysis and Linkages to Fuzzy Set Theory; 4 Interval Methods for Non-Linear Equation Solving Applications; 5 Fuzzy Sets as a User-Centric Processing Framework of Granular Computing; 6 Measurement and Elicitation of Membership Functions
7 Fuzzy Clustering as a Data-Driven Development Environment for Information Granules8 Encoding and Decoding of Fuzzy Granules; 9 Systems of Information Granules; 10 Logical Connectives for Granular Computing; 11 Calculi of Information Granules. Fuzzy Relational Equations; 12 Fuzzy Numbers and Fuzzy Arithmetic; 13 Rough-Granular Computing; 14 Wisdom Granular Computing; 15 Granular Computing for Reasoning about Ordered Data: The Dominance-Based Rough Set Approach; 16 A Unified Approach to Granulation of Knowledge and Granular Computing Based on Rough Mereology: A Survey 17 A Unified Framework of Granular Computing18 Quotient Spaces and Granular Computing; 19 Rough Sets and Granular Computing: Toward Rough-Granular Computing; 20 Construction of Rough Information Granules; 21 Spatiotemporal Reasoning in Rough Sets and Granular Computing; Part Two Hybrid Methods and Models of Granular Computing; 22 A Survey of Interval-Valued Fuzzy Sets; 23 Measurement Theory and Uncertainty in Measurements: Application of Interval Analysis and Fuzzy Sets Methods; 24 Fuzzy Rough Sets: From Theory into Practice; 25 On Type 2 Fuzzy Sets as Granular Models for Words 26 Design of Intelligent Systems with Interval Type-2 Fuzzy Logic27 Theoretical Aspects of Shadowed Sets; 28 Fuzzy Representations of Spatial Relations for Spatial Reasoning; 29 Rough-Neural Methodologies in Granular Computing; 30 Approximation and Perception in Ethology-Based Reinforcement Learning; 31 Fuzzy Linear Programming; 32 A Fuzzy Regression Approach to Acquisition of Linguistic Rules; 33 Fuzzy Associative Memories and Their Relationship to Mathematical Morphology; 34 Fuzzy Cognitive Maps; Part Three Applications and Case Studies 35 Rough Sets and Granular Computing in Behavioral Pattern Identification and Planning36 Rough Sets and Granular Computing in Hierarchical Learning; 37 Outlier and Exception Analysis in Rough Sets and Granular Computing; 38 Information Access and Retrieval; 39 Granular Computing in Medical Informatics; 40 Eigen Fuzzy Sets and Image Information Retrieval; 41 Rough Sets and Granular Computing in Dealing with Missing Attribute Values; 42 Granular Computing in Machine Learning and Data Mining 43 On Group Decision Making, Consensus Reaching, Voting, and Voting Paradoxes under Fuzzy Preferences and a Fuzzy Majority: A Survey and a Granulation Perspective |
| Record Nr. | UNINA-9910830243303321 |
| Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of granular computing / / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich
| Handbook of granular computing / / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich |
| Pubbl/distr/stampa | Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 |
| Descrizione fisica | 1 online resource (1150 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
PedryczWitold <1953->
SkowronAndrzej KreinovichVladik |
| Soggetto topico | Granular computing |
| ISBN |
9786612686177
9781282686175 1282686178 9780470724163 0470724161 9780470724156 0470724153 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Handbook of granular computing; Contents; Preface; Foreword; Biographies; Part One Fundamentals and Methodology of Granular Computing Based on Interval Analysis, Fuzzy Sets and Rough Sets; 1 Interval Computation as an Important Part of Granular Computing: An Introduction; 2 Stochastic Arithmetic as a Model of Granular Computing; 3 Fundamentals of Interval Analysis and Linkages to Fuzzy Set Theory; 4 Interval Methods for Non-Linear Equation Solving Applications; 5 Fuzzy Sets as a User-Centric Processing Framework of Granular Computing; 6 Measurement and Elicitation of Membership Functions
7 Fuzzy Clustering as a Data-Driven Development Environment for Information Granules8 Encoding and Decoding of Fuzzy Granules; 9 Systems of Information Granules; 10 Logical Connectives for Granular Computing; 11 Calculi of Information Granules. Fuzzy Relational Equations; 12 Fuzzy Numbers and Fuzzy Arithmetic; 13 Rough-Granular Computing; 14 Wisdom Granular Computing; 15 Granular Computing for Reasoning about Ordered Data: The Dominance-Based Rough Set Approach; 16 A Unified Approach to Granulation of Knowledge and Granular Computing Based on Rough Mereology: A Survey 17 A Unified Framework of Granular Computing18 Quotient Spaces and Granular Computing; 19 Rough Sets and Granular Computing: Toward Rough-Granular Computing; 20 Construction of Rough Information Granules; 21 Spatiotemporal Reasoning in Rough Sets and Granular Computing; Part Two Hybrid Methods and Models of Granular Computing; 22 A Survey of Interval-Valued Fuzzy Sets; 23 Measurement Theory and Uncertainty in Measurements: Application of Interval Analysis and Fuzzy Sets Methods; 24 Fuzzy Rough Sets: From Theory into Practice; 25 On Type 2 Fuzzy Sets as Granular Models for Words 26 Design of Intelligent Systems with Interval Type-2 Fuzzy Logic27 Theoretical Aspects of Shadowed Sets; 28 Fuzzy Representations of Spatial Relations for Spatial Reasoning; 29 Rough-Neural Methodologies in Granular Computing; 30 Approximation and Perception in Ethology-Based Reinforcement Learning; 31 Fuzzy Linear Programming; 32 A Fuzzy Regression Approach to Acquisition of Linguistic Rules; 33 Fuzzy Associative Memories and Their Relationship to Mathematical Morphology; 34 Fuzzy Cognitive Maps; Part Three Applications and Case Studies 35 Rough Sets and Granular Computing in Behavioral Pattern Identification and Planning36 Rough Sets and Granular Computing in Hierarchical Learning; 37 Outlier and Exception Analysis in Rough Sets and Granular Computing; 38 Information Access and Retrieval; 39 Granular Computing in Medical Informatics; 40 Eigen Fuzzy Sets and Image Information Retrieval; 41 Rough Sets and Granular Computing in Dealing with Missing Attribute Values; 42 Granular Computing in Machine Learning and Data Mining 43 On Group Decision Making, Consensus Reaching, Voting, and Voting Paradoxes under Fuzzy Preferences and a Fuzzy Majority: A Survey and a Granulation Perspective |
| Record Nr. | UNINA-9911019469103321 |
| Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and Its Applications [[electronic resource] ] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / / edited by R. Ramanujam, Sundar Sarukkai
| Logic and Its Applications [[electronic resource] ] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / / edited by R. Ramanujam, Sundar Sarukkai |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 269 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Computers Algorithms Mathematical logic Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Theory of Computation Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
| Soggetto genere / forma |
Kongress.
Madras (2009) |
| ISBN | 3-540-92701-8 |
| Classificazione |
54.72
54.51 54.71 DAT 540f DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Decisions, Actions, and Games: A Logical Perspective -- Machine Checking Proof Theory: An Application of Logic to Logic -- Some Second Order Set Theory -- Connection Matrices for MSOL-Definable Structural Invariants -- Knowledge, Games and Tales from the East -- A Para Consistent Fuzzy Logic -- From Philosophical to Industrial Logics -- Game Quantification Patterns -- Extensive Questions -- An Analytic Logic of Aggregation -- Instantial Relevance in Polyadic Inductive Logic -- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic -- A General Setting for the Pointwise Investigation of Determinacy -- A Two-Dimensional Hybrid Logic of Subset Spaces -- A Unified Framework for Certificate and Compilation for QBF -- Towards Decidability of Conjugacy of Pairs and Triples -- Gautama – Ontology Editor Based on Nyaya Logic -- Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming -- The Art of Non-asserting: Dialogue with N?g?rjuna. |
| Record Nr. | UNISA-996465798003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / / edited by R. Ramanujam, Sundar Sarukkai
| Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / / edited by R. Ramanujam, Sundar Sarukkai |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 269 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
RamanujamR
SarukkaiSundar |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Compilers (Computer programs) Computer science Algorithms Machine theory Artificial Intelligence Programming Techniques Compilers and Interpreters Theory of Computation Formal Languages and Automata Theory |
| ISBN | 3-540-92701-8 |
| Classificazione |
54.72
54.51 54.71 DAT 540f DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Decisions, Actions, and Games: A Logical Perspective -- Machine Checking Proof Theory: An Application of Logic to Logic -- Some Second Order Set Theory -- Connection Matrices for MSOL-Definable Structural Invariants -- Knowledge, Games and Tales from the East -- A Para Consistent Fuzzy Logic -- From Philosophical to Industrial Logics -- Game Quantification Patterns -- Extensive Questions -- An Analytic Logic of Aggregation -- Instantial Relevance in Polyadic Inductive Logic -- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic -- A General Setting for the Pointwise Investigation of Determinacy -- A Two-Dimensional Hybrid Logic of Subset Spaces -- A Unified Framework for Certificate and Compilation for QBF -- Towards Decidability of Conjugacy of Pairs and Triples -- Gautama – Ontology Editor Based on Nyaya Logic -- Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming -- The Art of Non-asserting: Dialogue with N?g?rjuna. |
| Record Nr. | UNINA-9910483622003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programming [[electronic resource] ] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta
| Logic Programming [[electronic resource] ] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 458 p.) |
| Disciplina | 005.115 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Artificial intelligence Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Programming Techniques Artificial Intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction -- Abduction of Linear Arithmetic Constraints -- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre-interpretations -- Deductive Multi-valued Model Checking -- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded Semantics with Disjunction -- Semantics of Framed Temporal Logic Programs -- Practical Higher-Order Pattern Unification with On-the-Fly Raising -- Small Proof Witnesses for LF -- A Type System for CHR -- Decision Support for Personalization on Mobile Devices -- A Generic Framework for the Analysis and Specialization of Logic Programs -- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic -- Modeling Systems in CLP -- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics -- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling -- Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process -- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP -- The MYDDAS Project: Using a Deductive Database for Traffic Characterization -- Open World Reasoning in Datalog -- Optimizing Queries for Heterogeneous Information Sources -- Denotational Semantics Using Horn Concurrent Transaction Logic -- Gentra4cp: A Generic Trace Format for Constraint Programming -- Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary -- Formalization and Verification of Interaction Protocols -- -LTL for Constraint-Based Security Protocol Analysis -- Concurrent Methodologies for Global Optimization -- A Temporal Programming Language for Heterogeneous Information Systems -- Nonmonotonic Logic Programs for the Semantic Web -- ICLP 2005 Doctoral Consortium -- Analysis and Optimization of CHR Programs. |
| Record Nr. | UNISA-996466221903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta
| Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 458 p.) |
| Disciplina | 005.115 |
| Altri autori (Persone) |
GabbrielliMaurizio
GuptaG <1963-> (Gopal) |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Artificial intelligence Compilers (Computer programs) Computer science Machine theory Software Engineering Programming Techniques Artificial Intelligence Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction -- Abduction of Linear Arithmetic Constraints -- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre-interpretations -- Deductive Multi-valued Model Checking -- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded Semantics with Disjunction -- Semantics of Framed Temporal Logic Programs -- Practical Higher-Order Pattern Unification with On-the-Fly Raising -- Small Proof Witnesses for LF -- A Type System for CHR -- Decision Support for Personalization on Mobile Devices -- A Generic Framework for the Analysis and Specialization of Logic Programs -- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic -- Modeling Systems in CLP -- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics -- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling -- Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process -- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP -- The MYDDAS Project: Using a Deductive Database for Traffic Characterization -- Open World Reasoning in Datalog -- Optimizing Queries for Heterogeneous Information Sources -- Denotational Semantics Using Horn Concurrent Transaction Logic -- Gentra4cp: A Generic Trace Format for Constraint Programming -- Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary -- Formalization and Verification of Interaction Protocols -- -LTL for Constraint-Based Security Protocol Analysis -- Concurrent Methodologies for Global Optimization -- A Temporal Programming Language for Heterogeneous Information Systems -- Nonmonotonic Logic Programs for the Semantic Web -- ICLP 2005 Doctoral Consortium -- Analysis and Optimization of CHR Programs. |
| Record Nr. | UNINA-9910483058903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
