Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Eisa Alanazi, Malek Mouhoub, Sandra Zilles |
The complexity of exact learning of acyclic conditional preference networks from swap examples.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Gurevich, Hannes Stuke |
Gradient conjugate priors and multi-layer neural networks.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Vanzo, Danilo Croce, Emanuele Bastianelli, Roberto Basili 0001, Daniele Nardi |
Grounded language interpretation of robotic commands through structured learning.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shashank Shekhar, Ronen I. Brafman |
Representing and planning with interacting actions and privacy.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Pührer |
Realizability of three-valued semantics for abstract dialectical frameworks.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sam Bayless, Nodir Kodirov, Syed M. Iqbal, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu |
Scalable constraint-based virtual data center allocation.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gianluigi Greco, Francesco Lupia, Francesco Scarcello |
Coalitional games induced by matching problems: Complexity and islands of tractability for the Shapley value.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Gerault, Pascal Lafourcade 0001, Marine Minier, Christine Solnon |
Computing AES related-key differential characteristics with constraint programming.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas C. Henderson, Robert Simmons, Bernard Serbinowski, Michael Cline, David Sacharny, Xiuyi Fan, Amar Mitiche |
Probabilistic sentence satisfiability: An approach to PSAT.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Lakhdar Loukil, Patrice Boizumault |
Variable neighborhood search for graphical model energy minimization.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oswin Krause, Asja Fischer, Christian Igel |
Algorithms for estimating the partition function of restricted Boltzmann machines.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Catrin Misselhorn |
Artificial systems with moral capacities? A research design and its implementation in a geriatric care system.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sweitze Roffel |
Introducing article numbering to Artificial Intelligence.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Younes Mechqrane, Mohamed Wahbi, Christian Bessiere, Kenneth N. Brown |
Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems.  |
Artif. Intell.  |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Martínez-Plumed, Ricardo B. C. Prudêncio, Adolfo Martínez Usó, José Hernández-Orallo |
Item response theory in AI: Analysing machine learning classifiers at the instance level.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim Miller |
Explanation in artificial intelligence: Insights from the social sciences.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luca Pulina, Martina Seidl |
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17).  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diego Aineto, Sergio Jiménez Celorrio, Eva Onaindia |
Learning action models with minimal observability.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal |
Forgetting auxiliary atoms in forks.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler |
Backdoors to planning.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Reuth Mirsky, Roni Stern, Kobi Gal, Meir Kalech |
Corrigendum to "Sequential plan recognition: An iterative approach to disambiguating between hypotheses" [Artif. Intell. 260 (2018) 51-73].  |
Artif. Intell.  |
2019 |
DBLP BibTeX RDF |
|
1 | Matteo Castiglioni, Alberto Marchesi, Nicola Gatti 0001, Stefano Coniglio |
Leadership in singleton congestion games: What is hard and what is easy.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Efrat Sless, Noa Agmon, Sarit Kraus |
Multi-robot adversarial patrolling: Handling sequential attacks.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka, Matthias Thimm, Markus Ulbricht |
Strong inconsistency.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Weiwei Chen, Ulle Endriss |
Preservation of semantic properties in collective argumentation: The case of aggregating abstract argumentation frameworks.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query inseparability for ALC ontologies.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson |
Computing programs for generalized planning using a classical planner.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Skibski, Talal Rahwan, Tomasz P. Michalak, Makoto Yokoo |
Attachment centrality: Measure for connectivity in networks.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Timo Lüddecke, Alejandro Agostini, Michael Fauth, Minija Tamosiunaite, Florentin Wörgötter |
Distributional semantics of objects in visual scenes in comparison to text.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Thimm, Johannes Peter Wallner |
On the complexity of inconsistency measurement.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haris Aziz 0001, Péter Biró, Ronald de Haan, Baharak Rastegari |
Pareto optimal allocation under uncertain preferences: uncertainty models, algorithms, and complexity.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Lukasiewicz, Enrico Malizia |
Complexity results for preference aggregation over (m)CP-nets: Pareto and majority voting.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Liat Cohen, Solomon Eyal Shimony, Gera Weiss |
Estimating the probability of meeting a deadline in schedules and plans.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Proving semantic properties as first-order satisfiability.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhengqiu He, Wenliang Chen, Zhenghua Li, Wei Zhang, Hao Shao, Min Zhang 0005 |
Syntax-aware entity representations for neural relation extraction.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Feijiang Li, Yuhua Qian, Jieting Wang, Chuangyin Dang, Liping Jing |
Clustering ensemble based on sample's stability.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hao-Fan Yang, Yi-Ping Phoebe Chen |
Representation learning with extreme learning machines and empirical mode decomposition for wind speed forecasting methods.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern |
The Book of Why, Judea Pearl. Basic Books (2018).  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haris Aziz 0001, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh |
Strategyproof peer selection using randomization, partitioning, and apportionment.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Morettin, Andrea Passerini, Roberto Sebastiani |
Advanced SMT techniques for weighted model integration.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Vadim Malvone, Aniello Murano |
Natural strategic ability.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul Duckworth, David C. Hogg, Anthony G. Cohn |
Unsupervised human activity analysis for intelligent mobile robots.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | K. Wang, X. Wan |
Automatic generation of sentimental texts via mixture adversarial networks.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Federico Cerutti, Massimiliano Giacomin, Mauro Vallati |
How we designed winning algorithms for abstract argumentation and which insight we attained.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joey Tianyi Zhou, Sinno Jialin Pan, Ivor W. Tsang |
A deep learning framework for Hybrid Heterogeneous Transfer Learning.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
Foundations of ontology-based data access under bag semantics.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings |
On the efficiency of data collection for multiple Naïve Bayes classifiers.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Fernández-González, Carlos Gómez-Rodríguez |
Faster shift-reduce constituent parsing with a non-binary, bottom-up strategy.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Richard Booth 0001, Giovanni Casini, Thomas Meyer, Ivan Varzinczak |
On rational entailment for Propositional Typicality Logic.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Igor Douven |
Optimizing group learning: An evolutionary computing approach.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Naumov, Jia Tao |
Knowing-how under uncertainty.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Liangda Fang, Yongmei Liu 0001, Hans van Ditmarsch |
Forgetting in multi-agent modal logics.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Bhargava, Brian C. Williams |
Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amirali Salehi-Abari, Craig Boutilier, Kate Larson |
Empathetic decision making in social networks.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xi Alice Gao, James R. Wright, Kevin Leyton-Brown |
Incentivizing evaluation with peer prediction and limited access to ground truth.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Caragiannis, Xenophon Chatzigeorgiou, George A. Krimpas, Alexandros A. Voudouris |
Optimizing positional scoring rules for rank aggregation.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski |
Approximate verification of strategic abilities under imperfect information.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roni Stern, Gal Dreiman, Richard Anthony Valenzano |
Probably bounded suboptimal heuristic search.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Leye Wang, Xu Geng, Xiaojuan Ma, Daqing Zhang 0001, Qiang Yang 0001 |
Ridesharing car detection by transfer learning.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan |
On coarser interval temporal logics.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michele Flammini, Manuel Mauro, Matteo Tonelli |
On social envy-freeness in multi-unit markets.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Horn, Günther R. Raidl, Christian Blum 0001 |
Job sequencing with one common and multiple secondary resources: An A⁎/Beam Search based anytime algorithm.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marco Benjumeda, Concha Bielza, Pedro Larrañaga |
Learning tractable Bayesian networks in the space of elimination orders.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Fazzinga, Sergio Flesca, Filippo Furfaro |
Complexity of fundamental problems in probabilistic abstract argumentation: Beyond independence.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Junyu Xuan, Jie Lu 0001, Guangquan Zhang 0001 |
Cooperative hierarchical Dirichlet processes: Superposition vs. maximization.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks |
Maintenance of datalog materialisations revisited.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Bartholomew, Joohyung Lee |
First-order stable model semantics with intensional functions.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti |
Rational closure for all description logics.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nelly Barbot, Laurent Miclet, Henri Prade |
Analogy between concepts.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Siang Yew Chong, Peter Tiño, Jun He 0004 |
Coevolutionary systems and PageRank.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tal Grinshpoun, Tamir Tassa, Vadim Levit, Roie Zivan |
Privacy preserving region optimal algorithms for symmetric and asymmetric DCOPs.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Gelfond-Zhang aggregates as propositional formulas.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yangqiu Song, Shyam Upadhyay, Haoruo Peng, Stephen Mayhew 0001, Dan Roth |
Toward any-language zero-shot topic classification of textual documents.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ariel Rosenfeld, Oleg Maksimov |
Optimal cruiser-drone traffic enforcement under energy limitation.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Filtser, Nimrod Talmon |
Distributed monitoring of election winners.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yanjun Li, Barteld Kooi, Yanjing Wang 0001 |
A dynamic epistemic framework for reasoning about conformant probabilistic plans.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chao Qian 0001, Yang Yu 0001, Ke Tang, Xin Yao 0001, Zhi-Hua Zhou |
Maximizing submodular or monotone approximately submodular functions by multi-objective evolutionary algorithms.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Salyer B. Reed, Tyson R. C. Reed, Sergiu M. Dascalu |
Spatiotemporal recursive hyperspheric classification with an application to dynamic gesture recognition.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yi-Dong Shen, Thomas Eiter |
Determining inference semantics for disjunctive logic programs.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran |
A general notion of equivalence for abstract argumentation.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Agerri, German Rigau |
Language independent sequence labelling for Opinion Target Extraction.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Marchioni, Michael J. Wooldridge |
Łukasiewicz logics for cooperative games.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ofra Amir, Barbara J. Grosz, Krzysztof Z. Gajos, Limor Gultchin |
Personalized change awareness: Reducing information overload in loosely-coupled teamwork.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Deniz Ozsoyeller, Andrew Beveridge, Volkan Isler |
Rendezvous in planar environments with obstacles and unknown initial distance.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benito van der Zander, Maciej Liskiewicz, Johannes Textor |
Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond, Yuanlin Zhang 0002 |
Vicious circle principle, aggregates, and formation of sets in ASP based languages.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sanatan Sukhija, Narayanan Chatapuram Krishnan |
Supervised heterogeneous feature transfer via random forests.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yair Zick, Georgios Chalkiadakis, Edith Elkind, Evangelos Markakis |
Cooperative games with overlapping coalitions: Charting the tractability frontier.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai |
A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pasin Manurangsi, Warut Suksompong |
Computing a small agreeable set of indivisible items.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | James P. Delgrande, Bryan Renne, Joshua Sack |
The logic of qualitative probability.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jinsong Su, Xiangwen Zhang, Qian Lin, Yue Qin, Junfeng Yao, Yang Liu 0005 |
Exploiting reverse target-side contexts for neural machine translation via asynchronous bidirectional decoding.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marius Lindauer, Jan N. van Rijn, Lars Kotthoff |
The algorithm selection competitions 2015 and 2017.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cristhian A. D. Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo Ricardo Simari |
Belief base contraction by belief accrual.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dogan Corus, Pietro Simone Oliveto, Donya Yazdani |
Artificial immune systems can find arbitrarily good approximations for the NP-hard number partitioning problem.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Erel Segal-Halevi, Warut Suksompong |
Democratic fair allocation of indivisible goods.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grossi, Sanjay Modgil |
On the graded acceptability of arguments in abstract and instantiated argumentation.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Richard Booth 0001, Jake Chandler |
From iterated revision to iterated contraction: Extending the Harper Identity.  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Eppe, Ewen Maclean, Roberto Confalonieri 0001, Oliver Kutz, Marco Schorlemmer, Enric Plaza, Kai-Uwe Kühnberger |
A computational framework for conceptual blending.  |
Artif. Intell.  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Junbo Zhang, Yu Zheng 0004, Dekang Qi, Ruiyuan Li, Xiuwen Yi, Tianrui Li |
Predicting citywide crowd flows using deep spatio-temporal residual networks.  |
Artif. Intell.  |
2018 |
DBLP DOI BibTeX RDF |
|