International Conference on Tools with Artificial Intelligence (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

25th ICTAI 2013: Herndon, VA, USA

• > Home > Conferences and Workshops > ICTAI

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-2971-9

AI Foundations

• 
  Mauro Vallati, Lukás Chrpa, Diane E. Kitchin:
  An Automatic Algorithm Selection Approach for Planning. 1-8
• 
  Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita:
  Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. 9-17
• 
  Lukás Chrpa, Mauro Vallati, Hugh Osborne:
  Learnability of Specific Structural Patterns of Planning Problems. 18-23
• 
  Ruth Janning, Carlotta Schatten, Lars Schmidt-Thieme:
  HNNP - A Hybrid Neural Network Plait for Improving Image Classification with Additional Side Information. 24-29
• 
  Jason Jingshi Li, Sanjiang Li:
  On Finding Approximate Solutions of Qualitative Constraint Networks. 30-37
• 
  Salem Benferhat, Jérôme Delobelle, Karim Tabia:
  Three-Valued Possibilistic Networks: Semantics & Inference. 38-45
• 
  Matthias Westphal, Julien Hué, Stefan Wölfl:
  On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. 46-54
• 
  Sandro Rama Fiorini, Mara Abel:
  Part-Whole Relations as Products of Metric Spaces. 55-62
• 
  Jiyun Li, Pengcheng Feng, Juntao Lv:
  ICAMF: Improved Context-Aware Matrix Factorization for Collaborative Filtering. 63-70
• 
  Ying Zhang, Saizheng Zhang:
  Optimized Deep Learning Architectures with Fast Matrix Operation Kernels on Parallel Platform. 71-78
• 
  Florian Wisser:
  Error Allowing Minimax: Getting over Indifference. 79-86
• 
  Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
  Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs. 87-94
• 
  Reza Basseda, Rezaul Alam Chowdhury:
  A Parallel Bottom-Up Resolution Algorithm Using Cilk. 95-100

AI in Domain-Specific Applications

• 
  Jeremy Straub, Eunjin Kim:
  Characterization of Extended and Simplified Intelligent Water Drop (SIWD) Approaches and Their Comparison to the Intelligent Water Drop (IWD) Approach. 101-107
• 
  Lei Pan, Chongjun Wang, Junyuan Xie:
  A Spin-Glass Model Based Local Community Detection Method in Social Networks. 108-115
• 
  Ippei Torii, Kaoruko Ohtani, Takahito Niwa, Naohiro Ishii:
  Study and Development of Support Tool with Blinks for Physically Handicapped Children. 116-122
• 
  Zhiqian Chen, Wenya Feng:
  Detecting Impolite Crawler by Using Time Series Analysis. 123-126
• 
  Wanyuan Wang, Yichuan Jiang:
  Migration Cost-Sensitive Load Balancing for Social Networked Multiagent Systems with Communities. 127-134
• 
  Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano, Chris Sumner:
  Which Users Reply to and Interact with Twitter Social Bots? 135-144
• 
  Lin Li, Qizhi Zhang, Yihua Ding, Huabei Jiang, Bruce T. Thiers, James Z. Wang:
  A Computer-Aided Spectroscopic System for Early Diagnosis of Melanoma. 145-150
• 
  Carlo Manna, Damien Fay, Kenneth N. Brown, Nic Wilson:
  Learning Occupancy in Single Person Offices with Mixtures of Multi-lag Markov Chains. 151-158
• 
  Valquíria Ribeiro de Carvalho Martinho, Clodoaldo Nunes, Carlos R. Minussi:
  An Intelligent System for Prediction of School Dropout Risk Group in Higher Education Classroom Based on Artificial Neural Networks. 159-166
• 
  Viktoriya Degeler, Alexander Lazovik:
  Dynamic Constraint Reasoning in Smart Environments. 167-174
• 
  Matthew Paisner, Michael T. Cox, Don Perlis:
  Symbolic Anomaly Detection and Assessment Using Growing Neural Gas. 175-181
• 
  Jarley Palmeira Nóbrega, Adriano Lorena Inácio de Oliveira:
  Improving the Statistical Arbitrage Strategy in Intraday Trading by Combining Extreme Learning Machine and Support Vector Regression with Linear Regression Models. 182-188
• 
  Joel Luis Carbonera, Mara Abel, Claiton M. S. Scherer, Ariane Kravczyk Bernardes:
  Visual Interpretation of Events in Petroleum Geology. 189-194
• 
  Yifan Shi, Yimin Wen, Zhigang Fan, Yuqing Miao:
  Predicting the Next Scenic Spot a User Will Browse on a Tourism Website Based on Markov Prediction Model. 195-200

AI in Computer Systems

• 
  Simone A. Ludwig:
  Particle Swarm Optimization Approach with Parameter-Wise Hill-Climbing Heuristic for Task Allocation of Workflow Applications on the Cloud. 201-206
• 
  Lawrence Leinweber, Bhanu Pratap Singh, Christos A. Papachristou:
  Expert System Simulation of Hardware. 207-212
• 
  Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
  A Planning Tool Supporting the Deployment of Cloud Applications. 213-220
• 
  Matthew Herland, Pablo Pastran, Xingquan Zhu:
  An Empirical Study of Robustness of Network Centrality Scores in Various Networks and Conditions. 221-228
• 
  Sabrine Kalboussi, Slim Bechikh, Marouane Kessentini, Lamjed Ben Said:
  On the Influence of the Number of Objectives in Evolutionary Autonomous Software Agent Testing. 229-234
• 
  Hui Wei, Jinwen Xiao:
  A Shape Recognition Method Based on Graph- and Line-Contexts. 235-241
• 
  Tianxia Gong, Nengli Lim, Li Cheng, Hwee Kuan Lee, Bolan Su, Chew Lim Tan, Shimiao Li, C. C. Tchoyoson Lim, Boon Chuan Pang, Cheng Kiang Lee:
  Finding Distinctive Shape Features for Automatic Hematoma Classification in Head CT Images from Traumatic Brain Injuries. 242-249
• 
  Hui Wei, Lei Wu:
  A Line-Context Based Object Recognition Method. 250-255
• 
  Nara M. Portela, George D. C. Cavalcanti, Tsang Ing Ren:
  Contextual Image Segmentation Based on the Potts Model. 256-261
• 
  Taoufik Bdiri, Nizar Bouguila, Djemel Ziou:
  Visual Scenes Categorization Using a Flexible Hierarchical Mixture Model Supporting Users Ontology. 262-267
• 
  Kai Häussermann, Oliver Zweigle, Paul Levi:
  A Generic Framework for Behavior Recognition of Complex Activities in Robotics. 268-275
• 
  Qi Li:
  A Framework for Bean-Shape Contour Extraction. 276-283
• 
  Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa:
  Using MaxSAT to Correct Errors in AES Key Schedule Images. 284-291
• 
  Hui Wei, Hang Liu, Fuyu Tang:
  A GA-Based Solution for the Combination Optimization in the Contour Formation. 292-299
• 
  Naser Peiravian, Xingquan Zhu:
  Machine Learning for Android Malware Detection Using Permission and API Calls. 300-305
• 
  Andrea Orlandini, Marco Suriano, Amedeo Cesta, Alberto Finzi:
  Controller Synthesis for Safety Critical Planning. 306-313
• 
  Qi Li, Yongyi Gong:
  Rectangular Shape Detection with an Application to License Plate Detection. 314-321
• 
  Amol Dattatraya Mali, Ravi Puthiyattil:
  Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution. 322-329
• 
  Fatih Turkmen, Simon N. Foley, Barry O'Sullivan, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis, Menouer Boubekeur:
  Explanations and Relaxations for Policy Conflicts in Physical Access Control. 330-336
• 
  Arunprasath Shankar, Bhanu Pratap Singh, Francis G. Wolff, Christos A. Papachristou:
  NEFCIS: Neuro-fuzzy Concept Based Inference System for Specification Mining. 337-343
• 
  Marcos L. P. Bueno, Gina M. B. Oliveira:
  A Dynamic Multiobjective Evolutionary Algorithm for Multicast Routing Problem. 344-350

Machine Learning and Data Mining

• 
  Reza Hassanzadeh, Richi Nayak:
  A Rule-Based Hybrid Method for Anomaly Detection in Online-Social-Network Graphs. 351-357
• 
  John Robert Yaros, Tomasz Imielinski:
  Imbalanced Hypergraph Partitioning and Improvements for Consensus Clustering. 358-365
• 
  Hsiang Hui Lek, Danny C. C. Poo:
  Aspect-Based Twitter Sentiment Classification. 366-373
• 
  Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano:
  Stability of Filter- and Wrapper-Based Feature Subset Selection. 374-380
• 
  Taghi M. Khoshgoftaar, David J. Dittman, Randall Wald, Wael Awada:
  A Review of Ensemble Classification for DNA Microarrays Data. 381-389
• 
  Azad Naik, Anveshi Charuvaka, Huzefa Rangwala:
  Classifying Documents within Multiple Hierarchical Datasets Using Multi-task Learning. 390-397
• 
  Ken-ichi Fukui, Satoshi Ono, Taishi Megano, Masayuki Numao:
  Evolutionary Distance Metric Learning Approach to Semi-supervised Clustering with Neighbor Relations. 398-403
• 
  Rasoul Karimi, Martin Wistuba, Alexandros Nanopoulos, Lars Schmidt-Thieme:
  Factorized Decision Trees for Active Learning in Recommender Systems. 404-411
• 
  Qiannan Zhang, Yafei Wu, Tian Huang, Yongxin Zhu:
  An Intelligent Anomaly Detection and Reasoning Scheme for VM Live Migration via Cloud Data Mining. 412-419
• 
  Evandro Jose Da Rocha E. Silva, Teresa Bernarda Ludermir, Leandro Maciel Almeida:
  Clustering and Selection Using Grouping Genetic Algorithms for Blockmodeling to Construct Neural Network Ensembles. 420-425
• 
  Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano:
  How the Choice of Wrapper Learner and Performance Metric Affects Subset Evaluation. 426-432
• 
  Diogo da Silva Severo, Everson Verissimo, George D. C. Cavalcanti, Tsang Ing Ren:
  Hybrid Feature Selection and Weighting Method Based on Binary Particle Swarm Optimization. 433-438
• 
  Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano:
  Should the Same Learners Be Used Both within Wrapper Feature Selection and for Building Classification Models? 439-445
• 
  Dan Guo, Taining Xiang, Xuegang Hu, Xindong Wu:
  Flexible Pattern Matching with Gap-Length and One-Off Conditions. 446-453
• 
  David J. Dittman, Taghi M. Khoshgoftaar, Randall Wald, Amri Napolitano:
  Maximizing Classification Performance for Patient Response Datasets. 454-462
• 
  Changlong Wang, Zhiyong Feng:
  A Novel Combination of Reasoners for Ontology Classification. 463-468
• 
  Eduardo Corrêa Gonçalves, Alexandre Plastino, Alex Alves Freitas:
  A Genetic Algorithm for Optimizing the Label Ordering in Multi-label Classifier Chains. 469-476
• 
  Gianni Costa, Riccardo Ortale:
  Developments in Partitioning XML Documents by Content and Structure Based on Combining Multiple Clusterings. 477-482
• 
  Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia:
  Symmetry-Based Pruning in Itemset Mining. 483-490
• 
  Nicolas Labroche, Marcin Detyniecki, Thomas Bärecke:
  Accelerating One-Pass Clustering by Cluster Selection Racing. 491-498
• 
  Clément Charnay, Nicolas Lachiche, Agnès Braud:
  Pairwise Optimization of Bayesian Classifiers for Multi-class Cost-Sensitive Learning. 499-505
• 
  Yue Zhao, Jungang Xu, Yunjun Gao:
  A Parallel Algorithm for Bayesian Network Parameter Learning Based on Factor Graph. 506-511
• 
  Liangxiao Jiang, Chaoqun Li, Zhihua Cai, Harry Zhang:
  Sampled Bayesian Network Classifiers for Class-Imbalance and Cost-Sensitive Learning. 512-517
• 
  Laurie Serrano, Maroua Bouzid, Thierry Charnois, Stephan Brunessaux, Bruno Grilhères:
  Events Extraction and Aggregation for Open Source Intelligence: From Text to Knowledge. 518-523
• 
  Yun Hu, Junyuan Xie, Chongjun Wang, Zuojian Zhou:
  An Algorithm for Mining Top K Influential Community Based Evolutionary Outliers in Temporal Dataset. 524-531
• 
  Vladimir Dzyuba, Matthijs van Leeuwen, Siegfried Nijssen, Luc De Raedt:
  Active Preference Learning for Ranking Patterns. 532-539
• 
  Tongchun Du, Michael T. Cox, Don Perlis, Jared Shamwell, Tim Oates:
  From Robots to Reinforcement Learning. 540-545
• 
  Tiago Pessoa Ferreira de Lima, Teresa Bernarda Ludermir:
  Optimizing Dynamic Ensemble Selection Procedure by Evolutionary Extreme Learning Machines and a Noise Reduction Filter. 546-552
• 
  Alejandro Edera, Federico Schlüter, Facundo Bromberg:
  Learning Markov Networks with Context-Specific Independences. 553-560
• 
  Davi Carnauba de Lima Vieira, Paulo Jorge Leitão Adeodato, Paulo M. Goncalves:
  A Temporal Difference GNG-Based Approach for the State Space Quantization in Reinforcement Learning Environments. 561-568
• 
  Jean-Charles Lamirel:
  Enhancing Classification Accuracy with the Help of Feature Maximization Metric. 569-574
• 
  Chaoqun Li, Liangxiao Jiang, Hongwei Li, Shasha Wang:
  Attribute Weighted Value Difference Metric. 575-580
• 
  Sultan Alhusain, Simon Coupland, Robert I. John, Maria Kavanagh:
  Design Pattern Recognition by Using Adaptive Neuro Fuzzy Inference System. 581-587

Semantic Web, Reasoning and Learning Agents, and Cognitive Modeling

• 
  Claudette Cayrol, Marie-Christine Lagasquie-Schiex:
  From Preferences over Arguments to Preferences over Attacks in Abstract Argumentation: A Comparative Study. 588-595
• 
  Fernando Sáenz-Pérez:
  Implementing Tabled Hypothetical Datalog. 596-601
• 
  El Mehdi Rochd, Mohamed Quafafou, Mustapha Aznag:
  Encoding Local Correspondence in Topic Models. 602-609
• 
  Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex:
  Goal-Driven Changes in Argumentation: A Theoretical Framework and a Tool. 610-617
• 
  Leila Amgoud, Florence Dupin de Saint-Cyr:
  An Axiomatic Approach for Persuasion Dialogs. 618-625
• 
  Abir-Beatrice Karami, Karim Sehaba, Benoît Encelle:
  Adaptive and Personalised Robots - Learning from Users' Feedback. 626-632
• 
  Meher T. Shaikh, Maria Soledad Pera, Yiu-Kai Ng:
  A Probabilistic Query Suggestion Approach without Using Query Logs. 633-639
• 
  Yichuan Jiang, Yifeng Zhou, Yunpeng Li:
  Network Layer-Oriented Task Allocation for Multiagent Systems in Undependable Multiplex Networks. 640-647
• 
  Michael Glodek, Thomas Geier, Susanne Biundo, Friedhelm Schwenker, Günther Palm:
  Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic. 648-653
• 
  Antesar M. Shabut, Keshav P. Dahal, Irfan Awan:
  Enhancing Dynamic Recommender Selection Using Multiple Rules for Trust and Reputation Models in MANETs. 654-660
• 
  Karima Sedki:
  On the Relationship between PQCL Preference Formalism and Value-Based AF. 661-666
• 
  Lígia Maria Soares Passos, Stéphane Julia:
  Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. 667-673
• 
  Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo:
  On Delete Relaxation in Partial-Order Causal-Link Planning. 674-681
• 
  Tomás Nestorovic, Václav Matousek:
  Modified Conversational Agent Architecture. 682-689
• 
  Vasileios Kiouftis, Evangelos Theodoridis, Athanasios K. Tsakalidis:
  Knowledge Extraction from Web Services Repositories. 690-697
• 
  Eric Snow, Chadia Moghrabi, Philippe Fournier-Viger:
  Assessing Procedural Knowledge in Free-Text Answers through a Hybrid Semantic Web Approach. 698-706
• 
  Dan Yang, Christina Leber, Luis Tari, Aravind Chandramouli, Andrew Crapo, Richard Messmer, Steven Gustafson:
  A Natural Language Processing and Semantic-Based System for Contract Analysis. 707-712
• 
  Cosmina Croitoru:
  Abstract Debates. 713-718
• 
  Erkin Çilden, Faruk Polat:
  Generating Memoryless Policies Faster Using Automatic Temporal Abstractions for Reinforcement Learning with Hidden State. 719-726
• 
  Ashish Kulkarni, Chetana Gavankar, Ganesh Ramakrishnan, Sriram Raghavan:
  Semi-automatic Dictionary Curation for Domain-Specific Ontologies. 727-734
• 
  Ángel Luís Garrido, Maria G. Buey, Sandra Escudero, Sergio Ilarri, Eduardo Mena, Sara B. Silveira:
  TM-Gen: A Topic Map Generator from Text Documents. 735-740
• 
  Rinaldo Lima, Bernard Espinasse, Hilário Oliveira, Laura Pentagrossa, Fred Freitas:
  Information Extraction from the Web: An Ontology-Based Method Using Inductive Logic Programming. 741-748
• 
  Bhanu Pratap Singh, Arunprasath Shankar, Yuriy Shiyanovskii, Francis G. Wolff, Christos A. Papachristou, Daniel J. Weyer, Steve Clay, Jim Morrison:
  Knowledge-Guided Methodology for Specification Analysis. 749-754
• 
  Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau:
  From Natural Language Requirements to Formal Specification Using an Ontology. 755-760
• 
  Man Zhu, Zhiqiang Gao, Jeff Z. Pan, Yuting Zhao, Ying Xu, Zhibin Quan:
  Ontology Learning from Incomplete Semantic Web Data by BelNet. 761-768
• 
  Zhizheng Zhang, Kaikai Zhao, Rongcun Cui:
  ESmodels: An Inference Engine of Epistemic Specifications. 769-774

AI and Decision Systems and Recommendations

• 
  Lara Quijano Sánchez, Juan A. Recio-García, Belén Díaz-Agudo:
  A Reusable Methodology for the Instantiation of Social Recommender Systems. 775-782
• 
  Ricardo Dias, Manuel J. Fonseca:
  Improving Music Recommendation in Session-Based Collaborative Filtering by Using Temporal Context. 783-788
• 
  Biao Yin, Mahjoub Dridi, Abdellah El Moudni:
  Markov Decision Process for Traffic Control at an Isolated Intersection. 789-794
• 
  Fei Wang, Sanjay Chawla, Wei Liu:
  Tikhonov or Lasso Regularization: Which Is Better and When. 795-802
• 
  Adrien Dulac, Damien Pellier, Humbert Fiorino, David Janiszek:
  Learning Useful Macro-actions for Planning with N-Grams. 803-810
• 
  David García, Anton Riedl:
  On the Development of Voter Transition Models for Social Choice Markov Decision Processes. 811-817
• 
  Noreen Jamil, Deanna Needell, Johannes Müller, Christof Lutteroth, Gerald Weber:
  Kaczmarz Algorithm with Soft Constraints for User Interface Layout. 818-824
• 
  Michel B. W. De Oliveira, Areolino de Almeida Neto:
  Optimization of Traffic Lights Timing Based on Multiple Neural Networks. 825-832
• 
  Javier Barrachina, Piedad Garrido, Manuel Fogué, Francisco J. Martinez, Juan-Carlos Cano, Carlos Miguel Tavares Calafate, Pietro Manzoni:
  Using Evolution Strategies to Reduce Emergency Services Arrival Time in Case of Accident. 833-840
• 
  Brandon Ellenberger, Amol Dattatraya Mali:
  Motion-Driven Action-Based Planning. 841-848
• 
  Qianyi Zhan, Hongchao Yang, Chongjun Wang, Junyuan Xie:
  CPP-SNS: A Solution to Influence Maximization Problem under Cost Control. 849-856
• 
  Roberto Interdonato, Salvatore Romeo, Andrea Tagarelli, George Karypis:
  A Versatile Graph-Based Approach to Package Recommendation. 857-864
• 
  Tomás Balyo:
  Relaxing the Relaxed Exist-Step Parallel Planning Semantics. 865-871

25th Anniversary Invited Papers

• 
  Du Zhang:
  Perpetual Learning through Overcoming Inconsistencies. 872-879
• 
  Éric Grégoire:
  Change Your Belief about Belief Change. 880
• 
  Randall Wald, Taghi M. Khoshgoftaar, Ahmad Abu Shanab:
  Comparison of Two Frameworks for Measuring the Stability of Gene-Selection Techniques on Noisy Class-Imbalanced Data. 881-888
• 
  Michael T. Mills, Adamantia Psarologou, Nikolaos G. Bourbakis:
  Modeling Natural Language Sentences into SPN Graphs. 889-896

Special Track on SAT/CSP

Session 1.A: Invited Keynote 1

• 
  Stefan Szeider:
  Capturing Structure in Hard Combinatorial Problems. 897-898

Session 4.A: Invited Keynote 2

• 
  Peter van Beek:
  Constraint Programming in Compiler Optimization: Lessons Learned. 899

Session 1.B: Constraint Reasoning I

• 
  Bertrand Neveu, Gilles Trombettoni:
  Adaptive Constructive Interval Disjunction. 900-906
• 
  Paolo Codenotti, Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
  Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. 907-914

Session 2: MUS, Cores, and Max-SAT

• 
  Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary:
  Solving WCSP by Extraction of Minimal Unsatisfiable Cores. 915-922
• 
  Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
  Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. 923-930
• 
  António Morgado, Federico Heras, João Marques-Silva:
  Model-Guided Approaches for MaxSAT Solving. 931-938
• 
  Chu-Min Li, Zhiwen Fang, Ke Xu:
  Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem. 939-946

Session 3: Complexity Games and Constraint Games

• 
  Achref El Mouelhi, Philippe Jégou, Cyril Terrioux:
  A Hybrid Tractable Class for Non-binary CSPs. 947-954
• 
  Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette:
  Solving E-Squaro through SAT-Coding. 955-962
• 
  Thi-Van-Anh Nguyen, Arnaud Lallouet, Lucas Bordeaux:
  Constraint Games: Framework and Local Search Solver. 963-970

Session 4.B: Constraint Reasoning II

• 
  Pierre Schaus:
  Variable Objective Large Neighborhood Search: A Practical Approach to Solve Over-Constrained Problems. 971-978
• 
  Jimmy Ho-Man Lee, Terrence W. K. Mak, Yuxiang Shi:
  A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning. 979-986

Session 5: Heuristics

• 
  Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
  On-the-Fly Lazy Clause Simplification Based on Binary Resolvents. 987-995
• 
  Erich Christian Teppan, Gerhard Friedrich:
  Declarative Heuristics in Constraint Satisfaction. 996-1003
• 
  Ignacio Araya, Víctor Reyes, Cristian Oreallana:
  More Smear-Based Variable Selection Heuristics for NCSPs. 1004-1011
• 
  Deepak Mehta, Barry O'Sullivan, Lars Kotthoff, Yuri Malitsky:
  Lazy Branching for Constraint Satisfaction. 1012-1019

Session 6: Encoding and Translation Issues - Meta-models

• 
  Naoyuki Tamura, Mutsunori Banbara, Takehide Soh:
  Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. 1020-1027
• 
  Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona:
  Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. 1028-1035
• 
  Joseph D. Scott, Pierre Flener, Justin Pearson:
  Bounded Strings for Constraint Programming. 1036-1043
• 
  Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Chateau, Remi Coletta, Clémentine Nebut:
  A CSP Approach for Metamodel Instantiation. 1044-1051

Session 7: Constraint Reasoning III

and Cormac J. Sreenan

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: