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.
Advances in Artificial Life [[electronic resource] ] : 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001. Proceedings / / edited by Jozef Kelemen, Petr Sosik
| Advances in Artificial Life [[electronic resource] ] : 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001. Proceedings / / edited by Jozef Kelemen, Petr Sosik |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XX, 728 p.) |
| Disciplina | 570/.1/13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer simulation Life sciences Bioinformatics Computational biology Computers Computer science—Mathematics Artificial Intelligence Simulation and Modeling Life Sciences, general Computer Appl. in Life Sciences Computation by Abstract Devices Mathematics of Computing |
| ISBN | 3-540-44811-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Computing in Nonlinear Media: Make Waves, Study Collisions -- Ant Algorithms Solve Difficult Optimization Problems -- The Shifting Network: Volume Signalling in Real and Robot Nervous Systems -- A Study of Replicators and Hypercycles by Typogenetics -- Emergence of a Super-Turing Computational Potential in Artificial Living Systems -- Agents in Environments -- Eco-Grammars to Model Biological Systems: Adding Probabilities to Agents -- Dynamics of the Environment for Adaptation in Static Resource Models -- Adaptive Behavior through a Darwinist Machine -- Fault-Tolerant Structures: Towards Robust Self-Replication in a Probabilistic Environment -- Survival of the Unfittest? - The Seceder Model and its Fitness Landscape -- Evolving Multi-agent Networks in Structured Environments -- Suicide as an Evolutionarily Stable Strategy -- Eden: An Evolutionary Sonic Ecosystem -- New Hybrid Architecture in Artificial Life Simulation -- “In Silico” Experiments on Heavy Metal Sorption by Algal Biomass -- Spatially Explicit Models of Forager Interference -- Antigens, Antibodies, and the World Wide Web -- I Like What I Know: How Recognition-Based Decisions Can Structure the Environment -- Artificial Chemistry -- Bio-Language for Computing with Membranes -- Artificial Chemistry: Computational Studies on the Emergence of Self-Reproducing Units -- Stability of Metabolic and Balanced Organisations -- Spontaneous Formation of Proto-cells in an Universal Artificial Chemistry on a Planar Graph -- Cellular and Neuronal Systems -- Understanding the Agent’s Brain: A Quantitative Approach -- Observations on Complex Multi-state CAs -- Artificial Neural Networks and Artificial Evolution as Tools to Study Organization of Spatial Behavior in Rats -- transsys: A Generic Formalism for Modelling Regulatory Networks in Morphogenesis -- Evolution of Reinforcement Learning in Uncertain Environments: Emergence of Risk-Aversion and Matching -- Searching for One-Dimensional Cellular Automata in the Absence of a priori Information -- Neutral Networks and Evolvability with Complex Genotype-Phenotype Mapping -- Externally Controllable and Destructible Self-Replicating Loops -- The Effect of Neuromodulations on the Adaptability of Evolved Neurocontrollers -- Collaborative Systems -- Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars -- A Three-Dimensional Environment for Self-Reproducing Programs -- Pareto Optimality in Coevolutionary Learning -- On Emergence in Evolutionary Multiagent Systems -- Division of Labour in Simulated Ant Colonies Under Spatial Constraints -- Emergent Organisation in Colonies of Simple Automata -- Evolving Communication without Dedicated Communication Channels -- Modelling Animal Behaviour in Contests: Conventions for Resource Allocation -- A Model of Human Mate Choice with Courtship That Predicts Population Patterns -- Establishing Communication Systems without Explicit Meaning Transmission -- The Difficulty of the Baldwinian Account of Linguistic Innateness -- Evolution -- Making Evolution an Offer It Can’t Refuse: Morphology and the Extradimensional Bypass -- Model of Evolutionary Emergence of Purposeful Adaptive Behavior. The Role of Motivation -- Passing the ALife Test: Activity Statistics Classify Evolution in Geb as Unbounded -- On the Evolution of Artificial Consciousness -- Some Effects of Individual Learning on the Evolution of Sensors -- Transitions in a Simple Evolutionary Model -- Towards the Implementation of Evolving Autopoietic Artificial Agents -- Verification of Text Transcription History by Using Evolutionary Algorithms -- Genetic Algorithm as a Result of Phenomenological Reduction of Natural Evolution -- String Rewriting Grammar Optimized Using an Evolvability Measure -- A Visually-Based Evolvable Control Architecture for Agents in Interactive Entertainment Applications -- Symbiotic Composition and Evolvability -- Robotics -- nBrains A New Type of Robot Brain -- Can Wheeled Robots Illuminate Adaptive Behaviour? -- Evolution, Adaption, and Behavioural Holism in Artificial Intelligence -- Evolving Bipedal Locomotion with a Dynamically-Rearranging Neural Network -- SlugBot: A Robot Predator -- Mobile Robot Control Based on Boolean Logic with Internal Memory -- Emergence of Cooperative Tactics by Soccer Agents with Ability of Prediction and Learning -- Patch Sorting: Multi-object Clustering Using Minimalist Robots -- Behavioural Formation Management in Robotic Soccer -- Control System of Flexible Structure Multi-cell Robot Using Amoeboid Self-Organization Mode -- Towards Self-Organising Structure Formations: A Decentralized Approach -- Vision,Visualisation,Language,and Communication -- Affective Interaction between Humans and Robots -- The Survival of the Smallest: Stability Conditions for the Cultural Evolution of Compositional Language -- Smooth Operator? Understanding and Visualising Mutation Bias -- The Use of Latent Semantic Indexing to Identify Evolutionary Trajectories in Behaviour Space -- Data Visualization Method for Growing Self-Organizing Networks with Ant Clustering Algorithm -- Insect Inspired Visual Control of Translatory Flight -- The Importance of Rapid Cultural Convergence in the Evolution of Learned Symbolic Communication -- Emergent Syntax: The Unremitting Value of Computational Modeling for Understanding the Origins of Complex Language -- Miscellaneous -- Amorphous Geometry -- Artificial Life and Historical Processes -- Aesthetic Fitness and Artificial Evolution for the Selection of Imagery from the Mythical Infinite Library -- Distributing a Mind on the Internet: The World-Wide-Mind -- The Dimensions of the Cyber Universe -- Taxonomy in Alife. Measures of Similarity for Complex Artificial Organisms -- The ?-Game System: An Approach to a Meta-game -- Formal Description of Autopoiesis Based on the Theory of Category -- An Information-Theoretic Approach for the Quantification of Relevance -- First Implementation of the World-Wide-Mind -- Evolving Lives: The Individual Historical Dimension in Evolution. |
| Record Nr. | UNISA-996465813403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Life : 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001. Proceedings / / edited by Jozef Kelemen, Petr Sosik
| Advances in Artificial Life : 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001. Proceedings / / edited by Jozef Kelemen, Petr Sosik |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XX, 728 p.) |
| Disciplina | 570/.1/13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer simulation Life sciences Bioinformatics Computational biology Computers Computer science—Mathematics Artificial Intelligence Simulation and Modeling Life Sciences, general Computer Appl. in Life Sciences Computation by Abstract Devices Mathematics of Computing |
| ISBN | 3-540-44811-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Computing in Nonlinear Media: Make Waves, Study Collisions -- Ant Algorithms Solve Difficult Optimization Problems -- The Shifting Network: Volume Signalling in Real and Robot Nervous Systems -- A Study of Replicators and Hypercycles by Typogenetics -- Emergence of a Super-Turing Computational Potential in Artificial Living Systems -- Agents in Environments -- Eco-Grammars to Model Biological Systems: Adding Probabilities to Agents -- Dynamics of the Environment for Adaptation in Static Resource Models -- Adaptive Behavior through a Darwinist Machine -- Fault-Tolerant Structures: Towards Robust Self-Replication in a Probabilistic Environment -- Survival of the Unfittest? - The Seceder Model and its Fitness Landscape -- Evolving Multi-agent Networks in Structured Environments -- Suicide as an Evolutionarily Stable Strategy -- Eden: An Evolutionary Sonic Ecosystem -- New Hybrid Architecture in Artificial Life Simulation -- “In Silico” Experiments on Heavy Metal Sorption by Algal Biomass -- Spatially Explicit Models of Forager Interference -- Antigens, Antibodies, and the World Wide Web -- I Like What I Know: How Recognition-Based Decisions Can Structure the Environment -- Artificial Chemistry -- Bio-Language for Computing with Membranes -- Artificial Chemistry: Computational Studies on the Emergence of Self-Reproducing Units -- Stability of Metabolic and Balanced Organisations -- Spontaneous Formation of Proto-cells in an Universal Artificial Chemistry on a Planar Graph -- Cellular and Neuronal Systems -- Understanding the Agent’s Brain: A Quantitative Approach -- Observations on Complex Multi-state CAs -- Artificial Neural Networks and Artificial Evolution as Tools to Study Organization of Spatial Behavior in Rats -- transsys: A Generic Formalism for Modelling Regulatory Networks in Morphogenesis -- Evolution of Reinforcement Learning in Uncertain Environments: Emergence of Risk-Aversion and Matching -- Searching for One-Dimensional Cellular Automata in the Absence of a priori Information -- Neutral Networks and Evolvability with Complex Genotype-Phenotype Mapping -- Externally Controllable and Destructible Self-Replicating Loops -- The Effect of Neuromodulations on the Adaptability of Evolved Neurocontrollers -- Collaborative Systems -- Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars -- A Three-Dimensional Environment for Self-Reproducing Programs -- Pareto Optimality in Coevolutionary Learning -- On Emergence in Evolutionary Multiagent Systems -- Division of Labour in Simulated Ant Colonies Under Spatial Constraints -- Emergent Organisation in Colonies of Simple Automata -- Evolving Communication without Dedicated Communication Channels -- Modelling Animal Behaviour in Contests: Conventions for Resource Allocation -- A Model of Human Mate Choice with Courtship That Predicts Population Patterns -- Establishing Communication Systems without Explicit Meaning Transmission -- The Difficulty of the Baldwinian Account of Linguistic Innateness -- Evolution -- Making Evolution an Offer It Can’t Refuse: Morphology and the Extradimensional Bypass -- Model of Evolutionary Emergence of Purposeful Adaptive Behavior. The Role of Motivation -- Passing the ALife Test: Activity Statistics Classify Evolution in Geb as Unbounded -- On the Evolution of Artificial Consciousness -- Some Effects of Individual Learning on the Evolution of Sensors -- Transitions in a Simple Evolutionary Model -- Towards the Implementation of Evolving Autopoietic Artificial Agents -- Verification of Text Transcription History by Using Evolutionary Algorithms -- Genetic Algorithm as a Result of Phenomenological Reduction of Natural Evolution -- String Rewriting Grammar Optimized Using an Evolvability Measure -- A Visually-Based Evolvable Control Architecture for Agents in Interactive Entertainment Applications -- Symbiotic Composition and Evolvability -- Robotics -- nBrains A New Type of Robot Brain -- Can Wheeled Robots Illuminate Adaptive Behaviour? -- Evolution, Adaption, and Behavioural Holism in Artificial Intelligence -- Evolving Bipedal Locomotion with a Dynamically-Rearranging Neural Network -- SlugBot: A Robot Predator -- Mobile Robot Control Based on Boolean Logic with Internal Memory -- Emergence of Cooperative Tactics by Soccer Agents with Ability of Prediction and Learning -- Patch Sorting: Multi-object Clustering Using Minimalist Robots -- Behavioural Formation Management in Robotic Soccer -- Control System of Flexible Structure Multi-cell Robot Using Amoeboid Self-Organization Mode -- Towards Self-Organising Structure Formations: A Decentralized Approach -- Vision,Visualisation,Language,and Communication -- Affective Interaction between Humans and Robots -- The Survival of the Smallest: Stability Conditions for the Cultural Evolution of Compositional Language -- Smooth Operator? Understanding and Visualising Mutation Bias -- The Use of Latent Semantic Indexing to Identify Evolutionary Trajectories in Behaviour Space -- Data Visualization Method for Growing Self-Organizing Networks with Ant Clustering Algorithm -- Insect Inspired Visual Control of Translatory Flight -- The Importance of Rapid Cultural Convergence in the Evolution of Learned Symbolic Communication -- Emergent Syntax: The Unremitting Value of Computational Modeling for Understanding the Origins of Complex Language -- Miscellaneous -- Amorphous Geometry -- Artificial Life and Historical Processes -- Aesthetic Fitness and Artificial Evolution for the Selection of Imagery from the Mythical Infinite Library -- Distributing a Mind on the Internet: The World-Wide-Mind -- The Dimensions of the Cyber Universe -- Taxonomy in Alife. Measures of Similarity for Complex Artificial Organisms -- The ?-Game System: An Approach to a Meta-game -- Formal Description of Autopoiesis Based on the Theory of Category -- An Information-Theoretic Approach for the Quantification of Relevance -- First Implementation of the World-Wide-Mind -- Evolving Lives: The Individual Historical Dimension in Evolution. |
| Record Nr. | UNINA-9910143626403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Aspects and Prospects of Theoretical Computer Science [[electronic resource] ] : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings / / edited by Jürgen Dassow, Jozef Kelemen
| Aspects and Prospects of Theoretical Computer Science [[electronic resource] ] : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings / / edited by Jürgen Dassow, Jozef Kelemen |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (XIII, 299 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Theory of Computation |
| ISBN | 3-540-46869-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Methods for generating deterministic fractals and image compression -- Optimum simulation of meshes by small hypercubes -- Seven hard problems in symbolic background knowledge acquisition -- Subsequential functions: Characterizations, minimization, examples -- Past proves more invariance properties but not pca's -- Complexity issues in discrete neurocomputing -- Two-way reading on words -- Proofs and reachability problem for ground rewrite systems -- Problems complete for ?L -- Constructive matching — Explanation based methodology for inductive theorem proving -- Characterizing complexity classes by higher type -- The distributed termination problem : Formal solution and correctness based on petri nets -- Greedy compression systems -- A DIV(N) depth Boolean circuit for smooth modular inverse -- Learning by conjugate gradients -- Monoids described by pushdown automata -- Optimal parallel 3-colouring algorithm for rooted trees and its application -- Hierarchies over the context-free languages -- A hierarchy of unary primitive recursive string-functions -- Minimizing picture words -- Remarks on the frequency-coded neural nets complexity -- Picture generation using matrix systems -- Representing heuristic-relevant information for an automated theorem prover -- A new method for proving lower bounds in the model of algebraic decision trees -- Area time squared and area complexity of VLSI computations is strongly unclosed under union and intersection -- Decision procedure for checking validity of PAL formulas. |
| Record Nr. | UNISA-996465588403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Beyond Artificial Intelligence : The Disappearing Human-Machine Divide / / edited by Jan Romportl, Eva Zackova, Jozef Kelemen
| Beyond Artificial Intelligence : The Disappearing Human-Machine Divide / / edited by Jan Romportl, Eva Zackova, Jozef Kelemen |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (218 p.) |
| Disciplina | 006.3 |
| Collana | Topics in Intelligent Engineering and Informatics |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-319-09668-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Disappearing Human-Machine Divide -- How We're Predicting AI - or Failing to -- Intelligence Explosion Quest for Humankind -- Cyborg Tales: The Reinvention of the Human in the Information Age -- Heteronomous Humans and Autonomous Agents: Toward Artifcial Relational Intelligence -- Moral Enhancement and Artifcial Intelligence: Moral AI? -- Emotion, Artifcial Intelligence, and Ethics -- The Stuff that Dreams Are Made of: AI in Contemporary Science Fiction -- Why Are We Afraid of Robots? The Role of Projection in the Popular Conception of Robots -- A Visit on the Uncanny Hill -- Desire-Based Model of Reasoning -- A Computational Behavior Model for Life-Like Intelligent Agents -- From Gobble to Zen -- Answering Curious Questions about Artifcial Intelligence -- Biological and Artifcial Machines -- Naturalness of Artifcial Intelligence. |
| Record Nr. | UNINA-9910299859503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beyond Artificial Intelligence : Contemplations, Expectations, Applications / / edited by Jozef Kelemen, Jan Romportl, Eva Zackova
| Beyond Artificial Intelligence : Contemplations, Expectations, Applications / / edited by Jozef Kelemen, Jan Romportl, Eva Zackova |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (242 p.) |
| Disciplina | 006.3 |
| Collana | Topics in Intelligent Engineering and Informatics |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN |
1-283-91043-8
3-642-34422-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. I. Future of artificial intelligence -- pt. II. Nature-inspired models -- pt. III. When artificial becomes natural. |
| Record Nr. | UNINA-9910437920203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computation, Cooperation, and Life [[electronic resource] ] : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday / / edited by Jozef Kelemen, Alica Kelemenová
| Computation, Cooperation, and Life [[electronic resource] ] : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday / / edited by Jozef Kelemen, Alica Kelemenová |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XII, 217 p. 13 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Discrete mathematics Theory of Computation Formal Languages and Automata Theory Discrete Mathematics in Computer Science |
| ISBN | 3-642-20000-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction: Impact of GP’s Scientific Work -- Knowing All Optimal Solutions Does Not Help for TSP Reoptimization -- A Recurrent Enumeration of Free Hypermultisets -- Context Insertions -- A General Framework for Regulated Rewriting Based on the Applicability of Rules -- CD Grammar Systems: Competence and Confidence -- Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence -- On the Expressive Power of Valences in Cooperating Distributed Grammar Systems.-Generative Power of Eco-Colonies -- Selected Topics in Computational Complexity of Membrane Systems -- A Temporal Logic for Mutual Mobile Membranes with Objects on Surface -- Computing the Maximum Bisimulation with Spiking Neural P Systems -- P Colonies and their Extensions -- On the Parallelizability of Languages Accepted by P Automata -- On Some Biologically Motivated Control Devices for Parallel Rewriting -- Reaction Systems with Duration -- Nanomachine Computing by Quorum Sensing. |
| Record Nr. | UNISA-996465335003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Artificial Intelligence Research [[electronic resource] ] : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings / / edited by Philippe Jorrand, Jozef Kelemen
| Fundamentals of Artificial Intelligence Research [[electronic resource] ] : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings / / edited by Philippe Jorrand, Jozef Kelemen |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 260 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-38420-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | User-oriented theorem proving with the ATINF graphic proof editor -- A modal analysis of possibility theory -- Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paper -- Relational proof systems for some AI logics -- Formal grammars and cognitive architectures -- Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines -- A semantic characterization of disjunctive relations -- Execution of defeasible temporal clauses for building preferred models -- On the phenomenon of flattening “flexible prediction” concept hierarchy -- Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints -- An approach to data-driven learning -- Extending abduction from propositional to first-order logic -- Building in equational theories into the connection method -- Logical fiberings and polycontextural systems -- Automated deduction with associative commutative operators -- Towards a lattice of knowledge representation systems -- Inconsistencies handling: nonmonotonic and paraconsistent reasoning -- An approach to structural synthesis of data processing programs -- Negation as failure and intuitionistic three-valued logic -- Symbolic Computation and Artificial Intelligence. |
| Record Nr. | UNISA-996465658703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Machines, Languages, and Complexity [[electronic resource] ] : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions / / edited by Jürgen Dassow, Jozef Kelemen
| Machines, Languages, and Complexity [[electronic resource] ] : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions / / edited by Jürgen Dassow, Jozef Kelemen |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 248 p.) |
| Disciplina | 621.39 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computers Mathematical logic Artificial intelligence Computer Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-48203-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Questions of decidability for context-free chain code picture languages -- Chomsky hierarchy and communication complexity -- Complexity theory and formal languages -- Rational cones and commutations -- A remark on some classifications of Indian parallel languages -- An extension of the Krohn-Rhodes decomposition of automata -- A survey of two-dimensional automata theory -- The simulation of two-dimensional one-marker automata by three-way turing machines -- Some properties of space-bounded synchronized alternating turing machines with only universal states -- The virtual floating grid file -- A partially persistent data structure for the set-union problem with backtracking -- A note on the computational complexity of bracketing and related problems -- Postorder hierarchy for path compressions and set union -- The convex hull problem on grids computational and combinatorial aspects -- The riches of rectangles -- The limitations of partial evaluation -- Algorithmic learning from incomplete information: Principles and problems -- A cryptosystem based on propositional logic -- Tutorial: Cryptography and data security. |
| Record Nr. | UNISA-996465727003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trends, Techniques, and Problems in Theoretical Computer Science [[electronic resource] ] : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986 / / edited by Alica Kelemenova, Jozef Kelemen
| Trends, Techniques, and Problems in Theoretical Computer Science [[electronic resource] ] : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986 / / edited by Alica Kelemenova, Jozef Kelemen |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (VIII, 220 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Mathematical logic Artificial intelligence Biomathematics Statistics Computation by Abstract Devices Mathematical Logic and Formal Languages Artificial Intelligence Mathematical and Computational Biology Statistics for Life Sciences, Medicine, Health Sciences |
| ISBN | 3-540-48008-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lower bound techniques for VLSI algorithms -- The equivalence of mappings on languages -- Kleene's theorem revisited -- Some combinatorial problems concerning finite languages -- A connection between descriptional complexity of context-free grammars and grammar form theory -- Basic ideas of selective substitution grammars -- Some recent restrictions in the derivation of context-free grammars -- Recent results on the theory of homogeneous structures -- A note on the ratio function in DOL systems -- Models for multicellular development: Characterization, inference and complexity of L-systems -- A formal model of knowledge-based systems -- Basic complexity analysis of hypothesis formation -- Perspectives of logic programming. |
| Altri titoli varianti | Selected Contributions |
| Record Nr. | UNISA-996465798803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||