ECAI 2010 |
Ambiance |
Staff & Volunteers |
Plenary Sessions |
Opening & Welcome |
ECAI 2010 Banquet |
Organization |
PAIS Call for Papers |
Submission Instructions |
PAIS Papers Accepted |
PAIS Program Committee |
PAIS Program |
Organization |
STAIRS Call for Papers |
STAIRS Papers Accepted |
STAIRS Program Committee |
STAIRS Program |
Workshops List |
Main Conference Program |
ECAI 2010 SCHEDULE - MAIN CONFERENCE ====================================================================== TUESDAY 17 AUGUST 2010 18:15-18:30 Opening Session (Room 3.2.14) 18:30-19:30 Invited Speaker: Ian Horrocks, Oxford (Room 3.2.14) 19:30-> Welcome reception (Museu da Cidade) ====================================================================== WEDNESDAY 18 AUGUST 2010 9:00--10:00 Invited Speaker: Manuela Veloso, CMU (Room 3.2.14) 10:00-10:30 Coffee break 10:30-12:30 Technical Sessions: * SESSION 1A (Room 6.2.53): PROPOSITIONAL LOGIC * SESSION 1B (Room 3.2.14): DESCRIPTION LOGICS & ONTOLOGIES * SESSION 1C (Room 6.2.56): COOPERATION * SESSION 1D (Room 3.2.13): DIAGNOSIS & DISCOVERY * SESSION 1E (Room 6.1.36): ARGUMENTATION & DIALOGUE * SESSION 1F (Room 3.2.16): PAIS SESSION ONE 12:30-14:00 Lunch break 14:00-15:30 Technical Sessions: * SESSION 2A (Room 6.2.53): ROBOTICS & AUTONOMOUS SYSTEMS * SESSION 2B (Room 3.2.14): COALITIONS & TEAMS * SESSION 2C (Room 6.1.36): PLANNING * SESSION 2D (Room 3.2.13): UNCERTAINTY -- BAYESIAN METHODS * SESSION 2E (Room 6.2.56): PREFERENCE MODELLING AND PREFERENCE AGGREGATION * SESSION 2F (Room 3.2.16): PAIS SESSION TWO 15:30-16:00 Coffee break 16:00-18:00 Technical Sessions: * SESSION 3A (Room 6.2.56): CLUSTERING & CLASSIFICATION * SESSION 3B (Room 6.1.36): PLANNING * SESSION 3C (Room 3.2.13): REINFORCEMENT LEARNING * SESSION 3D (Room 6.2.53): NEGOTIATION & ALLOCATION * SESSION 3E (Room 3.2.14): ECCAI DISTINGUISHED DISSERTATION AWARD TALK * SESSION 3F (Room 3.2.16): PAIS SESSION THREE ====================================================================== THURSDAY 19 AUGUST 2010 9:00-10:00 Invited Speaker: Judea Pearl, UCLA (Room 3.2.14) 10:00-10:30 Coffee break 10:30-12:30 Technical Sessions: * SESSION 4A (Room 3.2.13): MACHINE LEARNING -- KERNEL METHODS * SESSION 4B (Room 6.1.36): PLANNING * SESSION 4C (Room 3.2.14): DESCRIPTION LOGICS & ONTOLOGIES * SESSION 4D (Room 6.2.56): NATURAL LANGUAGE PROCESSING & INFORMATION RETRIEVAL * SESSION 4E (Room 3.2.16): LOGICAL FOUNDATIONS OF MAS * SESSION 4F (Room 6.2.53): AUCTIONS & TRADING SYSTEMS 12:30-14:00 Lunch break 14:00-15:30 Poster Session (Room ) 15:30-16:00 Coffee Break 16:00-17:30 Technical Sessions * SESSION 5A (Room 3.2.14): TRUST & RECOMMENDATION * SESSION 5B (Room 6.1.36): BELIEF REVISION, UPDATE, AND MERGING * SESSION 5C (Room 6.2.53): BELIEF-DESIRE-INTENTION ARCHITECTURES * SESSION 5D (Room 6.2.56): APPLICATIONS * SESSION 5E (Room 3.2.13): PROCESSES AND STOCHASTIC MODELS 19:30-> Conference dinner ====================================================================== FRIDAY 20 AUGUST 2010 9:00--10:00 Invited Speaker: Christos Papadimitriou, Berkeley (Room 3.2.14) 10:00-10:30 Coffee break 10:30-12:30 Technical sessions * SESSION 6A (Room 6.2.53): LOGICAL FOUNDATIONS OF KR * SESSION 6B (Room 6.1.36): SEARCH & HEURISTICS * SESSION 6C (Room 6.2.56): NATURAL LANGUAGE PROCESSING * SESSION 6D (Room 3.2.13): MACHINE LEARNING & DATA MINING * SESSION 6E (Room 3.2.16): CLUSTERING & CLASSIFICATION * SESSION 6F (Room 3.2.14): CONSTRAINTS 12:30-14:00 Lunch 14:00-15:00 Technical sessions: * SESSION 7A (Room 3.2.14): ACTION, TIME, AND CHANGE * SESSION 7B (Room 6.2.56): FOUNDATIONS OF LOGICAL REASONING * SESSION 7C (Room 3.2.13): NEURAL NETS * SESSION 7D (Room 3.2.16): ORIGINS OF LANGUAGE * SESSION 7E (Room 6.2.53): UNCERTAINTY IN AI * SESSION 7F (Room 6.1.36): LOGIC PROGRAMMING & ANSWER SET PROGRAMMING 15:00-> Closing Session (Room 6.1.36 + C6 Atrium) ====================================================================== ---------------------------------------------------------------------- SESSION 1A: PROPOSITIONAL LOGIC (Room 6.2.53) 534: Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications Knot Pipatsrisawat, Adnan Darwiche 577: On the Use of Logical Interactions for Establishing Decomposability Knot Pipatsrisawat, Adnan Darwiche 681: On Computing Backbones of Propositional Theories Joao Marques-Silva, Mikolas Janota, Ines Lynce 450: Extending Clause Learning DPLL with Parity Reasoning Tero Laitinen, Tommi Junttila, Ilkka Niemela ---------------------------------------------------------------------- SESSION 1B: DESCRIPTION LOGICS & ONTOLOGIES (Room 3.2.14) 611: Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics Rafael Penaloza, Baris Sertkaya 392: Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics Stijn Heymans, Thomas Eiter, Guohui Xiao 168: Enriching EL-Concepts with Greatest Fixpoints Carsten Lutz, Robert Piro, Frank Wolter 296: Tableau-based Forgetting in ALC Ontologies Zhe Wang, Kewen Wang, Xiaowang Zhang, Rodney Topor 27: Verifying Properties of Infinite Sequences of Description Logic Actions Franz Baader, Hongkai Liu, Anees ul Mehdi ---------------------------------------------------------------------- SESSION 1C: COOPERATION (Room 6.2.56) 383: Hybrid Continuous Max-Sum Algorithms for Decentralised Coordination Thomas Voice, Ruben Stranders, Alex Rogers, Nicholas R. Jennings 478: BnB-ADOPT+ with Several Soft AC Levels Patricia Gutierrez, Pedro Meseguer 552: Optimal Task Migration in Service-Oriented Systems: Algorithms and Mechanisms Sebastian Stein, Enrico Gerding, Nicholas R. Jennings 449: Modeling the problem of many hands in organisations Tiago de Lima, Lamber Royakkers, Frank Dignum 177: Learning better together : the roles of broadcast and forgetness Gauvain Bourgne, Henry Soldano, Amal EL Fallah Seghrouchni ---------------------------------------------------------------------- SESSION 1D: DIAGNOSIS & DISCOVERY (Room 3.2.13) 146: Event Model Learning from Complex Videos using ILP Krishna Dubba, Anthony Cohn, David Hogg 609: A Decentralised Symbolic Diagnosis Approach Anika Schumann, Yannick Pencole, Sylvie Thiebaux 233: Diagnosability Analysis of Discrete Events Systems with Autonomous Components Lina Ye, Philippe DAGUE 67: Diagnosing Process Trajectories Under Partially Known Behavior Gerhard Friedrich, Wolfgang Mayer, Markus Stumptner ---------------------------------------------------------------------- SESSION 1E: ARGUMENTATION & DIALOGUE (Room 6.1.36) 7: Computation in Extended Argumentation Frameworks Paul Dunne, Sanjay Modgil, Trevor Bench-Capon 191: An Argumentation-based Approach to Database Repair Emanuel Santos, Joao Pavao Martins, Helena Galhardas 581: A Common Computational Framework for Semiring-based Argumentation Systems Stefano Bistarelli, Francesco Santini 56: Behavior-oriented Commitment-based Protocols Matteo Baldoni, Cristina Baroglio, Elisa Marengo ---------------------------------------------------------------------- SESSION 2A: ROBOTICS & AUTONOMOUS SYSTEMS (Room 6.2.53) 261: Deep Reasoning in Clarification Dialogues with Mobile Robots Cui Jian, Desislava Zhekova, Hui Shi, John Bateman 374: Stream-Based Reasoning Support for Autonomous Systems Fredrik Heintz, Jonas Kvarnstrom, Patrick Doherty 238: Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies Stefan Zickler, Manuela Veloso ---------------------------------------------------------------------- SESSION 2B: COALITIONS & TEAMS (Room 3.2.14) 139: Computational Aspects of Extending Shapley Value to Coalitional Games with Externalities Tomasz Michalak, Macin Szamotulski, Dorota Marciniak, Talal Rahwan, Nicholas R. Jennings 556: On the stability of an Optimal Coalition Structure Stephane Airiau, Sandip Sen ---------------------------------------------------------------------- SESSION 2C: PLANNING (Room 6.1.36) 660: Planning with Concurrency under Resources and Time Uncertainty Eric Beaudry, Froduald Kabanza, Francois Michaud 312: Brothers in Arms? On AI Planning and Cellular Automata Joerg Hoffmann, Nazim Fates, Hector Palacios 401: Landmarks in Hierarchical Planning Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo ---------------------------------------------------------------------- SESSION 2D: UNCERTAINTY -- BAYESIAN METHODS (Room 3.2.13) 623: The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks Johan H.P. Kwisthout, Hans L. Bodlaender, Linda van der Gaag 409: Context-Specific Independence in Directed Relational Probabilistic Models Daan Fierens 327: Bayesian Monte Carlo for the Global Optimization of Expensive Functions Perry Groot, Adriana Birlutiu, Tom Heskes ---------------------------------------------------------------------- SESSION 2E: PREFERENCE MODELLING AND PREFERENCE AGGREGATION (Room 6.2.56) 197: An Empirical Study of the Manipulability of Single Transferable Voting Toby Walsh 314: Dynamic Matching with a Fall-back Option Sujit Gujar, David Parkes 490: Learning conditionally lexicographic preference relations Richard Booth, Yann Chevaleyre, Jerome Lang, Jerome Mengin, Chattrakul Sombattheera ---------------------------------------------------------------------- SESSION 3A: CLUSTERING & CLASSIFICATION (Room 6.2.56) 427: Boosting Clustering by Active Constraint Selection Viet-Vu Vu, Nicolas Labroche, Bernadette Bouchon-Meunier 764: A Very Fast Method for Clustering Big Text Datasets Frank Lin, William W. Cohen 503: Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and Metalearning Rui Leite, Pavel Brazdil 232: Improving Hierarchical Classification with Partial Labels Nam Nguyen ---------------------------------------------------------------------- SESSION 3B: PLANNING (Room 6.1.36) 705: Implicit Learning of Compiled Macro-Actions for Planning M.A.Hakim Newton, John Levine 273: Strengthening Landmark Heuristics via Hitting Sets Bonet Blai, Malte Helmert 377: Sound and Complete Landmarks for And/Or Graphs Emil Keyder, Silvia Richter, Malte Helmert 587: Iterative Bounding LAO* Hakan Warnquist, Jonas Kvarnstrom, Patrick Doherty ---------------------------------------------------------------------- SESSION 3C: REINFORCEMENT LEARNING (Room 3.2.13) 43: Analysis of Inverse Reinforcement Learning with Perturbed Demonstrations Francisco Melo, Ricardo Ferreira, Manuel Lopes 45: Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of Actions Reinaldo Bianchi, Ramon Lopez de Mantaras 353: Uncertainty Propagation for Efficient Exploration in Reinforcement Learning Alexander Hans, Steffen Udluft 538: The Dynamics of Multi-Agent Reinforcement Learning Luke Dickens, Krysia Broda, Alessandra Russo ---------------------------------------------------------------------- SESSION 3D : NEGOTIATION & ALLOCATION (Room 6.2.53) 46: An Efficient Procedure for Multi-agent Negotiation with CP-nets Minyi Li, Bao Vo, Ryszard Kowalczyk 574: Modelling Multilateral Negotiation in Linear Logic Daniele Porello, Ulle Endriss 247: Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods Sylvain Bouveret, Ulle Endriss, Jerome Lang 148: LP Solvable Models for Multiagent Fair Allocation problems Julien Lesca, Patrice Perny ---------------------------------------------------------------------- SESSION 3E : ECCAI DISTINGUISHED DISSERTATION AWARD TALK (Room 3.2.14) WINNER : Trading Expressivity for Efficiency in Statistical Relational Learning Niels Landwehr HONOURABLE MENTION : Translation-based approaches to Conformant Planning Héctor Palacios ---------------------------------------------------------------------- SESSION 4A: MACHINE LEARNING -- KERNEL METHODS (Room 3.2.13) 553: Kernel-Based Hybrid Random Fields for Nonparametric Density Estimation Antonino Freno, Edmondo Trentin, Marco Gori 368: Multitask Kernel-based Learning with Logic Constraints Michelangelo Diligenti, Marco Gori, Marco Maggini, Leonardo Rigutini, Leonardo Rigutini 707: Kernel Methods for Revealed Preference Analysis Sebastien Lahaie 584: Regression Learning with Multiple Noisy Oracles Kosta Ristovski, Debasish Das, Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic ---------------------------------------------------------------------- SESSION 4B: PLANNING (Room 6.1.36) 448: Constraint Based Planning with Composable Substate Graphs Peter Gregory, Derek Long, Maria Fox 571: Knowledge Compilation Using Interval Automata and Applications to Planning Alexandre Niveau, Helene Fargier, Cedric Pralet, Gerard Verfaillie 627: Compiling Uncertainty Away in Non-Deterministic Conformant Planning Alexandre Albore, Hector Palacios, Hector Geffner 695: Analyzing Flexible Timeline-based Plans Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci ---------------------------------------------------------------------- SESSION 4C: DESCRIPTION LOGICS & ONTOLOGIES (Room 3.2.14) 690: A Unified Framework for Non-standard Reasoning Services in Description Logics Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco Donini, Azzurra Ragone 246: Parallel TBox Classification in Description Logics - First Experimental Results Mina Aslani, Volker Haarslev 216: Logical Ontology Validation Using an Automatic Theorem Prover Tim vor der Bruck, Holger Stenzhorn 456: Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning Celine Hudelot, Jamal Atif, Isabelle Bloch 543: Computing Data Semantics of WSDL Specifications via Gradient Boosting Alexandros Valarakos, George Vouros ---------------------------------------------------------------------- SESSION 4D: NATURAL LANGUAGE PROCESSING & INFORMATION RETRIEVAL (Room 6.2.56) 614: Opinion Question Answering: Towards a Unified Approach Alexandra Balahur, Ester Boldrini, Andres Montoyo, Patricio Martinez-Barco 682: From Bursty Patterns to Bursty Facts: The effectiveness of temporal text mining for news Ilija Subasic, Berendt Bettina 761: Extraction of Places Related to Flickr Tags Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden 153: Automatic free-text-tagging of online news archives Richard Farkas, Berend Gabor, Istvan Hegedus, Andras Karpati, Balazs Krich 680: Learning Aggregation Functions for Expert Search Cummins Ronan, Mounia Lalmas, Colm O'Riordan ---------------------------------------------------------------------- SESSION 4E: LOGICAL FOUNDATIONS OF MAS (3.2.16) 112: Parallel Model Checking for Epistemic Logics Marta Kwiatkowska, Alessio Lomuscio, Hongyang Qu 279: The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time Huang Xiaowei, Ron van der Meyden 494: Higher-Order Coalition Logic Valerio Genovese, Guido Boella, Dov Gabbay, Leendert van der Torre 804: Mental State Ascription Using Dynamic Logic Michal Sindlar, Mehdi Dastani, John-Jules Meyer 310: Is it Possible to Model Check Resource-Bounded Agents? Part I: (Un)decidablity Nils Bulling, Berndt Farwer ---------------------------------------------------------------------- SESSION 4F: AUCTIONS & TRADING SYSTEMS (Room 6.2.53) 188: An Equilibrium Analysis of Competing Double Auction Marketplaces using Fictitious Play Bing Shi, Enrico Gerding, Perukrishnen Vytelingum, Nicholas R. Jennings 557: Addressing the Exposure Problem of Bidding Agents Using Flexibly Priced Options Valentin Robu, Ioannis Vetsikas , Enrico Gerding, Nicholas R. Jennings 136: Designing a Successful Adaptive Agent for TAC Ad Auction Meng Chang, Minghua He, Xudong Luo 604: EA^2: The Winning Strategy for the Inaugural Lemonade Stand Game Tournament Adam M. Sykulski, Archie Chapman, Enrique Munoz de Cote, Nicholas R. Jennings ---------------------------------------------------------------------- SESSION 5A: TRUST & RECOMMENDATION (Room 3.2.14) 336: Propagation of Opinions in Structural Graphs Nardine Osman, Carles Sierra, Jordi Sabater-Mir 20: Social Recommendation with Interpersonal Influence Junming Huang, Jiafeng Guo, Huawei Shen, Kun Yang, Xueqi Cheng 728: Recommendations Over Domain Specific User Graphs Makoto Nakatsuji, Yasuhiro Fujiwara, Akimichi Tanaka, Tadasu Uchiyama, Toru Ishida ---------------------------------------------------------------------- SESSION 5B: BELIEF REVISION, UPDATE, AND MERGING (Room 6.1.36) 65: Foundations of Tree-like Local Model Updates Yan Zhang, Michael Kelly, Yi Zhou 480: The epistemic view of belief merging: can we track the truth? Patricia Everaere, Sebastien Konieczny, Pierre Marquis 617: Majority Merging: from Boolean Spaces to Affine Spaces Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind ---------------------------------------------------------------------- SESSION 5C: BELIEF-DESIRE-INTENTION ARCHITECTURES (Room 6.2.53) 459: Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions) Rafael Bordini, Jomi Hubner 641: Belief-Goal Relationships in Possibilistic Goal Generation Celia da Costa Pereira, Andrea Tettamanzi 293: Predicting Responsiveness of BDI Agent Huiliang Zhang ---------------------------------------------------------------------- SESSION 5D: APPLICATIONS (Room 6.2.56) 125: Automating Layouts of Sewers in Subdivisions Robert Holte, Neil Burch, Jonathan Schaeffer 274: Adaptive Gaussian Process for Short-Term Wind Speed Forecasting Xiaoqian Jiang, Bing Dong, Le Xie, Latanya Sweeney 643: Introducing Personality into Team Dynamics Rui Prada, Joao Camilo, Maria Augusta S. N. Nunes ---------------------------------------------------------------------- SESSION 5E: PROCESSES AND STOCHASTIC MODELS (Room 3.2.13) 768: EP for Efficient Stochastic Control with Obstacles Thomas Mensink, Jakob Verbeek, Bert Kappen 544: Constraint-based Controller Synthesis in Non-Deterministic and Partially Observable Domains Cedric Pralet, Gerard Verfaillie, Michel Lemaitre, Guillaume Infantes 68: Decision-theoretic Optimal Sampling with Hidden Markov Random Fields Regis Sabbadin, Nathalie peyrard ---------------------------------------------------------------------- SESSION 6A: LOGICAL FOUNDATIONS OF KR (Room 6.2.53) 579: Metric propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco 30: An Axiom System for a Spatial Logic with Convexity Adam Trybus 453: Optimal Tableaux for Conditional Logics with Cautious Monotonicity Lutz Schroder, Dirk Pattinson, Daniel Hausmann 715: Linear Logic for Non-Linear Storytelling Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat 486: ProbLog Technology for Inference in a Probabilistic First Order Logic Maurice Bruynooghe, Luc De Raedt, Gerda Janssens, Angelika Kimmig, Theofrastos Mantadelis, Joost Vennekens ---------------------------------------------------------------------- SESSION 6B: SEARCH & HEURISTICS (Room 6.1.36) 97: A note on the complexity of some multiobjective A* search algorithms Lawrence Mandow, Jose_Luis Perez-de-la-Cruz 732: Contract Search : Heuristic Search under Node Expansion Constraints Sandip Aine 561: Fast Local Search for Fuzzy Job Shop Scheduling Jorge Puente, Camino R Vela, Ines Gonzalez Rodriguez 619: Stronger Abstractions for the Pancake Problem Malte Helmert, Gabriele Roger 124: ISAC -- Instance-Specific Algorithm Configuration Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, Kevin Tierney ---------------------------------------------------------------------- SESSION 6C: NATURAL LANGUAGE PROCESSING (Room 6.2.56) 435: Using background knowledge to support coreference resolution Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko 268: Detecting Ironic Intent in Creative Comparisons Tony Veale, Yanfen Hao 328: Cross-Domain Contextualisation of Sentiment Lexicons Stefan Gindl, Albert Weichselbraun, Arno Scharl 278: Learning to Author Text with textual CBR Ibrahim Adeyanju, Nirmalie Wiratunga, Juan Recio-Garcia, Robert Lothian 380: Classifier Ensemble using Multiobjective Optimization for Named Entity Recognition Asif Ekbal, Sriparna Saha ---------------------------------------------------------------------- SESSION 6D: MACHINE LEARNING & DATA MINING (Room 3.2.13) 91: Mining Outliers with Adaptive Cutoff Update and Space Utilization (RACAS) Chi-Cheong Szeto, Edward Hung 265: Feature Selection by Approximating the Markov Blanket in a Kernel-Induced Space Qiang Lou, Zoran Obradovic 236: Recognising Agent Behaviour During Variable Length Activities Rolf Baxter, David Lane 734: Continuous Conditional Random Fields for Regression in Remote Sensing Vladan Radosavljevic, Slobodan Vucetic, Zoran Obradovic 111: Combining Local and Global KNN With Cotraining Victor Laguna, Alneu Lopes ---------------------------------------------------------------------- SESSION 6E: CLUSTERING & CLASSIFICATION (Room 3.2.16) 811: Multi Grain Sentiment Analysis using Collective Classification Shivashankar S, Ravindran B 53: Temporal Relations Learning with a Bootstrapped Cross-document Classifier Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani 812: Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity Isabelle Alvarez, Sophie Martin, Salma Mesmoudi 215: Soft Nearest Convex Hull Classifier Georgi Nalbantov, Evgueni Smirnov 249: Using Domain Knowledge to Guide Lattice-based Complex Data Exploration Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smail-Tabbone ---------------------------------------------------------------------- SESSION 6F: CONSTRAINTS (Room 3.2.14) 92: Adaptive Branching for Constraint Satisfaction Problems Thanasis Balafoutis, Kostas Stergiou 162: Symmetries of Symmetry Breaking Constraints George Katsirelos, Toby Walsh 481: Solving Pseudo-Boolean Modular Constraints Carlos Ansotegui, Ramon Bejar, Cesar Fernandez, Francesc Guitart, Carles Mateu 470: Learning When to Use Lazy Learning in Constraint Solving Ian Gent, Chris Jefferson, Lars Kotthoff, Ian Miguel, Neil Moore, Peter Nightingale, Karen Petrie ---------------------------------------------------------------------- SESSION 7A: ACTION, TIME, AND CHANGE (Room 3.2.14) 298: LTL Goal Specifications Revisited Patrik Haslum, Andreas Bauer 202: On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs Jens Classen, Gerhard Lakemeyer ---------------------------------------------------------------------- SESSION 7B: FOUNDATIONS OF LOGICAL REASONING (Room 6.2.56) 555: The Complexity of Handling Minimal Solutions in Logic-Based Abduction Reinhard Pichler, Stefan Woltran 423: Abduction of distributed theories through local interactions Gauvain Bourgne, Nicolas Maudet, Katsumi Inoue ---------------------------------------------------------------------- SESSION 7C: NEURAL NETS (Room 3.2.13) 800: A NEAT Way for Evolving Echo State Networks Kyriakos Chatzidimitriou, Pericles Mitkas 632: Unsupervised Layer-wise Model Selection in Deep Neural Networks Ludovic Arnold, Helene Paugam-Moisy, Michele Sebag ---------------------------------------------------------------------- SESSION 7D: ORIGINS OF LANGUAGE (Room 3.2.16) 822: Acquisition of Grammar in Autonomous Artificial Systems Kateryna Gerasymova, Michael Spranger 789: Open-ended Grounded Semantics Michael Spranger, Martin Loetzsch, Simon Pauw ---------------------------------------------------------------------- SESSION 7E: UNCERTAINTY IN AI (Room 6.2.53) 359: Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters Dominik Jain, Andreas Barthels, Michael Beetz 541: Min-based causal possibilistic networks : Handling interventions and analyzing the possibilistic co Karim Tabia, Salem Benferhat ---------------------------------------------------------------------- SESSION 7F: LOGIC PROGRAMMING & ANSWER SET PROGRAMMING (Room 6.1.36) 440: On Testing Answer-Set Programs Tomi Janhunen, Ilkka Niemela, Johannes Oetsch, Joerg Puehrer, Hans Tompits 362: On Semantic Update Operators for Answer-Set Programs Martin Slota, Joao Leite ---------------------------------------------------------------------- |