NDLI: Author index

Please wait, while we are loading the content...

2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI)

2014 IEEE 26th International Conference on Tools with Artificial Intelligence

2013 IEEE 25th International Conference on Tools with Artificial Intelligence

Table of contents

ICTAI 2013 General Chair's Message

ICTAI 2013 Program Chair's Message

ICTAI 2013 Conference Committees

ICTAI 2013 Reviewers

Special Track on SAT and CSP Technologies Foreword

Special Track on SAT and CSP Technologies Organizers

Special Track on SAT and CSP Technologies Additional Reviewers

An Automatic Algorithm Selection Approach for Planning

Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers

Learnability of Specific Structural Patterns of Planning Problems

HNNP - A Hybrid Neural Network Plait for Improving Image Classification with Additional Side Information

On Finding Approximate Solutions of Qualitative Constraint Networks

Three-Valued Possibilistic Networks: Semantics & Inference

On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning

Part-Whole Relations as Products of Metric Spaces

ICAMF: Improved Context-Aware Matrix Factorization for Collaborative Filtering

Optimized Deep Learning Architectures with Fast Matrix Operation Kernels on Parallel Platform

Error Allowing Minimax: Getting over Indifference

Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs

A Parallel Bottom-Up Resolution Algorithm Using Cilk

Characterization of Extended and Simplified Intelligent Water Drop (SIWD) Approaches and Their Comparison to the Intelligent Water Drop (IWD) Approach

A Spin-Glass Model Based Local Community Detection Method in Social Networks

Study and Development of Support Tool with Blinks for Physically Handicapped Children

Detecting Impolite Crawler by Using Time Series Analysis

Migration Cost-Sensitive Load Balancing for Social Networked Multiagent Systems with Communities

Which Users Reply to and Interact with Twitter Social Bots?

A Computer-Aided Spectroscopic System for Early Diagnosis of Melanoma

Learning Occupancy in Single Person Offices with Mixtures of Multi-lag Markov Chains

An Intelligent System for Prediction of School Dropout Risk Group in Higher Education Classroom Based on Artificial Neural Networks

Dynamic Constraint Reasoning in Smart Environments

Symbolic Anomaly Detection and Assessment Using Growing Neural Gas

Improving the Statistical Arbitrage Strategy in Intraday Trading by Combining Extreme Learning Machine and Support Vector Regression with Linear Regression Models

Visual Interpretation of Events in Petroleum Geology

Predicting the Next Scenic Spot a User Will Browse on a Tourism Website Based on Markov Prediction Model

Particle Swarm Optimization Approach with Parameter-Wise Hill-Climbing Heuristic for Task Allocation of Workflow Applications on the Cloud

Expert System Simulation of Hardware

A Planning Tool Supporting the Deployment of Cloud Applications

An Empirical Study of Robustness of Network Centrality Scores in Various Networks and Conditions

On the Influence of the Number of Objectives in Evolutionary Autonomous Software Agent Testing

A Shape Recognition Method Based on Graph- and Line-Contexts

Finding Distinctive Shape Features for Automatic Hematoma Classification in Head CT Images from Traumatic Brain Injuries

A Line-Context Based Object Recognition Method

Contextual Image Segmentation Based on the Potts Model

Visual Scenes Categorization Using a Flexible Hierarchical Mixture Model Supporting Users Ontology

A Generic Framework for Behavior Recognition of Complex Activities in Robotics

A Framework for Bean-Shape Contour Extraction

Using MaxSAT to Correct Errors in AES Key Schedule Images

A GA-Based Solution for the Combination Optimization in the Contour Formation

Machine Learning for Android Malware Detection Using Permission and API Calls

Controller Synthesis for Safety Critical Planning

Rectangular Shape Detection with an Application to License Plate Detection

Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution

Explanations and Relaxations for Policy Conflicts in Physical Access Control

NEFCIS: Neuro-fuzzy Concept Based Inference System for Specification Mining

A Dynamic Multiobjective Evolutionary Algorithm for Multicast Routing Problem

A Rule-Based Hybrid Method for Anomaly Detection in Online-Social-Network Graphs

Imbalanced Hypergraph Partitioning and Improvements for Consensus Clustering

Aspect-Based Twitter Sentiment Classification

Stability of Filter- and Wrapper-Based Feature Subset Selection

A Review of Ensemble Classification for DNA Microarrays Data

Classifying Documents within Multiple Hierarchical Datasets Using Multi-task Learning

Evolutionary Distance Metric Learning Approach to Semi-supervised Clustering with Neighbor Relations

Factorized Decision Trees for Active Learning in Recommender Systems

An Intelligent Anomaly Detection and Reasoning Scheme for VM Live Migration via Cloud Data Mining

Clustering and Selection Using Grouping Genetic Algorithms for Blockmodeling to Construct Neural Network Ensembles

How the Choice of Wrapper Learner and Performance Metric Affects Subset Evaluation

Hybrid Feature Selection and Weighting Method Based on Binary Particle Swarm Optimization

Should the Same Learners Be Used Both within Wrapper Feature Selection and for Building Classification Models?

Flexible Pattern Matching with Gap-Length and One-Off Conditions

Maximizing Classification Performance for Patient Response Datasets

A Novel Combination of Reasoners for Ontology Classification

A Genetic Algorithm for Optimizing the Label Ordering in Multi-label Classifier Chains

Developments in Partitioning XML Documents by Content and Structure Based on Combining Multiple Clusterings

Symmetry-Based Pruning in Itemset Mining

Accelerating One-Pass Clustering by Cluster Selection Racing

Pairwise Optimization of Bayesian Classifiers for Multi-class Cost-Sensitive Learning

A Parallel Algorithm for Bayesian Network Parameter Learning Based on Factor Graph

Sampled Bayesian Network Classifiers for Class-Imbalance and Cost-Sensitive Learning

Events Extraction and Aggregation for Open Source Intelligence: From Text to Knowledge

An Algorithm for Mining Top K Influential Community Based Evolutionary Outliers in Temporal Dataset

Active Preference Learning for Ranking Patterns

From Robots to Reinforcement Learning

Optimizing Dynamic Ensemble Selection Procedure by Evolutionary Extreme Learning Machines and a Noise Reduction Filter

Learning Markov Networks with Context-Specific Independences

A Temporal Difference GNG-Based Approach for the State Space Quantization in Reinforcement Learning Environments

Enhancing Classification Accuracy with the Help of Feature Maximization Metric

Attribute Weighted Value Difference Metric

Design Pattern Recognition by Using Adaptive Neuro Fuzzy Inference System

From Preferences over Arguments to Preferences over Attacks in Abstract Argumentation: A Comparative Study

Implementing Tabled Hypothetical Datalog

Encoding Local Correspondence in Topic Models

Goal-Driven Changes in Argumentation: A Theoretical Framework and a Tool

An Axiomatic Approach for Persuasion Dialogs

Adaptive and Personalised Robots - Learning from Users' Feedback

A Probabilistic Query Suggestion Approach without Using Query Logs

Network Layer-Oriented Task Allocation for Multiagent Systems in Undependable Multiplex Networks

Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic

Enhancing Dynamic Recommender Selection Using Multiple Rules for Trust and Reputation Models in MANETs

On the relationship between PQCL preference formalism and value-based AF

Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification

On Delete Relaxation in Partial-Order Causal-Link Planning

Modified Conversational Agent Architecture

Knowledge Extraction from Web Services Repositories

Assessing Procedural Knowledge in Free-Text Answers through a Hybrid Semantic Web Approach

A Natural Language Processing and Semantic-Based System for Contract Analysis

Abstract Debates

Generating Memoryless Policies Faster Using Automatic Temporal Abstractions for Reinforcement Learning with Hidden State

Semi-automatic dictionary curation for domain-specific ontologies

TM-Gen: A Topic Map Generator from Text Documents

Information Extraction from the Web: An Ontology-Based Method Using Inductive Logic Programming

Knowledge-Guided Methodology for Specification Analysis

From Natural Language Requirements to Formal Specification Using an Ontology

Ontology Learning from Incomplete Semantic Web Data by BelNet

ESmodels: An Inference Engine of Epistemic Specifications

A Reusable Methodology for the Instantiation of Social Recommender Systems

Improving Music Recommendation in Session-Based Collaborative Filtering by Using Temporal Context

Markov Decision Process for Traffic Control at an Isolated Intersection

Tikhonov or Lasso Regularization: Which Is Better and When

Learning Useful Macro-actions for Planning with N-Grams

On the Development of Voter Transition Models for Social Choice Markov Decision Processes

Kaczmarz Algorithm with Soft Constraints for User Interface Layout

Optimization of Traffic Lights Timing Based on Multiple Neural Networks

Using Evolution Strategies to Reduce Emergency Services Arrival Time in Case of Accident

Motion-Driven Action-Based Planning

CPP-SNS: A Solution to Influence Maximization Problem under Cost Control

A Versatile Graph-Based Approach to Package Recommendation

Relaxing the Relaxed Exist-Step Parallel Planning Semantics

Perpetual Learning through Overcoming Inconsistencies

Change Your Belief about Belief Change

Comparison of Two Frameworks for Measuring the Stability of Gene-Selection Techniques on Noisy Class-Imbalanced Data

Modeling Natural Language Sentences into SPN Graphs

Capturing structure in hard combinatorial problems

Constraint Programming in Compiler Optimization: Lessons Learned

Adaptive Constructive Interval Disjunction

Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms

Solving WCSP by Extraction of Minimal Unsatisfiable Cores

Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms

Model-Guided Approaches for MaxSAT Solving

Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem

A Hybrid Tractable Class for Non-binary CSPs

Solving E-Squaro through SAT-Coding

Constraint Games: Framework and Local Search Solver

Variable Objective Large Neighborhood Search: A Practical Approach to Solve Over-Constrained Problems

A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning

On-the-Fly Lazy Clause Simplification Based on Binary Resolvents

Declarative Heuristics in Constraint Satisfaction

More Smear-Based Variable Selection Heuristics for NCSPs

Lazy Branching for Constraint Satisfaction

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding

Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT

Bounded Strings for Constraint Programming

A CSP Approach for Metamodel Instantiation

A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks

A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion

Model Expansion in the Presence of Function Symbols Using Constraint Programming

Generation of Implied Constraints for Automaton-Induced Decompositions

2012 IEEE 24th International Conference on Tools with Artificial Intelligence

2011 IEEE 23rd International Conference on Tools with Artificial Intelligence

2010 22nd IEEE International Conference on Tools with Artificial Intelligence

2009 21st IEEE International Conference on Tools with Artificial Intelligence

2008 20th IEEE International Conference on Tools with Artificial Intelligence

19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007)

2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)

17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)

16th IEEE International Conference on Tools with Artificial Intelligence

Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.

Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence. ICTAI 2001

Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000

Proceedings 11th International Conference on Tools with Artificial Intelligence

Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence (Cat. No.98CH36294)

Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence

Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence

Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence

Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93)

Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92

[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence

[Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in