AI 2012: Advances in Artificial Intelligence [[electronic resource] ] : 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings / / edited by Michael Thielscher, Dongmo Zhang |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XX, 917 p. 244 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Algorithms Application software Computers Information storage and retrieval Optical data processing Artificial Intelligence Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Computation by Abstract Devices Information Storage and Retrieval Image Processing and Computer Vision |
ISBN | 3-642-35101-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Agents -- Measuring the Performance of Online Opponent Models in Automated Bilateral Negotiation -- Optimistic Agents Are Asymptotically Optimal -- An Enhanced Multi-Agent System with Evolution Mechanism to Approximate Physarum Transport Networks -- Applications Predicting Shellfish Farm Closures with Class Balancing Methods -- Automatic Han Chinese Folk Song Classification Using Extreme Learning Machines -- People-to-People Recommendation Using Multiple Compatible Subgroups -- Automatic Scoring of Erythema and Scaling Severity in Psoriasis Diagnosis -- A Multilayered Ensemble Architecture for the Classification of Masses in Digital Mammograms -- Refined Distractor Generation with LSA and Stylometry for Automated Multiple Choice Question Generation -- A New Genetic Algorithm for Simplified Protein Structure Prediction -- Generating Realistic Online Auction Data -- Computer Vision A Robust Global Motion Estimation for Digital Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge Detection -- An Abstract Deep Network for Image Classification -- A Dynamic Approach for Detecting Naturalistic Affective States from Facial Videos during HCI -- Constraints and Search -- A Self-adaptive Differential Evolution Algorithm with Constraint Sequencing -- On the Violation of Circuits in Decomposable Negation Normal Form -- The RegularGcc Matrix Constraint -- A Method to Avoid Duplicative Flipping in Local Search for SAT -- Anytime Algorithms for Biobjective Heuristic Search -- ICHEA for Discrete Constraint Satisfaction Problems -- Anytime Column Search -- Evolutionary Computation Genetic Programming for Biomarker Detection in Mass Spectrometry Data -- An Evolutionary Approach for the Design of Autonomous Underwater Vehicles -- Unsupervised Learning of Mutagenesis Molecules Structure Based on an Evolutionary-Based Features Selection in DARA -- Inference of a Phylogenetic Tree: Hierarchical Clustering versus Genetic Algorithm -- A Dimension Reduction Approach to Classification Based on Particle Swarm Optimisation and Rough Set Theory -- Evolving Plastic Neural Networks for Online Learning: Review and Future Directions -- A Multimodal Problem for Competitive Coevolution -- XCSR with Computed Continuous Action -- A Memetic Algorithm for Efficient Solution of 2D and 3D Shape Matching Problems -- Local Search in Parallel Linear Genetic Programming for Multiclass Classification -- Game Playing -- Opponent’s Style Modeling Based on Situations for Bayesian Poker -- Game Designers Training First Person Shooter Bots -- Games with Ambiguous Payoffs and Played by Ambiguity and Regret Minimising Players -- Information Retrieval Query Expansion Powered by Wikipedia Hyperlinks -- Constrained Grouped Sparsity -- Reverse Active Learning for Optimising Information Extraction Training Production -- Adopting Relevance Feature to Learn Personalized Ontologies -- Towards Domain Independent Why Text Segment Classification Based on Bag of Function Words -- Knowledge Representation A Delayed Splitting Bottom-Up Procedure for Model Generation -- A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies -- Normal Modal Preferential Consequence -- Trust in Context -- Complex Analogies: Remarks on the Complexity of HDTP -- A General Representation and Approximate Inference Algorithm for Sensing Actions -- Systematicity, Accessibility, and Universal Properties -- RDL: Enhancing Description Logic with Rules -- Machine Learning Approximate Document Outlier Detection Using Random Spectral Projection -- Exploration / Exploitation Trade-Off in Mobile Context-Aware Recommender Systems -- Simultaneous Interval Regression for K-Nearest Neighbor -- Kernel-Tree: Mining Frequent Patterns in a Data Stream Based on Forecast Support -- An Empirical Comparison of Two Common Multiobjective Reinforcement Learning Algorithms -- A Comparative Study of Sampling Methods and Algorithms for Imbalanced Time Series Classification -- An Efficient Adversarial Learning Strategy for Constructing Robust Classification Boundaries -- Signal Selection for Sleep Apnea Classification -- Minimum Message Length Inference and Mixture Modelling of Inverse Gaussian Distributions -- A Probabilistic Least Squares Approach to Ordinal Regression -- Bagging Ensemble Selection for Regression -- Fixed Frame Temporal Pooling -- DIKEA: Domain-Independent Keyphrase Extraction Algorithm -- Evolving Event Detectors in Multi-channel Sensor Data -- Improving Classification Accuracy on Uncertain Data by Considering Multiple Subclasses -- Planning and Scheduling -- Hierarchical Multi-agent Distribution Planning -- Generating Project Plans for Data Center Transformations -- Planning with Action Prioritization and New Benchmarks for Classical Planning -- Efficient Solution of Capacitated Arc Routing Problems with a Limited Computational Budget -- Block-Structured Plan Deordering -- Ride-Sharing: A Multi Source-Destination Path Planning Approach -- Robotics -- A Novel Approach to Ball Detection for Humanoid Robot Soccer -- Analysis of Cluster Formation Techniques for Multi-robot Task Allocation Using Sequential Single-Cluster Auctions -- On-Line Model-Based Continuous State Reinforcement Learning Using Background Knowledge -- Uncertainty in AI -- A Novel D-S Theory Based AHP Decision Apparatus under Subjective Factor Disturbances -- MML Logistic Regression with Translation and Rotation Invariant Priors -- Probabilistic Model-Based Assessment of Information Quality in Uncertain Domains -- Causal Discovery of Dynamic Bayesian Networks. |
Record Nr. | UNISA-996466285203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (IX, 173 p.) |
Disciplina | 004n/a |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Computer logic Computers Data structures (Computer science) Computer science—Mathematics Mathematical Logic and Formal Languages Logics and Meanings of Programs Theory of Computation Data Structures and Information Theory Mathematics of Computing Models and Principles |
Soggetto genere / forma |
Dresden (2008)
Kongress. |
ISBN | 3-642-02734-2 |
Classificazione |
DAT 540f
DAT 709f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
Record Nr. | UNISA-996465732403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers / / Michael Fisher, Fariba Sadri, Michael Thielscher (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
Descrizione fisica | 1 online resource (IX, 173 p.) |
Disciplina | 004n/a |
Altri autori (Persone) |
FisherMichael <1962->
SadriFariba <1956-> ThielscherMichael |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 7, Artificial intelligence |
Soggetto topico |
Computer logic
Intelligent agents (Computer software) |
ISBN | 3-642-02734-2 |
Classificazione |
DAT 540f
DAT 709f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
Altri titoli varianti |
CLIMA IX
CLIMA 9 CLIMA nine |
Record Nr. | UNINA-9910483811903321 |
Berlin ; ; New York, : Springer, c2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Games : 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers / / edited by Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 179 p. 59 illus.) |
Disciplina | 794.8 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Artificial intelligence
Personal computers Computer science—Mathematics Computers Artificial Intelligence Personal Computing Mathematics of Computing Theory of Computation |
ISBN | 3-319-57969-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910254818803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Games : Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers / / edited by Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 179 p. 51 illus.) |
Disciplina | 794.8 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Artificial intelligence
Personal computers Computer science—Mathematics Computers Artificial Intelligence Personal Computing Mathematics of Computing Theory of Computation |
ISBN | 3-319-39402-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910254995303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
KI 2014: Advances in Artificial Intelligence [[electronic resource] ] : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings / / edited by Carsten Lutz, Michael Thielscher |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 321 p. 72 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages |
ISBN | 3-319-11206-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cognitive Modeling -- Computer Vision -- Constraint Satisfaction, Search, and Optimization -- Knowledge Representation and Reasoning -- Machine Learning and Data Mining -- Planning and Scheduling. |
Record Nr. | UNISA-996199684103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
KI 2014: Advances in Artificial Intelligence : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings / / edited by Carsten Lutz, Michael Thielscher |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 321 p. 72 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages |
ISBN | 3-319-11206-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cognitive Modeling -- Computer Vision -- Constraint Satisfaction, Search, and Optimization -- Knowledge Representation and Reasoning -- Machine Learning and Data Mining -- Planning and Scheduling. |
Record Nr. | UNINA-9910484850303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|