IJCAI-11

<< Prev

	Place	Session	Title	Author/Authors
09:00 - 10:00	Plenary video	Invited talk Session Chair: Craig Knoblock	Open Information Extraction at Web Scale	Oren Etzioni
10:00 - 10:30	Coffee
10:30 - 12:10	Plenary video	Best Paper Session Chair: Guido Governatori	CP 2010: A Flat Histogram Method for Computing the Density of States of Combinatorial Problems	Stefano Ermon, Carla Gomes, Bart Selman
			SAT 2010: Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width	Eli Ben-Sasson, Jan Johannsen
			RuleML 2011: Norm Compliance of Rule-Based Cognitive Agents	Antonino Rotolo
			RuleML 2011: Reasoning and Proofing Services for Semantic Web Agents	Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades
			RuleML-2011: RuleML for Object-Relational Knowledge Representation on the Web	Harold Boley
	Rooms 120-121 video	Agents: game theory TALKS Session Chair: Haris Aziz	Security Games with Multiple Attacker Resources	Dmytro Korzhyk, Vincent Conitzer and Ronald Parr
			Subsidies, Stability, and Restricted Cooperation in Coalitional Games	Reshef Meir, Jeffrey S. Rosenschein and Enrico Malizia
			Minimum Search To Establish Worst-Case Guarantees in Coalition Structure Generation	Talal Rahwan, Tomasz Michalak and Nicholas R. Jennings
		Agents 7 POSTERS	Generalized Reaction Functions for Solving Complex-Task Allocation Problems	Xiaoming Zheng and Sven Koenig
			Minimum Search To Establish Worst-Case Guarantees in Coalition Structure Generation	Talal Rahwan, Tomasz Michalak and Nicholas R. Jennings
			On Combining Decisions from Multiple Expert Imitators for Performance	Jonathan Rubin and Ian Watson
			Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees	Ryan Luna and Kostas Bekris
			Rational decision making in a multiple-adversary environment	Anat Hashavit and Shaul Markovitch
			Simulating the Emergence of Grammatical Agreement in Multi-agent Language Games	Katrien Beuls and Sebastian Höfer
			Trust Decision-Making in Multi-agent Systems	Chris Burnett, Timothy Norman and Katia Sycara
	Rooms 122-123 video	Agents: planning & search TALKS Session Chair: John Slaney	Continuous Time Planning for Multiagent Teams with Temporal Constraints	Zhengyu Yin, Milind Tambe and Kanna Rajan
			Online Planning for Ad Hoc Autonomous Agent Teams	Feng Wu, Shlomo Zilberstein and Xiaoping Chen
			Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates	Jordan Thayer and Wheeler Ruml
		Search 4 POSTERS	A Hybrid Recursive Multi-Way Number Partitioning Algorithm	Richard Korf
			Evaluations of Hash Distributed A* in Optimal Sequence Alignment	Yoshikazu Kobayashi, Akihiro Kishimoto and Osamu Watanabe
			Heuristic Algorithms for Balanced Multi-way Number Partitioning	Jilian Zhang, Kyriakos Mouratidis and HweeHwa Pang
			Nested Rollout Policy Adaptation for Monte Carlo Tree Search	Christopher Rosin
			Real-Time Heuristic Search with Depression Avoidance	Carlos Hernandez and Jorge Baier
			Real-time Opponent Modeling in Trick-taking Card Games	Jeffrey Long and Michael Buro
			Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems	Zhaoyi Zhang, Wenbin Zhu, Wee-Chong Oon and Andrew Lim
			Using Payoff-Similarity to Speed Up Search	Timothy Furtak and Michael Buro
	Rooms 124-125 video	KR: argumentation TALKS Session Chair: Michael Thielscher	Revisiting Preferences and Argumentation	Sanjay Modgil and Henry Prakken
			Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs	Gerhard Brewka, Paul Dunne and Stefan Woltran
			Parametric Properties of Ideal Semantics	Wolfgang Dvorak, Paul Dunne and Stefan Woltran
		KR 8 POSTERS	Augmenting Tractable Fragments of Abstract Argumentation	Sebastian Ordyniak and Stefan Szeider
			Beth Definability in Expressive Description Logics	Balder ten Cate, Enrico Franconi and Inanc Seylan
			Generalising the Interaction Rules in Probabilistic Logic	Arjen Hommersom and Peter Lucas
			On the complexity of EL with defeasible inclusions	Piero Bonatti, Marco Faella and Luigi Sauro
			Parametric Properties of Ideal Semantics	Wolfgang Dvorak, Paul Dunne and Stefan Woltran
			Reasoning about typicality in low complexity DLs: the logics EL^bot T_min and DL-lite_R T_min	Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato
			Relating Carneades with abstract argumentation	Bas van Gijzel and Henry Prakken
			Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs	Gerhard Brewka, Paul Dunne and Stefan Woltran
			Revisiting Preferences and Argumentation	Sanjay Modgil and Henry Prakken
	Rooms 127-128 video	KR: description logic TALKS Session Chair: Carsten Lutz	Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ	Magdalena Ortiz, Sebastian Rudolph and Mantas Simkus
			Consequence-Based Reasoning beyond Horn Ontologies	Frantisek Simancik, Yevgeny Kazakov and Ian Horrocks
			Containment of Regular Path Queries under Description Logic Constraints	Diego Calvanese, Magdalena Ortiz and Mantas Simkus
		Agents 9 POSTERS	A dynamic logic of normative systems	Andreas Herzig, Emiliano Lorini, Frédéric Moisan and Nicolas Troquard
			Alternating Epistemic Mu-Calculus	Nils Bulling and Wojtek Jamroga
			AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament	Meng Chang and Minghua He
			Evaluation of the “Adaptive-Aggressive” Trading-Agent Strategy Against Human Traders in CDA: AA Wins	Dave Cliff and Marco De Luca
			Model Checking Knowledge in Pursuit-Evasion Games	Xiaowei Huang and Ron van der Meyden
			Using experience to generate new regulations	Javier Morales, Maite Lopez Sanchez and Marc Esteva
	Rooms 129-130 video	ML: semi-supervised learning TALKS Session Chair: Alessandro Sperduti	Semi-supervised learning from a translation model between data distributions	Henry Anaya-Sánchez, José Martínez-Sotoca and Adolfo Martínez-Usó
			Local and Structural Consistency for Multi-manifold Clustering	Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou
			Discerning Linkage-Based Algorithms Among Hierarchical Clustering Methods	Margareta Ackerman and Shai Ben-David
		ML 7 POSTERS	Approximation-Guided Evolutionary Multi-Objective Optimization	Karl Bringmann, Tobias Friedrich, Frank Neumann and Markus Wagner
			Combining Supervised and Unsupervised Models via Unconstrained Probabilistic Embedding	Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi and Zhiyong Shen
			Constituent Grammatical Evolution	Loukas Georgiou and William Teahan
			Fast Approximate Nearest-Neighbor Search using k-Nearest Neighbor Graph	Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi and Hong Zhang
			Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks	Jeffrey Chan, Samantha Lam and Conor Hayes
			Jointly Learning Data-Dependent Label and Locality-Preserving Projections	Chang Wang and Sridhar Mahadevan
			Modular Community Detection in Networks	Wenye Li and Dale Schuurmans
			Similarity-Based Approach for Positive and Unlabeled learning	Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao and Chengqi Zhang
			Utility-based Fraud Detection	Luis Torgo and Elsa Lopes
	Rooms 131-132 video	UAI: multiagent systems TALKS Session Chair: Ann Nowe	Efficient planning for factored infinite-horizon DEC-POMDPs	Joni Pajarinen and Jaakko Peltonen
			Scalable Multiagent Planning Using Probabilistic Inference	Akshat Kumar, Shlomo Zilberstein and Marc Toussaint
			Randomized Sensing in Adversarial Environments	Andreas Krause, Alex Roper and Daniel Golovin
		ML 8 POSTERS	A general MCMC method for Bayesian inference in logic-based probabilistic modeling	Taisuke Sato
			Dealing with Concept Drift and Class Imbalance in Multi-label Stream Classification	Eleftherios Spyromitros Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas and Ioannis Vlahavas
Discovering deformable shape templates in continuous time-series data			Suchi Saria, Andrew Duchi and Daphne Koller
Generative Structure Learning for Markov Logic Network Based on Graph of Predicates			Quang-Thang DINH, Christel Vrain and Matthieu Exbrayat
Imitation Learning in Relational Words: A Functional Gradient Boosting Approach			Sriraam Natarajan, Saket Joshi, Prasad Tadepelli, Kristian Kersting and Jude Shavlik
Learning Driving Behavior By Timed Syntactic Pattern Recognition			Sicco Verwer, Mathijs de Weerdt and Cees Witteveen
Learning to Rank under Multiple Annotators			Ou Wu
Strategy Learning for Autonomous Agents in Smart Grid Markets			Prashant Reddy and Manuela Veloso
Room 111	Industry Day
12:10 - 12:20	Break
12:20 - 13:00	Plenary video	Best Paper Session Chair: Ian Horrocks	ISWC 2010: A Framework for Longitudinal Influence Measurement between Communication Content and Social Network	Shenghui Wang, Paul Groth
	Plenary video	Best Paper Session Chair: Ian Horrocks	ISWC 2010: An On-Line Algorithm for Semantic Forgetting	Heather S. Packer, Nicholas Gibbins, Nicholas R. Jennings
	Rooms 120-121 video	Agents: decision making TALKS Session Chair: Yves Lesperance	Using Emotions to Enhance Decision-Making	Dimitrios Antos and Avi Pfeffer
	Rooms 120-121 video		Reasoning about Preferences in Intelligent Agents	John Thangarajah, James Harland and Simeon Visser
	Rooms 122-123 video	Constraints: extension TALKS Session Chair: Claude-Guy Quimper	Constraint Programming on Infinite Data Streams	Arnaud Lallouet, Yat-Chiu Law, Jimmy H. M. Lee, Charles F. K. Siu
	Rooms 122-123 video		Generalizing ADOPT and BnB-ADOPT	Patricia Gutierrez, Pedro Meseguer and William Yeoh
	Rooms 124-125 video	KR: argumentation TALKS Session Chair: Pierre Marquis	Augmenting Tractable Fragments of Abstract Argumentation	Sebastian Ordyniak and Stefan Szeider
	Rooms 124-125 video	KR: argumentation TALKS Session Chair: Pierre Marquis	Relating Carneades with abstract argumentation	Bas van Gijzel and Henry Prakken
	Rooms 127-128 video	KR: fuzzy and multi-valued logics TALKS Session Chair: Thomas Schneider	Description Logics and Fuzzy Probability	Lutz Schröder and Dirk Pattinson
	Rooms 127-128 video		Description Logics over Lattices with Multi-valued Ontologies	Stefan Borgwardt and Rafael Penaloza
	Rooms 129-130 video	ML: feature selection TALKS Session Chair: Dale Schuurmans	Consistency Measures for Feature Selection	Kilho Shin, Danny Fernandes, Seiya Miyazaki
	Rooms 129-130 video		Joint Feature Selection and Subspace Learning	Quanquan Gu, Zhenhui Li and Jiawei Han
	Rooms 131-132 video	Planning: POMDPs TALKS Session Chair: Leslie Kaelbling	Point-Based Value Iteration for Constrained POMDPs	Dongho Kim, Jaesong Lee, Kee-Eung Kim and Pascal Poupart
	Rooms 131-132 video	Planning: POMDPs TALKS Session Chair: Leslie Kaelbling	Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion	Matthijs Spaan, Frans Oliehoek and Christopher Amato
	Room 111	Industry Day
13:00 - 14:30	Lunch
14:30 - 15:30	Plenary video	Best Paper Session Chair: Lluís Godo	UAI 2011: Sum-Product Networks: A New Deep Architecture	Hoifung Poon, Pedro Domingos
			UAI 2011: Generalised Wishart Processes	Andrew Wilson, Zoubin Ghahramani
			ECSQARU 2011: Measuring the Good and the Bad in Inconsistent Information	John Grant, Anthony Hunter
	Rooms 120-121 video	Agents: multiagent systems TALKS Session Chair: Maria Gini	AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament	Meng Chang and Minghua He
			On Combining Decisions from Multiple Expert Imitators for Performance	Jonathan Rubin and Ian Watson
			An Interaction-Oriented Model for Multi-Scale Simulation	Philippe Mathieu and Sebastien Picault
	Rooms 122-123 video	Search: packing and partitioning TALKS Session Chair: Pedro Meseguer	A Hybrid Recursive Multi-Way Number Partitioning Algorithm	Richard Korf
			Heuristic Algorithms for Balanced Multi-way Number Partitioning	Jilian Zhang, Kyriakos Mouratidis and HweeHwa Pang
			Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems	Zhaoyi Zhang, Wenbin Zhu, Wee-Chong Oon and Andrew Lim
	Rooms 124-125 video	KR: nonmonotic TALKS Session Chair: Michael Fink	What is an Ideal Logic for Reasoning with Inconsistency?	Ofer Arieli, Arnon Avron and Anna Zamansky
			First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription	Michael Bartholomew, Joohyung Lee and Yunsong Meng
			A Logical Formulation for Negotiation Among Dishonest Agents	Chiaki Sakama, Son Tran and Enrico Pontelli
	Rooms 127-128 video	KR: description logic TALKS Session Chair: Giuseppe De Giacomo	Description Logic TBoxes: Model-theoretic Characterizations and Rewritability	Carsten Lutz, Robert Piro and Frank Wolter
			Well-Supported Semantics for Description Logic Programs	Yi-Dong Shen
			Beth Definability in Expressive Description Logics	Balder ten Cate, Enrico Franconi and Inanc Seylan
	Rooms 129-130 video	ML: kernels TALKS Session Chair: Chris Ding	Multi-Kernel Gaussian Processes	Arman Melkumyan and Fabio Ramos
			Kernel-based Selective Ensemble Learning for Streams of Trees	Valerio Grossi and Alessandro Sperduti
			Multi-kernel Multi-Label Learning with Max-Margin Concept Network	Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu
	Rooms 131-132 video	Planning: MDPs TALKS Session Chair: Pascal Poupart	Risk-sensitive policies for (sustainable) renewable resource allocation	Stefano Ermon, carla gomes and Bart Selman
			DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes	Jennifer Barry, Leslie Kaelbling and Tomas Lozano-Perez
			Probabilistic Goal Markov Decision Processes	Huan Xu and Shie Mannor
	Room 111	Industry Day
15:30 - 16:30	Plenary video	Invited talk Session Chair: Randy Goebel	The Games People Play Revisited	Jonathan Schaeffer
16:30 - 17:30	Plenary	Closing event

PROGRAM

INVITED SPEAKERS