close
1.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
Teleo-Reactive Abductive Logic Programs / Fariba Sadri
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni
What Is Negation as Failure? / Dov M. Gabbay
Temporal Reasoning and Action Languages / Part II:
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala
Argumentation and the Event Calculus / Evgenios Hadjisoteriou
Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond
Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek
GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer
AI and Law / Part III:
Open Texture and Argumentation: What Makes an Argument Persuasive?
Irrationality in Persuasive Argumentation / Paul E. Dunne
Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken
Deontic Logic and Norm-Governed Systems / Part IV:
On the Representation of Normative Sentences in FOL / Steven O. Kimbrough
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent
Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma
Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto
Logical Approaches to Policies and Authorization / Part V:
Logical Approaches to Authorization Policies
Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky
Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt
Author Index
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
2.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
3.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
4.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
6.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
7.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
8.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
9.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Special Sessions
Methods of Classifier Fusion
Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov ; Dejan Gjorgjevikj
Ensemble Pruning Using Harmony Search / Shina Sheen ; S.V. Aishwarya ; R. Anitha ; S.V. Raghavan ; S.M. Bhaskar
A First Study on Decomposition Strategies with Data with Class Noise Using Decision Trees / José A. Sáez ; Mikel Galar ; Julián Luengo ; Francisco Herrera
Combining the Advantages of Neural Networks and Decision Trees for Regression Problems in a Steel Temperature Prediction System / Miroslaw Kordos ; Piotr Kania ; Pawel Budzyna ; Marcin Blachnik ; Tadeusz Wieczorek ; Slawomir Golak
Transfer Learning Approach to Debt Portfolio Appraisal / Tomasz Kajdanounicz ; Slawomir Plamowski ; Przemyslaw Kazienko ; Wojciech Indyk
Generalized Weighted Majority Voting with an Application to Algorithms Having Spatial Output / Henrietta Toman ; Laszlo Kovacs ; Agnes Jonas ; Lajos Hajdu ; Andras Hajdu
HAIS for Computer Security (HAISFCS)
Towards the Reduction of Data Used for the Classification of Network Flows / Maciej Grzenda
Encrypting Digital Images Using Cellular Automata / A. Martín del Rey ; G. Rodríguez Sánchez ; A. de la Villa Cuenca
Self-Organizing Maps versus Growing Neural Gas in Detecting Data Outlines for Security Applications / Zorana Banković ; David Fraga ; Juan Carlos Vallejo ; José M. Moya
Cryptographic Applications of 3x3 Block Upper Triangular Matrices / Rafael Álvarez ; Francisco Martínez ; José-Francisco Vicent ; Antonio Zamora
Digital Chaotic Noise Using Tent Map without Scaling and Discretization Process / Ruben Vazquez-Medina ; José Luis Del-Río-Correa ; César Enrigue Rojas-López ; José Alejandro Díaz-Méndez
Data Mining: Data Preparation and Analysis
Hubness-Aware Shared Neighbor Distances for High-Dimensional k-Nearest Neighbor Classification / Nenad Tomasev ; Dunja Mladenic
Comparison of Competitive Learning for SOM Used in Classification of Partial Discharge / Rubén Jaramillo-Vacio ; Alberto Ochoa-Zezzatti ; Armando Rios-Lira
Identification of Different Types of Minority Class Examples in Imbalanced Data / Krystyna Napierala ; Jerzy Stefanowski
Non-Disjoint Discretization for Aggregating One-Dependence Estimator Classifiers / Ana M. Martínez ; Geoffrey I. Webb ; M. Julia Flores ; José A. Gámez
An Adaptive Hybrid and Cluster-Based Model for Speeding Up the k-NN Classifier / Stefanos Ougiaroglou ; Georgios Evangelidis ; Dimitris A. Dervos
A Co-evolutionary Framework for Nearest Neighbor Enhancement: Combining Instance and Feature Weighting with Instance Selection / Joaquín Derrac ; Isaac Triguero ; Salvador García
Improving Multi-label Classifiers via Label Reduction with Association Rules / Francisco Charte ; Antonio Rivera ; María José del Jesús
A GA-Based Wrapper Feature Selection for Animal Breeding Data Mining / Olgierd Unold ; Maciej Dobrowolski ; Henryk Maciejewski ; Pawel Skrobanek ; Ewa Walkowicz
A Simple Noise-Tolerant Abstraction Algorithm for Fast k-NN Classification
Hybrid Artificial Intelligence Systems in Management of Production Systems
Adaptive Inventory Control in Production Systems / Balázs Lénárt ; Katarzyna Grzybowska ; Mónika Cimer
Hybrid Artificial Intelligence System in Constraint Based Scheduling of Integrated Manufacturing ERP Systems / Izabela Rojek ; Mieczyslaw Jagodizinski
Intelligent Data Processing in Recycling of Household Appliances / Edward Chlebus ; Kamil Krot ; Michal Kuliberda ; Boleslaw Jodkowski
Assessment of Risk in a Production System with the Use of the FMEA Analysis and Linguistic Variables / Anna Burduk
Hybrid Methods Aiding Organisational and Technological Production Preparation Using Simulation Models of Nonlinear Production Systems / Arkadiusz Kowalski ; Tomasz Marut
The Concept of Intelligent System for Horizontal Transport in a Copper Ore Mine / Tomasz Chlebus ; Pawel Stefaniak
Integration Production Planning and Scheduling Systems for Determination of Transitional Phases in Repetitive Production / Damian Krenczyk ; Krzysztof Kalinowski ; Cezary Crabowik
The Hybrid Method of Knowledge Representation in a CAPP Knowledge Based System / Cezary Grabowik
Hybrid Artificial Intelligent Systems for Ordinal Regression
An Experimental Study of Different Ordinal Regression Methods and Measures / P.A. Gutiérrez ; M. Pérez-Ortiz ; F. Fernández-Navarro ; J. Sánchez-Monedero ; C. Hervás-Martínez
Neural Network Ensembles to Determine Growth Multi-classes in Predictive Microbiology / Huanhuan Chen ; P. A. Gutiérrez ; Xin Yao
Ordinal Classification Using Hybrid Artificial Neural Networks with Projection and Kernel Basis Functions / M. Dorado-Moreno
Hybrid Metaheuristics for Combinatorial Optimization and Modelling Complex Systems
A Genetic Programming Approach for Solving the Linear Ordering Problem / P. C. Pop ; O. Matei
Comparison of Fuzzy Functions for Low Quality Data GAP Algorithms / Enrique de la Cal ; José R. Villar ; Marco García-Tamargo ; Javier Sedano
A Simple Artificial Chemistry Model for Nash Equilibria Detection in Large Cournot Games / Rodica Ioana Lung ; Lucian Sturzu-Nastase
Dynamics of Networks Evolved for Cellular Automata Computation / Anca Gog ; Camelia Chira
From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs / Marco Pota ; Massimo Esposito ; Giuseppe De Pietro
Combining Metaheuristic Algorithms to Solve a Scheduling Problem / Ma Belén Vaquerizo ; Bruno Baruque ; Emilio Corchado
Hybrid Computational Intelligence and Lattice Computing for Image and Signal Processing
Image Analysis Pipeline for Automatic Karyotyping / Izaro Goienetxea ; Iñigo Barandiaran ; Carlos Jauquicoa ; Grégory Maclair ; Manuel Graña
A Hybrid Gradient for n-Dimensional Images through Hyperspherical Coordinates / Ramón Moreno
A Hybrid Segmentation of Abdominal CT Images / Josu Maiora
Hybrid Computational Methods for Hyperspectral Image Analysis / Miguel A. Veganzones
Image Security and Biometrics: A Review / Ion Marqués
Cocaine Dependent Classification Using Brain Magnetic Resonance Imaging / M. Termenon ; A. Barrós-Loscertales ; J.C. Bustamante ; C. Ávila
A Non-parametric Approach for Accurate Contextual Classification of LIDAR and Imagery Data Fusion / Jorge Garcia-Gutierrez ; Daniel Mateos-Garcia ; Jose C. Riquelme-Santos
Spherical CIELab QAMs: Associative Memories Based on the CIELab System and Quantales for the Storage of Color Images / Marcos Eduardo Valle ; Peter Sussner ; Estevão Esmi
Fuzzy Associative Memories Based on Subsethood and Similarity Measures with Applications to Speaker Identification / Fábio Sakuray ; Laécio Barros
A Novel Lattice Associative Memory Based on Dendritic Computing / Gerhard X. Ritter ; Darya Chyzhyk ; Gonzalo Urcid
Vascular Section Estimation in Medical Images Using Combined Feature Detection and Evolutionary Optimization / Iván Macía
Workshop
Nonstationary Models of Patterns Recognition and Classifier Combinations
Modifications of Classification Strategies in Rule Set Based Bagging for Imbalanced Data / Krystyna Napierula
Semi-supervised Ensemble Learning of Data Streams in the Presence of Concept Drift / Zahra Ahmadi ; Hamid Beigy
Continuous User Feedback Learning for Data Capture from Business Documents / Marcel Hanke ; Klemens Muthmann ; Daniel Schuster ; Alexander Schill ; Kamil Aliyev ; Michael Berger
Evolutionary Adapted Ensemble for Reoccurring Context / Konrad Jackowski
Drift Detection and Model Selection Algorithms: Concept and Experimental Evaluation / Piotr Cal ; Michal Wozniak
Decomposition of Classification Task with Selection of Classifiers on the Medical Diagnosis Example / Robert Burduk ; Marcin Zmyslony
Ensemble of Tensor Classifiers Based on the Higher-Order Singular Value Decomposition / Boguslaw Cyganek
Combining Diverse One-Class Classifiers / Bartosz Krawczyk
Author Index
Special Sessions
Methods of Classifier Fusion
Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov ; Dejan Gjorgjevikj
10.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼