《IJCAI13(2013年国际人工智能会议收录的论文目录)》由会员分享,可在线阅读,更多相关《IJCAI13(2013年国际人工智能会议收录的论文目录)(29页珍藏版)》请在金锄头文库上搜索。
1、Verifiable Equilibria in Boolean GamesThomas ?gotnes, Paul Harrenstein, Wiebe van der Hoek, Michael WooldridgeA Framework to Choose Trust Models for Different E-Marketplace Environments Athirai A. Irissappane, Siwei Jiang, Jie ZhangLearning Community-based Preferences via Dirichlet Process Mixtures
2、of Gaussian Processes Ehsan Abbasnejad, Scott Sanner, Edwin V. Bonilla, Pascal PoupartRobust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics Samson Abramsky, Georg Gottlob, Phokion KolaitisMultiple Link Sign Prediction in Online Signed Social NetworksPriyanka Agrawal, Vikas K
3、. Garg, Ramasuri NarayanamAutomatically Generating Problems and Solutions for Natural DeductionUmair Ahmed, Sumit Gulwani, Amey KarkareRevisiting Regression in PlanningVidal Alc zar Saiz, Daniel Borrajo, Susana Fernndez, Raquel Fuentetaja PiznReasoning about normative updateNatasha Alechina, Mehdi D
4、astani, Brian LoganAutomated Grading of DFA constructionsRajeev Alur, Loris DAntoni, Sumit Gulwani, Dileep Kini, Mahesh ViswanathanEfficient Algorithm for the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints Nouhad Amaneddine, Jean-Fran ?ois Condotta, Michael SioutisAn ensemb
5、le of Bayesian networks for multilabel classificationAlessandro Antonucci, Giorgio Corani, Denis Maua, Sandra GabaglioExchanging OWL 2 QL Knowledge BasesMarcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav RyzhikovTemporal Description Logic for Ontology-Based Data AccessAlessandro Artale, Roman
6、 Kontchakov, Frank Wolter, Michael ZakharyaschevUndecidability of epistemic multi-agent planningGuillaume Aucher, Thomas BolanderMaximal Recursive Rule: A New Social Decision SchemeHaris AzizBridging the Gap Between Refinement and Heuristics in AbstractionChrister B ?ckstr ?m, Peter JonssonIdentifyi
7、ng Useful Human Feedback from an On-line Translation ServiceAlberto Barr n-Cede ?o, lluis marquez, Carlos A. Henrquez Q., Formiga LlusFunctional Stable Model Semantics and Answer Set Programming Modulo TheoriesMichael Bartholomew, Joohyung LeeSelf-Organized Neural Learning of Statistical Inference f
8、rom High-Dimensional DataJohannes Bauer, Stefan WermterMaintaining alternative values in constraint-based configurationCaroline Becker, Hlne FargierDecidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems Francesco Belardinelli, Alessio LomuscioReasoning about Conti
9、nuous Uncertainty in the Situation CalculusVaishak Belle, Hector LevesqueBasic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications Radim Belohlavek, Martin TrneckaSyntactic Computation of Hybrid Possibilistic Conditioning under Uncertain InputsSalem Benferhat, Celi
10、a da Costa Pereira, Andrea TettamanziAutomating Quantified Conditional Logics in HOLChristoph BenzmllerDetecting and Exploiting Subproblem TractabilityChristian Bessiere, Clement Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby WalshConstraint Acquisition via Partial QueriesChristian Bessiere, R
11、emi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby WalshC-Link: a hierarchical clustering approach to coalition formationManuele Bicego, Alessandro Farinelli, Sarvapali Ramchurn, Mauro ZucchelliTractable Queries for Lightweight Description Logi
12、csMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui XiaoTractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access Meghyn Bienvenu, Riccardo RosatiFirst Order-Rewritability of Atomic Queries in Horn Description LogicsMeghyn Bienvenu, Carsten Lutz, Frank Wolter
13、Conjunctive Regular Path Queries in Lightweight Description LogicsMeghyn Bienvenu, Magdalena Ortiz, Mantas SimkusAudit GamesJeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel Procaccia, Arunesh SinhaThe Markov Assumption: Formalization and ImpactAlexander BochmanMining for Analogous Tuples from
14、an Entity-Relation GraphDanushka Bollegala, Mitsuru Kushimoto, Yuichi Yoshida, Ken-ichi KawarabayashiAn Admissible Heuristic for SAS Planning Obtained from the State EquationBlai BonetCausal Belief Decomposition for Planning with Sensing: Completeness and Practical Approximation Blai Bonet, Hector G
15、effnerOn the Complexity of Trick Taking Card Gamesdouard Bonnet, Florian Jamain, Abdallah SaffidinePositive Subsumption in Fuzzy EL with General t-normsStefan Borgwardt, Rafael Pe?alozaUsingDouble-oracleMethodandSerializedAlpha-BetaSearchfor Pruningin SimultaneousMovesGamesBranislav Bosansky, Jiri Cermak, Viliam Lis