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.
Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings / Jürgen Dix [and others] (eds.).
| Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings / Jürgen Dix [and others] (eds.). |
| Estensione | 1 online resource (xiv, 255 pages) : illustrations. |
| Accesso persona | Dix, J. (Jürgen), 1961- |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783642168673
3642168671 9783642149771 3642149774 9783642027338 3642027334 9783642149764 3642149766 |
| Classificazione |
54.10
54.72 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Is Computational Complexity a Barrier to Manipulation? -- Games, Norms and Strategic Notions in Information Flow Security -- Group Announcements: Logic and Games (Abstract of Invited Talk) -- Strong Equivalence in Argumentation -- Regular Papers -- Hypergraphs of Multiparty Secrets -- Combining Logics in Simple Type Theory -- Speculative Abductive Reasoning for Hierarchical Agent Systems -- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of?-Calculus Processes -- What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior -- Verifying Business Process Compliance by Reasoning about Actions -- From Organisation Specification to Normative Programming in Multi-Agent Organisations -- Finding Uniform Strategies for Multi-agent Systems -- Playing Extensive Form Games in Parallel -- Exploring the Boundary of Half Positionality -- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets -- An Agent Language with Destructive Assignment and Model-Theoretic Semantics -- Model Checking Agent Programs by Using the Program Interpreter -- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. |
| Record Nr. | UCHICAGO-11075091 |
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Transactions on computational collective intelligence X / Ngoc-Thanh Nguyen, Joanna Kolodziej, Tadeusz Burczyński, Marenglen Biba (ed.).
| Transactions on computational collective intelligence X / Ngoc-Thanh Nguyen, Joanna Kolodziej, Tadeusz Burczyński, Marenglen Biba (ed.). |
| Estensione | 1 online resource (xii, 206 pages) : illustrations. |
| Accesso persona |
Nguyen, Ngoc Thanh (Computer scientist), editor
Kolodziej, Joanna, editor Burczyński, Tadeusz, editor Biba, Marenglen, editor |
| Genere/Forma |
Electronic books
Ebook |
| ISBN |
9783642384967
364238496X 9783642384950 3642384951 |
| Classificazione | 54.72 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Markov Chain Based Analysis of Agent-Based Immunological System / Aleksander Byrski, Robert Schaefer -- Towards Dynamic Orchestration of Semantic Web Services / Domenico Redavid, Stefano Ferilli -- Agent-Based Framework Facilitating Component-Based Implementation of Distributed Computational Intelligence Systems / Kamil Piętak, Marek Kisiel-Dorohinicki -- A Hardware Collective Intelligence Agent / Kin Fun Li, Darshika G. Perera -- SimISpace2: A Simulation Platform for Exploring Strategic Knowledge Management Processes / Martin Ihrig -- Cloud Search Engine for IaaS / Yuuta Ichikawa, Minoru Uehara -- Data Scheduling in Data Grids and Data Centers: A Short Taxonomy of Problems and Intelligent Resolution Techniques / Joanna Kołodziej, Samee Ullah Khan -- Improving Scalability of an Hybrid Infrastructure for E-Science Applications / Olivier Terzo, Lorenzo Mossucca, Pietro Ruiu -- Energy Aware Communication Protocols for Wireless Sensor Networks / Ewa Niewiadomska-Szynkiewicz -- GPU Acceleration for Hermitian Eigensystems / Michael T. Garba, Horacio González-Vélez -- Scalable and High Performing Learning and Mining in Large-Scale Networked Environments: A State-of-the-art Survey / Evis Trandafili, Marenglen Biba -- Heterarchy in Constructing Decision Trees -- Parallel ACDT / Urszula Boryczka, Jan Kozak -- Decision Support Simulation System Based on Synchronous Manufacturing / F. Javier Otamendi. |
| Record Nr. | UCHICAGO-11078645 |
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Recent trends in applied artificial intelligence : 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, the Netherlands, June 17-21, 2013 : proceedings / Moonis Ali [and others] (eds.).
| Recent trends in applied artificial intelligence : 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, the Netherlands, June 17-21, 2013 : proceedings / Moonis Ali [and others] (eds.). |
| Creatore | [International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (26th : 2013 : Amsterdam, Netherlands)] |
| Estensione | 1 online resource (xx, 697 pages) : illustrations. |
| Accesso persona | Ali, Moonis |
| Genere/Forma |
Electronic books
Conference papers and proceedings Congresses |
| ISBN |
9783642385773
364238577X 9783642385766 3642385761 |
| Classificazione | 54.72 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Auctions and Negotiation. Developing Online Double Auction Mechanism for Fishery Markets / Kazuo Miyashita -- A Mediator-Based Agent Negotiation Protocol for Utilities That Change with Time / Keisuke Hara, Mikoto Okumura, Takayuki Ito -- Cognitive Modeling. Learning Parameters for a Cognitive Model on Situation Awareness / Richard Koopmanschap, Mark Hoogendoorn, Jan Joris Roessingh -- Fostering Social Interaction of Home-Bound Elderly People: The EasyReach System / Roberto Bisiani [and others] -- Cooperative Games with Incomplete Information among Secondary Base Stations in Cognitive Radio Networks / Jerzy Martyna -- Crowd Behavior Modeling. Ant Colony Optimisation for Planning Safe Escape Routes / Morten Goodwin [and others] -- A Spatio-temporal Probabilistic Model of Hazard and Crowd Dynamics in Disasters for Evacuation Planning / Ole-Christoffer Granmo, Jaziar Radianti, Morten Goodwin, Julie Dugdale -- Predicting Human Behavior in Crowds: Cognitive Modeling versus Neural Networks / Mark Hoogendoorn.
Distributed Systems and Networks. Analyzing Grid Log Data with Affinity Propagation / Gabriele Modena, Maarten van Someren -- Using Ising Model to Study Distributed Systems Processing Capability / Facundo Caram [and others] -- Evolutionary Algorithms. Computing the Consensus Permutation in Mallows Distribution by Using Genetic Algorithms / Juan A. Aledo, Jose A. Gámez, David Molina -- A Hybrid Genetic Algorithm for the Maximum Satisfiability Problem / Lin-Yu Tseng, Yo-An Lin -- Knowledge Representation and Reasoning. An Object Representation Model Based on the Mechanism of Visual Perception / Hui Wei, Ziyan Wang -- Web Metadata Extraction and Semantic Indexing for Learning Objects Extraction / John Atkinson [and others] -- Pattern Recognition. Approximately Recurring Motif Discovery Using Shift Density Estimation / Yasser Mohammad, Toyoaki Nishida -- An Online Anomalous Time Series Detection Algorithm for Univariate Data Streams / Huaming Huang, Kishan Mehrotra, Chilukuri K. Mohan -- Assisting Web Site Navigation through Web Usage Patterns / Oznur Kirmemis Alkan, Pinar Karagoz. Robotics. Online Exploratory Behavior Acquisition of Mobile Robot Based on Reinforcement Learning / Manabu Gouko, Yuichi Kobayashi, Chyon Hae Kim -- Improved Sound Source Localization and Front-Back Disambiguation for Humanoid Robots with Two Ears / Ui-Hyun Kim, Kazuhiro Nakadai, Hiroshi G. Okuno -- Designing and Optimization of Omni-Directional Kick for Bipedal Robots / Syed Ali Raza, Sajjad Haider -- Aerial Service Vehicles for Industrial Inspection: Task Decomposition and Plan Execution / Jonathan Cacace [and others] -- A BSO-Based Algorithm for Multi-robot and Multi-target Search / Hannaneh Najd Ataei, Koorush Ziarati, Mohammad Eghtesad -- Text Mining. Economic Sentiment: Text-Based Prediction of Stock Price Movements with Machine Learning and WordNet / Arne Thorvald Gierløff Hollum, Borre P. Mosch, Zoltán Szlávik -- Feature Extraction Using Single Variable Classifiers for Binary Text Classification / Hakan Altınçay -- An Approach to Automated Learning of Conceptual Graphs from Text / Fulvio Rotella, Stefano Ferilli, Fabio Leuzzi -- Semi-supervised Latent Dirichlet Allocation for Multi-label Text Classification / Youwei Lu, Shogo Okada, Katsumi Nitta. Special Session on Advances in Recommender Systems. Recommending Interest Groups to Social Media Users by Incorporating Heterogeneous Resources / Wei Zeng, Li Chen -- Recent Advances in Recommendation Systems for Software Engineering / Robert J. Walker -- WE-DECIDE: A Decision Support Environment for Groups of Users / Martin Stettinger [and others] -- Special Session on Business Process Intelligence. Logic-Based Incremental Process Mining in Smart Environments / Stefano Ferilli, Berardina De Carolis, Domenico Redavid -- Information Mining Processes Based on Intelligent Systems / Ramón García-Martínez, Paola Britos, Dario Rodríguez -- Customer Churn Detection System: Identifying Customers Who Wish to Leave a Merchant / Cosimo Birtolo [and others] -- Special Session on Decision Support for Safetyrelated Systems. Hazard Identification of the Offshore Three-Phase Separation Process Based on Multilevel Flow Modeling and HAZOP / Jing Wu [and others] -- Multilevel Flow Modeling Based Decision Support System and Its Task Organization / Xinxin Zhang, Morten Lind, Ole Ravn -- Simulation-Based Fault Propagation Analysis -- Application on Hydrogen Production Plant / Amir Hossein Hosseini, Sajid Hussain, Hossam A. Gabbar -- Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm / David Parker [and others] -- HAZOP Analysis System Compliant with Equipment Models Based on SDG / Ken Isshiki [and others]. Special Session on Innovations in Intelligent Computation and Applications. TAIEX Forecasting Based on Fuzzy Time Series and Technical Indices Analysis of the Stock Market / Shyi-Ming Chen, Cheng-Yi Wang -- Hierarchical Gradient Diffusion Algorithm for Wireless Sensor Networks / Hong-Chi Shih [and others] -- Constructing a Diet Recommendation System Based on Fuzzy Rules and Knapsack Method / Rung-Ching Chen [and others] -- An Intelligent Stock-Selecting System Based on Decision Tree Combining Rough Sets Theory / Shou-Hsiung Cheng -- Cloud-Based LED Light Management System and Implementation Based-on Wireless Communication / Yi-Ting Chen [and others] -- A Study on Online Game Cheating and the Effective Defense / Albert B. Jeng, Chia Ling Lee -- Credit Rating Analysis with Support Vector Machines and Artificial Bee Colony Algorithm / Mu-Yen Chen, Chia-Chen Chen, Jia-Yu Liu -- An ACO Algorithm for the 3D Bin Packing Problem in the Steel Industry / Miguel Espinheira Silveira, Susana Margarida Vieira, João Miguel Da Costa Sousa. Special Session on Intelligent Image and Signal Processing. Controlling Search Using an S Decreasing Constriction Factor for Solving Multi-mode Scheduling Problems / Reuy-Maw Chen, Chuin-Mu Wang -- Extracting Blood Vessel in Sclera-Conjunctiva Image Based on Fuzzy C-means and Modified Cone Responses / Jzau-Sheng Lin, Yu-Yang Huang, Yu-Yi Liao -- A Spherical Coordinate Based Fragile Watermarking Scheme for 3D Models / Cheng-Chih Huang [and others] -- Palm Image Recognition Using Image Processing Techniques / Wen-Yuan Chen, Yu-Ming Kuo, Chin-Ho Chung -- Liver Cell Nucleuses and Vacuoles Segmentation by Using Genetic Algorithms for the Tissue Images / Ching-Te Wang [and others] -- Mouth Location Based on Face Mask and Projection / Hui-Yu Huang, Yan-Ching Lin -- Environmental Background Sounds Classification Based on Properties of Feature Contours / Tomasz Maka -- On the Prediction of Floor Identification Credibility in RSS-Based Positioning Techniques / Maciej Grzenda -- A Study of Vessel Origin Detection on Retinal Images / Chun-Yuan Yu [and others] -- The Tires Worn Monitoring Prototype System Using Image Clustering Technology / Shih-Yen Huang [and others] -- Quality Assessment Model for Critical Manufacturing Process of Crystal Oscillator / Kuen-Suan Chen [and others] -- Local Skew Estimation in Moving Business Cards / Chun-Ming Tsai -- Special Session on Machine Learning Methods Applied to Manufacturing Processes and Production Systems -- Imbalanced Learning Ensembles for Defect Detection in X-Ray Images / José Francisco Díez-Pastor, César García-Osorio, Víctor Barbero-García -- Improvements in Modelling of Complex Manufacturing Processes Using Classification Techniques / Pedro Santos [and others] -- A Study on the Use of Machine Learning Methods for Incidence Prediction in High-Speed Train Tracks / Christoph Bergmeir [and others] -- Estimating the Maximum Shear Modulus with Neural Networks / Manuel Cruz, Jorge M. Santos, Nuno Cruz. |
| Record Nr. | UCHICAGO-11078650 |
[International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (26th : 2013 : Amsterdam, Netherlands)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
New learning paradigms in soft computing / Lakhmi C. Jain, Janusz Kacprzyk, editors
| New learning paradigms in soft computing / Lakhmi C. Jain, Janusz Kacprzyk, editors |
| Estensione | 1 online resource (xii, 464 pages) |
| Accesso persona |
Jain, Lakhmi (L. C.)
Kacprzyk, J. (Janusz) |
| Genere/Forma | Electronic books |
| ISBN |
9783790818031
3790818038 3790814369 9783790814361 9783790824995 3790824992 |
| Classificazione | 54.72 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Statistical Learning by Natural Gradient Descent -- Granular Networks and Granular Computing -- Learning and Decision-Making in the Framework of Fuzzy Lattices -- Lazy Learning: A Logical Method for Supervised Learning -- Active Learning in Neural Networks -- Knowledge Extraction from Reinforcement Learning -- Reinforcement Learning for Fuzzy Agents: Application to a Pighouse Environment Control -- Performance Comparisons of Neural Networks and Machine Learning Techniques: A Critical Assessment of the Methodology -- Digital Systems Design Through Learning -- Hybrid Inductive Machine Learning: An Overview of CLIP Algorithms -- An Integer Programming Approach to Inductive Learning Using Genetic and Greedy Algorithms -- Using Unlabeled Data for Learning Classification Problems -- Problems of Rule Induction from Preterm Birth Data -- Reduction of Discriminant Rules Based on Frequent Item Set Calculation -- Deriving a Concise Description of Non-Self Patterns in an Artificial Immune System. |
| Record Nr. | UCHICAGO-11079065 |
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Computational intelligence and bioinspired systems : 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005 ; proceedings / Joan Cabestany, Alberto Prieto, Francisco Sandoval (eds.).
| Computational intelligence and bioinspired systems : 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005 ; proceedings / Joan Cabestany, Alberto Prieto, Francisco Sandoval (eds.). |
| Creatore | [International Work-Conference on Artificial and Natural Neural Networks (8th : 2005 : Barcelona, Spain)] |
| Estensione | 1 online resource (xxv, 1260 pages) : illustrations. |
| Accesso persona |
Cabestany, Joan
Prieto, A. (Alberto), 1945- Sandoval, Francisco |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783540321064
3540321063 3540262083 9783540262084 1281403156 9781281403155 |
| Classificazione |
54.72
TP18-532 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mathematical and theoretical methods -- Evolutionary computation -- Neurocomputational inspired models -- Learning and adaptation -- Radial basic functions structures -- Self-organizing networks and methods -- Support vector machines -- Cellular neural networks -- Hybrid systems -- Neuroengineering and hardware implementations -- Pattern recognition -- Perception and robotics -- Applications on data analysis and preprocessing -- Applications on data mining -- Applications on signal processing -- Applications on image processing -- Applications on forecasting -- Applications on independent component analysis and blind source separation -- Applications on power systems -- Other applications. |
| Record Nr. | UCHICAGO-11068351 |
|
[International Work-Conference on Artificial and Natural Neural Networks (8th : 2005 : Barcelona, Spain)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
HCI and usability for education and work : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, proceedings / Andreas Holzinger (ed.).
| HCI and usability for education and work : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, proceedings / Andreas Holzinger (ed.). |
| Creatore | [USAB (Symposium) (4th : 2008 : Graz, Austria)] |
| Estensione | 1 online resource. |
| Accesso persona | Holzinger, Andreas |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
3540893504
9783540893509 9783540893493 3540893490 |
| Classificazione |
54.72
54.59 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-11071556 |
|
[USAB (Symposium) (4th : 2008 : Graz, Austria)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner
| Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner |
| Creatore | [Wagner, G. (Gerd), 1957-] |
| Estensione | 1 online resource (xii, 148 pages). |
| Genere/Forma | Electronic books |
| ISBN |
9783540482888
3540482881 3540576045 9783540576044 0387576045 9780387576046 |
| Classificazione | 54.72 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. General Introduction -- 2. Vivid Knowledge Representation and Reasoning -- 3. Partiality, Paraconsistency and Constructivity -- 4. Vivid Reasoning on the Basis of Facts -- 5. Lindenbaum-Algebraic Semantics of Logic Programs -- 6. Logic Programming with Strong Negation and Inexact Predicates -- 7. Vivid Reasoning on the Basis of Rules -- 8. Further Topics, Open Problems -- An Interpreter for VL in Prolog. |
| Record Nr. | UCHICAGO-11074164 |
|
[Wagner, G. (Gerd), 1957-]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Knowledge discovery, knowledge engineering and knowledge management : first International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised selected papers / Ana Fred [and others] (Eds.).
| Knowledge discovery, knowledge engineering and knowledge management : first International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised selected papers / Ana Fred [and others] (Eds.). |
| Creatore | [IC3K (Conference) (1st : 2009 : Funchal, Madeira Islands)] |
| Estensione | 1 online resource (xiii, 409 pages) : illustrations. |
| Accesso persona | Fred, Ana. |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783642190322
3642190324 3642190316 9783642190315 |
| Classificazione |
54.72
54.60 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Knowledge discovery and information retrieval -- pt. 2. Knowledge engineering and ontology development -- pt. 3. Knowledge management and information sharing. |
| Record Nr. | UCHICAGO-11075515 |
|
[IC3K (Conference) (1st : 2009 : Funchal, Madeira Islands)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Parallel, distributed, and multiagent production systems / Toru Ishida
| Parallel, distributed, and multiagent production systems / Toru Ishida |
| Creatore | [Ishida, Toru] |
| Estensione | 1 online resource (xvi, 166 pages) : illustrations. |
| Genere/Forma | Electronic books |
| ISBN |
9783540490470
3540490477 3540586989 9783540586982 0387586989 9780387586984 |
| Classificazione | 54.72 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-11075838 |
|
[Ishida, Toru]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Nature inspired cooperative strategies for optimization (NICSO 2010) / Juan R. González, David Alejandro Pelta, Carlos Cruz, Germán Terrazas, and Natalio Krasnogor (eds.).
| Nature inspired cooperative strategies for optimization (NICSO 2010) / Juan R. González, David Alejandro Pelta, Carlos Cruz, Germán Terrazas, and Natalio Krasnogor (eds.). |
| Creatore | [NICSO 2010 (2010)] |
| Estensione | 1 online resource (xiii, 400 pages) : illustrations (some color). |
| Accesso persona |
González Juan R., editor.
Pelta, David, editor Cruz, Carlos, editor Terrazas, Germán, editor Krasnogor, Natalio, editor |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783642125386
3642125387 9783642125379 3642125379 |
| Classificazione | 54.72 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-11074476 |
|
[NICSO 2010 (2010)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
