top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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