×

ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. (English) Zbl 1352.68013

Frontiers in Artificial Intelligence and Applications 285. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). xxv, 1833 p. (2016).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1296.68011].
Indexed articles:
King, Thomas C.; Dignum, Virginia; Jonker, Catholijn M., When do rule changes count-as legal rule changes?, 3-11 [Zbl 1396.91130]
Schneider, Markus; Ertel, Wolfgang; Palm, Günther, Constant time EXPected similarity estimation for large-scale anomaly detection, 12-20 [Zbl 1403.68211]
Gönen, Mehmet, AUC maximization in Bayesian hierarchical models, 21-27 [Zbl 1396.62135]
Jonsson, Peter, Finite unary relations and qualitative constraint satisfaction, 37-45 [Zbl 1403.68238]
Arioua, Abdallah; Croitoru, Madalina, A dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks, 55-63 [Zbl 1403.68250]
Zhou, Zhangquan; Qi, Guilin; Glimm, Birte, Exploring parallel tractability of ontology materialization, 73-81 [Zbl 1403.68284]
Tang, Qingtao; Wang, Yisen; Xia, Shu-Tao, Student-\(t\) process regression with dependent Student-\(t\) noise, 82-89 [Zbl 1400.62084]
Szczepański, Piotr L.; Michalak, Tomasz P.; Rahwan, Talal; Wooldridge, Michael, An extension of the Owen-value interaction index and its application to inter-links prediction, 90-98 [Zbl 1396.91610]
Sabbadin, Régis; Viet, Anne-France, Leader-follower MDP models with factored state space and many followers – followers abstraction, structured dynamics and state aggregation, 116-124 [Zbl 1396.91024]
D’Agostino, M.; Modgil, S., A rational account of classical logic argumentation for real-world agents, 141-149 [Zbl 1403.68261]
Hunter, Anthony, Two dimensional uncertainty in persuadee modelling in argumentation, 150-157 [Zbl 1403.68268]
Qiao, Linbo; Lin, Tianyi; Jiang, Yu-Gang; Yang, Fan; Liu, Wei; Lu, Xicheng, On stochastic primal-dual hybrid gradient approach for compositely regularized minimization, 167-174 [Zbl 1396.90054]
Aghighi, Meysam; Bäckström, Christer; Jonsson, Peter; Ståhlberg, Simon, Analysing approximability and heuristics in planning using the exponential-time hypothesis, 184-192 [Zbl 1403.68230]
Cooper, Martin C.; Herzig, Andreas; Maffre, Faustine; Maris, Frédéric; Régnier, Pierre, A simple account of multi-agent epistemic planning, 193-201 [Zbl 1403.68259]
Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne, More than a name? On implications of preconditions and effects of compound HTN planning tasks, 225-233 [Zbl 1403.68234]
Linsbichler, Thomas; Pührer, Jörg; Strass, Hannes, A uniform account of realizability in abstract argumentation, 252-260 [Zbl 1403.68271]
Maushagen, Cynthia; Rothe, Jörg, Complexity of control by partitioning veto and maximin elections and of control by adding candidates to plurality elections, 277-285 [Zbl 1396.91133]
Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub, Agent-based refinement for predicate abstraction of multi-agent systems, 286-294 [Zbl 1403.68300]
De Clercq, Sofie; Schockaert, Steven; Nowé, Ann; De Cock, Martine, Formalizing commitment-based deals in Boolean games, 329-337 [Zbl 1396.91020]
Yang, Yongjie; Shrestha, Yash Raj; Guo, Jiong, How hard is bribery with distance restrictions?, 363-371 [Zbl 1396.91155]
Haret, Adrian; Pfandler, Andreas; Woltran, Stefan, Beyond IC postulates: classification criteria for merging operators, 372-380 [Zbl 1403.68266]
Creignou, Nadia; Ktari, Raïda; Papini, Odile, Belief contraction within fragments of propositional logic, 390-398 [Zbl 1403.68260]
De Giacomo, Giuseppe; Lespérance, Yves; Pearce, Adrian R., Situation calculus game structures and GDL, 408-416 [Zbl 1396.91011]
Polevoy, Gleb; de Weerdt, Mathijs; Jonker, Catholijn, The game of reciprocation habits, 417-425 [Zbl 1396.91014]
Baroni, Pietro; Governatori, Guido; Riveret, Régis, On labelling statements in multi-labeling argumentation, 489-497 [Zbl 1403.68252]
Rong, Jiang; Qin, Tao; An, Bo; Liu, Tie-Yan, Modeling bounded rationality for sponsored search auctions, 515-523 [Zbl 1396.91278]
Li, Xiaohong; Zhang, Chengwei; Hao, Jianye; Tuyls, Karl; Chen, Siqi; Feng, Zhiyong, Socially-aware multiagent learning: towards socially optimal outcomes, 533-541 [Zbl 1396.91036]
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti, Synthesizing argumentation frameworks from examples, 551-559 [Zbl 1403.68272]
Trovò, Francesco; Paladino, Stefano; Restelli, Marcello; Gatti, Nicola, Budgeted multi-armed bandit in continuous action space, 560-568 [Zbl 1396.91051]
Rosenfeld, Ariel; Keshet, Joseph; Goldman, Claudia V.; Kraus, Sarit, Online prediction of exponential decay time series with human-agent application, 595-603 [Zbl 1400.62196]
Benferhat, Salem; Levray, Amélie; Tabia, Karim; Kreinovich, Vladik, Set-valued conditioning in a possibility theory setting, 604-612 [Zbl 1403.68288]
Berg, Jeremias; Saikko, Paul; Järvisalo, Matti, Subsumed label elimination for maximum satisfiability, 630-638 [Zbl 1403.68235]
Bolt, Janneke H.; De Bock, Jasper; Renooij, Silja, Exploiting Bayesian network sensitivity functions for inference in credal networks, 646-654 [Zbl 1403.68289]
Scala, Enrico; Haslum, Patrik; Thiebaux, Sylvie; Ramirez, Miquel, Interval-based relaxation for general numeric planning, 655-663 [Zbl 1403.68246]
Zhuang, Zhiqiang; Delgrande, James; Nayak, Abhaya; Sattar, Abdul, Reconsidering AGM-style belief revision in the context of logic programs, 671-679 [Zbl 1403.68277]
Hug, Nicolas; Prade, Henri; Richard, Gilles; Serrurier, Mathieu, Analogical classifiers: a theoretical perspective, 689-697 [Zbl 1403.68191]
Durand, François; Mathieu, Fabien; Noirie, Ludovic, Can a Condorcet rule have a low coalitional manipulability, 707-715 [Zbl 1396.91123]
Bäckström, Christer; Jonsson, Peter, Upper and lower time and space bounds for planning, 716-724 [Zbl 1403.68231]
Belardinelli, Francesco; Lomuscio, Alessio, Abstraction-based verification of infinite-state reactive modules, 725-733 [Zbl 1403.68299]
Brewka, Gerhard; Mailly, Jean-Guy; Woltran, Stefan, Translation-based revision and merging for minimal Horn reasoning, 734-742 [Zbl 1403.68254]
Testerink, Bas; Dastani, Mehdi; Bulling, Nils, Distributed controllers for norm enforcement, 751-759 [Zbl 1403.93146]
Mo, Peiming; Li, Naiqi; Liu, Yongmei, Automatic verification of Golog programs via predicate abstraction, 760-768 [Zbl 1403.68129]
Aziz, Haris; Kalinowski, Thomas; Walsh, Toby; Xia, Lirong, Welfare of sequential allocation mechanisms for indivisible goods, 787-794 [Zbl 1396.91319]
Grégoire, Eric; Lagniez, Jean-Marie, A computational approach to consensus-finding, 795-801 [Zbl 1403.68264]
Döcker, Janosch; Dorn, Britta; Endriss, Ulle; Krüger, Dominikus, Complexity and tractability islands for combinatorial auctions on discrete intervals with gaps, 802-809 [Zbl 1396.91236]
Gaggl, Sarah; Rudolph, Sebastian; Schweizer, Lukas, Fixed-domain reasoning for description logics, 819-827 [Zbl 1403.68263]
Lee, Jae Hee; Li, Sanjiang; Long, Zhiguo; Sioutis, Michael, On redundancy in simple temporal networks, 828-836 [Zbl 1403.68302]
Gutiérrez-Basulto, Víctor; Jung, Jean Christoph; Ozaki, Ana, On metric temporal description logics, 837-845 [Zbl 1403.68265]
Luengo-Sanchez, Sergio; Bielza, Concha; Larrañaga, Pedro, Hybrid Gaussian and von Mises model-based clustering, 855-862 [Zbl 1396.62146]
Olsen, Martin; Kurz, Sascha; Milonero, Xavier, On the construction of high-dimensional simple games, 880-885 [Zbl 1396.91013]
Knobbout, Max; Dastani, Mehdi; Meyer, John-Jules, A dynamic logic of norm change, 886-894 [Zbl 1403.68270]
van Bevern, René; Komusiwicz, Christian; Molter, Hendrik; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby, h-index manipulation by undoing merges, 895-903 [Zbl 1394.68194]
Jabbour, Said; Raddaoui, Badran; Sais, Lakhdar; Salhi, Yakoub, On the computation of Top-\(k\) extensions in abstract argumentation frameworks, 913-920 [Zbl 1403.68269]
Rens, Gavin; Meyer, Thomas; Casini, Giovanni, On revision of partially specified convex probabilistic belief bases, 921-929 [Zbl 1403.68283]
Gonçalves, Ricardo; Knorr, Matthias; Leite, João, You can’t always forget what you want: on the limits of forgetting in answer set programming, 957-965 [Zbl 1403.68030]
Faber, Wolfgang; Vallati, Mauro; Cerutti, Federico; Giacomin, Massimiliano, Solving set optimization problems by cardinality optimization with an application to argumentation, 966-973 [Zbl 1403.68236]
Xiong, Liping; Liu, Yongmei, Strategy representation and reasoning in the situation calculus, 982-990 [Zbl 1403.68276]
Jabbour, Said; Sais, Lakhdar, Exploiting MUS structure to measure inconsistency of knowledge bases, 991-998 [Zbl 1403.68286]
Lukasiewicz, Thomas; Predoiu, Livia, Complexity of threshold query answering in probabilistic ontological data exchange, 1008-1016 [Zbl 1403.68054]
Chekol, Melisachew Wudage; Huber, Jakob; Meilicke, Christian; Stuckenschmidt, Heiner, Markov logic networks with numerical constraints, 1017-1025 [Zbl 1403.68290]
Joseph, Ajin George; Bhatnagar, Shalabh, Revisiting the cross entropy method with applications in stochastic global optimization and reinforcement learning, 1026-1034 [Zbl 1396.90053]
Say, Buser; Cire, Andre A.; Beck, J. Christopher, Mathematical programming models for optimizing partial-order plan flexibility, 1044-1052 [Zbl 1403.68245]
Caridroit, Thomas; Konieczny, Sébastien; de Lima, Tiago; Marquis, Pierre, On distances between KD45\(_n\) Kripke models and their use for belief revision, 1053-1061 [Zbl 1521.03026]
Hemaspaandra, Edith; Schnoor, Henning, Dichotomy for pure scoring rules under manipulative electoral actions, 1071-1079 [Zbl 1396.91129]
Baader, Franz; Fernández Gil, Oliver, Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes, 1096-1104 [Zbl 1403.68251]
Bliem, Bernhard; Ordyniak, Sebastian; Woltran, Stefan, Clique-width and directed width measures for answer-set programming, 1105-1113 [Zbl 1403.68029]
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven, Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions, 1149-1157 [Zbl 1403.68253]
Gatti, Nicola; Rocco, Marco; Serafino, Paolo; Ventre, Carmine, Towards better models of externalities in sponsored search auctions, 1167-1175 [Zbl 1396.91243]
Koriche, Frédéric; Le Berre, Daniel; Lonca, Emmanuel; Marquis, Pierre, Fixed parameter tractable optimization under DNNF constraints, 1194-1202 [Zbl 1403.68241]
Amor, Nahla Ben; Dubois, Didier; Gouider, Héla; Prade, Henri, Preference modeling with possibilistic networks and symbolic weights: a theoretical study, 1203-1211 [Zbl 1403.68287]
Vicol, Paul; Delgrande, James; Schaub, Torsten, A minimization-based approach to iterated multi-agent belief change, 1221-1229 [Zbl 1403.68274]
Kouvaros, Panagiotis; Lomuscio, Alessio, Parameterised model checking for alternating-time temporal logic, 1230-1237 [Zbl 1403.68127]
Kuželka, Ondřej; Davis, Jesse; Schockaert, Steven, Interpretable encoding of densities using possibilistic logic, 1239-1247 [Zbl 1403.68291]
Wahbi, Mohamed; Brown, Kenneth N., A distributed asynchronous solver for Nash equilibria in hypergraphical games, 1291-1299 [Zbl 1396.91046]
de Silva, Lavindra; Sardina, Sebastian; Padgham, Lin, Summary information for reasoning about hierarchical plans, 1300-1308 [Zbl 1403.68249]
Claßen, Jens; Neuss, Malte, Knowledge-based programs with defaults in a modal situation calculus, 1309-1317 [Zbl 1403.68258]
Benabbou, Nawal; Perny, Patrice, Solving multi-agent knapsack problems using incremental approval voting, 1318-1326 [Zbl 1403.68233]
Schwering, Christoph; Lakemeyer, Gerhard, Decidable reasoning in a first-order logic of limited conditional belief, 1379-1387 [Zbl 1403.68273]
Oudghiri, Soufiane Drissi; Perny, Patrice; Spanjaard, Olivier; Hachimi, Mohamed, Using the Sugeno integral in optimal assignment problems with qualitative utilities, 1406-1413 [Zbl 1396.91326]
Ceylan, İsmail İlkan; Lukasiewicz, Thomas; Peñaloza, Rafael, Complexity results for probabilistic Datalog\(^\pm\), 1414-1422 [Zbl 1403.68050]
Gourvès, Laurent; Lesca, Julien; Wilczynski, Anaëlle, Strategic voting in a social context: considerate equilibria, 1423-1431 [Zbl 1396.91128]
Carapelle, Claudia; Turhan, Anni-Yasmin, Description logics reasoning w.r.t. general TBoxes is decidable for concrete domains with the EHD-property, 1440-1448 [Zbl 1403.68255]
Zhang, Lei; Chen, Haibin; Wu, Jun; Wang, Chong-Jun; Xie, Junyuan, False-name-proof mechanisms for path auctions in social networks, 1485-1492 [Zbl 1396.91286]
de Haan, Ronald, Parameterized complexity results for the Kemeny rule in judgment aggregation, 1502-1510 [Zbl 1403.68085]
van Zee, Marc; Doder, Dragan, AGM-style revision of beliefs and intentions, 1511-1519 [Zbl 1403.68278]
Yuan, Hongning; Wang, Kai; Fong, Ken C. K.; Zhang, Yong; Li, Minming, Facility location games with optional preference, 1520-1527 [Zbl 1396.91015]
Slavkovik, Marija; Jamroga, Wojciech, Iterative judgment aggregation, 1528-1536 [Zbl 1396.91094]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68T05 Learning and adaptive systems in artificial intelligence
68T10 Pattern recognition, speech recognition
68T30 Knowledge representation
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1296.68011
PDFBibTeX XMLCite
Full Text: Link