×

zbMATH — the first resource for mathematics

Artificial Intelligence

Short Title: Artif. Intell.
Publisher: Elsevier, Amsterdam
ISSN: 0004-3702
Online: http://www.sciencedirect.com/science/journal/00043702/
Comments: Indexed cover-to-cover
Documents Indexed: 2,107 Publications (since 1970)
References Indexed: 1,998 Publications with 83,068 References.
all top 5

Authors

32 Kraus, Sarit
28 Eiter, Thomas
20 Jennings, Nicholas R.
19 Dechter, Rina
19 Wooldridge, Michael J.
17 Dunne, Paul E.
17 Pearl, Judea
17 Walsh, Toby
16 Halpern, Joseph Yehuda
16 Lin, Fangzhen
14 Cooper, Martin C.
14 Levesque, Hector J.
14 Tennenholtz, Moshe
13 Boutilier, Craig
13 Jonsson, Peter A.
13 Lifschitz, Vladimir
12 Gottlob, Georg
12 Woltran, Stefan
11 Bessiere, Christian
11 Delgrande, James P.
11 Giacomin, Massimiliano
11 Lang, Jérôme
11 Marquis, Pierre
11 Shoham, Yoav
11 Yang, Qiang
11 Zhou, Zhihua
10 Baroni, Pietro
10 Brafman, Ronen I.
10 Felner, Ariel
10 Kambhampati, Subbarao
10 Korf, Richard E.
10 Prade, Henri M.
9 Bench-Capon, Trevor J. M.
9 De Raedt, Luc
9 Dvořák, Wolfgang
9 Gerevini, Alfonso Emilio
9 Leone, Nicola
9 Li, Sanjiang
9 Lukasiewicz, Thomas
9 Rosenschein, Jeffrey S.
9 Sandholm, Tuomas W.
9 Schaub, Torsten H.
9 Stern, Roni
9 van der Hoek, Wiebe
9 Zhang, Weixiong
8 Ben-Eliyahu-Zohary, Rachel
8 Cadoli, Marco
8 Chakrabarti, Partha Pratim
8 Darwiche, Adnan
8 Davis, Ernest E.
8 Greco, Gianluigi
8 Greiner, Russell
8 Holte, Robert C.
8 Hunter, Anthony
8 Liberatore, Paolo
8 Nebel, Bernhard
8 Smith, David E.
8 Subrahmanian, V. S.
8 Thielscher, Michael
8 Thimm, Matthias
8 Toni, Francesca
8 Truszczyński, Mirosław
8 Veloso, Manuela M.
8 Zaffalon, Marco
7 Baral, Chitta R.
7 Bratko, Ivan
7 Brewka, Gerhard
7 Cai, Shaowei
7 De Giacomo, Giuseppe
7 Domshlak, Carmel
7 Dubois, Didier
7 Gent, Ian Philip
7 Hoos, Holger H.
7 Lakemeyer, Gerhard
7 Leyton-Brown, Kevin
7 Nau, Dana S.
7 Perlis, Donald R.
7 Phan Minh Dung
7 Procaccia, Ariel D.
7 Schockaert, Steven
7 Simari, Guillermo Ricardo
7 Tambe, Milind
7 Weld, Daniel S.
7 Yokoo, Makoto
6 Abdelbar, Ashraf M.
6 Bacchus, Fahiem
6 Bonatti, Piero Andrea
6 Bundy, Alan
6 DeSarkar, S. C.
6 Donini, Francesco M.
6 Elkind, Edith
6 Endriss, Ulle
6 Fargier, Hélène
6 Fink, Michael
6 Freund, Michael
6 Ginsberg, Matthew L.
6 Giordano, Laura
6 Ibaraki, Toshihide
6 Jeavons, Peter G.
6 Kuipers, Benjamin J.
...and 2,811 more Authors

Publications by Year

Citations contained in zbMATH Open

1,719 Publications have been cited 21,484 times in 9,891 Documents Cited by Year
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
510
1980
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games. Zbl 1013.68556
Dung, Phan Minh
348
1995
Nonmonotonic reasoning, preferential models and cumulative logics. Zbl 0782.03012
Kraus, Sarit; Lehmann, Daniel; Magidor, Menachem
318
1990
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
278
1980
Default reasoning and possibility theory. Zbl 0645.68108
Dubois, Didier; Prade, Henri
246
1988
The transferable belief model. Zbl 0807.68087
Smets, Philippe; Kennes, Robert
239
1994
Probabilistic logic. Zbl 0589.03007
Nilsson, Nils J.
212
1986
Consistency in networks of relations. Zbl 0341.68061
Mackworth, Alan K.
212
1977
A theory of diagnosis from first principles. Zbl 0643.68122
Reiter, Raymond
203
1987
Wrappers for feature subset selection. Zbl 0904.68143
Kohavi, Ron; John, George H.
197
1997
STRIPS: A new approach to the application of theorem proving to problem solving. Zbl 0234.68036
Fikes, Richard E.; Nilsson, Nils J.
178
1971
Semantical considerations on nonmonotonic logic. Zbl 0569.68079
Moore, Robert C.
174
1985
What does a conditional knowledge base entail? Zbl 0762.68057
Lehmann, Daniel; Magidor, Menachem
157
1992
Propositional knowledge base revision and minimal change. Zbl 0792.68182
Katsuno, Hirofumi; Mendelzon, Alberto O.
136
1991
Belief, awareness, and limited reasoning. Zbl 0634.03013
Fagin, Ronald; Halpern, Joseph Y.
135
1988
Extending and implementing the stable model semantics. Zbl 0995.68021
Simons, Patrik; Niemelä, Ilkka; Soininen, Timo
132
2002
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
132
1992
Depth-first iterative-deepening: An optimal admissible tree search. Zbl 0573.68030
Korf, Richard E.
127
1985
The computational complexity of probabilistic inference using Bayesian belief networks. Zbl 0717.68080
Cooper, Gregory F.
127
1990
Non-monotonic logic. I. Zbl 0435.68074
McDermott, Drew; Doyle, Jon
121
1980
Fusion, propagation, and structuring in belief networks. Zbl 0624.68081
Pearl, Judea
114
1986
On the logic of iterated belief revision. Zbl 1018.03012
Darwiche, Adnan; Pearl, Judea
114
1997
Temporal constraint networks. Zbl 0737.68070
Dechter, Rina; Meiri, Itay; Pearl, Judea
114
1991
Constraints on deformable models: Recovering 3D shape and nonrigid motion. Zbl 0646.68105
Terzopoulos, Demetri; Witkin, Andrew; Kass, Michael
108
1988
Positive approximation: an accelerator for attribute reduction in rough set theory. Zbl 1205.68310
Qian, Yuhua; Liang, Jiye; Pedrycz, Witold; Dang, Chuangyin
108
2010
A logical framework for default reasoning. Zbl 0647.68094
Poole, David
106
1988
Diagnosing multiple faults. Zbl 0642.94045
de Kleer, Johan; Williams, Brian C.
105
1987
Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156
Dechter, Rina; Pearl, Judea
97
1988
Planning and acting in partially observable stochastic domains. Zbl 0908.68165
Kaelbling, Leslie Pack; Littman, Michael L.; Cassandra, Anthony R.
90
1998
An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511
Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F.
87
1997
A mathematical treatment of defeasible reasoning and its implementation. Zbl 1193.68238
Simari, Guillermo R.; Loui, Ronald P.
86
1992
Attributive concept descriptions with complements. Zbl 0712.68095
Schmidt-Schauß, Manfred; Smolka, Gert
84
1991
Towards a general theory of action and time. Zbl 0567.68025
Allen, James F.
82
1984
Selection of relevant features and examples in machine learning. Zbl 0904.68142
Blum, Avrim L.; Langley, Pat
82
1997
Uncertainty measures of rough set prediction. Zbl 0909.68040
Düntsch, Ivo; Gediga, Günther
80
1998
An analysis of alpha-beta pruning. Zbl 0358.68143
Knuth, Donald E.; Moore, Ronald W.
74
1975
Tree clustering for constraint networks. Zbl 0665.68084
Dechter, Rina; Pearl, Judea
73
1989
On the evaluation of argumentation formalisms. Zbl 1168.68562
Caminada, Martin; Amgoud, Leila
71
2007
Fast planning through planning graph analysis. Zbl 1017.68533
Blum, Avrim L.; Furst, Merrick L.
71
1997
Argumentation in artificial intelligence. Zbl 1168.68560
Bench-Capon, T. J. M.; Dunne, Paul E.
69
2007
Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
69
2012
The computational complexity of propositional STRIPS planning. Zbl 0821.68065
Bylander, Tom
69
1994
An analysis of first-order logics of probability. Zbl 0723.03007
Halpern, Joseph Y.
68
1990
On the relation between default and autoepistemic logic. Zbl 0647.68088
Konolige, Kurt
67
1988
All I know: A study in autoepistemic logic. Zbl 0724.03019
Levesque, Hector J.
65
1990
Intention is choice with commitment. Zbl 0721.03017
Cohen, Philip R.; Levesque, Hector J.
64
1990
Probabilistic Horn abduction and Bayesian networks. Zbl 0792.68176
Poole, David
64
1993
ASSAT: computing answer sets of a logic program by SAT solvers. Zbl 1085.68544
Lin, Fangzhen; Zhao, Yuting
62
2004
Qualitative simulation. Zbl 0624.68098
Kuipers, Benjamin
61
1986
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
61
1992
Credal networks. Zbl 0945.68163
Cozman, F. G.
60
2000
Planning for conjunctive goals. Zbl 0642.68171
Chapman, David
59
1987
The value of the four values. Zbl 0928.03025
Arieli, Ofer; Avron, Arnon
59
1998
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
59
2004
Nonmonotonic logic and temporal projection. Zbl 0654.68107
Hanks, Steve; McDermott, Drew
58
1987
The independent choice logic for modelling multiple agents under uncertainty. Zbl 0902.03017
Poole, David
58
1997
Nonmonotonic inference based on expectations. Zbl 0803.68125
Gärdenfors, Peter; Makinson, David
58
1994
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Zbl 1182.68298
Denœux, Thierry
58
2008
A logic-based theory of deductive arguments. Zbl 0971.68143
Besnard, P.; Hunter, A.
57
2001
Planning as heuristic search. Zbl 0971.68146
Bonet, B.; Geffner, H.
57
2001
Computing ideal sceptical argumentation. Zbl 1168.68564
Dung, P. M.; Mancarella, P.; Toni, F.
56
2007
Combining answer set programming with description logics for the semantic web. Zbl 1183.68595
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans
56
2008
Constraints, consistency and closure. Zbl 0909.68076
Jeavons, Peter; Cohen, David; Cooper, Martin C.
54
1998
Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems. Zbl 0782.90054
Minton, Steven; Johnston, Mark D.; Philips, Andrew B.; Laird, Philip
54
1992
Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847
Dechter, R.
54
1999
Algorithm for optimal winner determination in combinatorial auctions. Zbl 0984.68039
Sandholm, Tuomas
53
2002
Answer set programming and plan generation. Zbl 0995.68020
Lifschitz, Vladimir
53
2002
Characterizing diagnoses and systems. Zbl 0772.68085
de Kleer, Johan; Mackworth, Alan K.; Reiter, Raymond
53
1992
Conditional entailment: bridging two approaches to default reasoning. Zbl 1193.68235
Geffner, Hector; Pearl, Judea
52
1992
Bayesian and non-Bayesian evidential updating. Zbl 0622.68069
Kyburg, Henry E. jun.
52
1987
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Zbl 0372.94024
Stallman, Richard M.; Sussman, Gerald J.
52
1977
Solving the multiple instance problem with axis-parallel rectangles. Zbl 1042.68650
Dietterich, Thomas G.; Lathrop, Richard H.; Lozano-Pérez, Tomás
50
1997
Epistemic entrenchment and possibilistic logic. Zbl 0749.03019
Dubois, Didier; Prade, Henri
50
1991
Approximating probabilistic inference in Bayesian belief networks is NP- hard. Zbl 0781.68105
Dagum, Paul; Luby, Michael
50
1993
Drift analysis and average time complexity of evolutionary algorithms. Zbl 0971.68129
He, J.; Yao, X.
49
2001
SCC-recursiveness: a general schema for argumentation semantics. Zbl 1132.68765
Baroni, Pietro; Giacomin, Massimiliano; Guida, Giovanni
49
2005
Reasoning about preferences in argumentation frameworks. Zbl 1192.68663
Modgil, Sanjay
49
2009
On principle-based evaluation of extension-based argumentation semantics. Zbl 1168.68559
Baroni, Pietro; Giacomin, Massimiliano
48
2007
Linear resolution with selection function. Zbl 0234.68037
Kowalski, Robert; Kuehner, Donald
48
1971
Robot motion planning with uncertainty in control and sensing. Zbl 0817.93045
Latombe, Jean-Claude; Lazanas, Anthony; Shekhar, Shashank
47
1991
Conditional logics of normality: A modal approach. Zbl 0811.68114
Boutilier, Craig
47
1994
Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
47
2011
Constraint propagation with interval labels. Zbl 0642.68176
Davis, Ernest
46
1987
Nonmonotonic reasoning, conditional objects and possibility theory. Zbl 1017.68539
Benferhat, Salem; Dubois, Didier; Prade, Henri
46
1997
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
46
2000
A generic arc-consistency algorithm and its specializations. Zbl 0763.68059
van Hentenryck, Pascal; Deville, Yves; Teng, Choh-Man
45
1992
Coherence in finite argument systems. Zbl 1043.68098
Dunne, Paul E.; Bench-Capon, T. J. M.
45
2002
An approach to default reasoning based on a first-order conditional logic: Revised report. Zbl 0646.03015
Delgrande, James P.
44
1988
Methods for task allocation via agent coalition formation. Zbl 0908.68032
Shehory, Onn; Kraus, Sarit
44
1998
Real-time heuristic search. Zbl 0718.68082
Korf, Richard E.
44
1990
Refutational theorem proving using term-rewriting systems. Zbl 0558.68072
Hsiang, Jieh
43
1985
Ensembling neural networks: Many could be better than all. Zbl 0995.68077
Zhou, Zhi-Hua; Wu, Jianxin; Tang, Wei
43
2002
How to reason defeasibly. Zbl 0763.68056
Pollock, John L.
43
1992
Anyone but him: the complexity of precluding an alternative. Zbl 1168.91346
Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg
42
2007
Quantifying inductive bias: AI learning algorithms and Valiant’s learning framework. Zbl 0651.68104
Haussler, David
42
1988
Counterfactuals. Zbl 0655.03011
Ginsberg, Matthew L.
42
1986
A skeptical theory of inheritance in nonmonotonic semantic networks. Zbl 0717.68085
Horty, John F.; Thomason, Richmond H.; Touretzky, David S.
42
1990
Cumulative default logic: In defense of nonmonotonic inference rules. Zbl 0753.03011
Brewka, Gerhard
42
1991
Constructing roadmaps of semi-algebraic sets. I: Completeness. Zbl 0668.14016
Canny, John
41
1988
Abstract argumentation systems. Zbl 1017.03513
Vreeswijk, Gerard A. W.
41
1997
Design and results of the second international competition on computational models of argumentation. Zbl 07153710
Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan
4
2020
The Hanabi challenge: a new frontier for AI research. Zbl 07174011
Bard, Nolan; Foerster, Jakob N.; Chandar, Sarath; Burch, Neil; Lanctot, Marc; Song, H. Francis; Parisotto, Emilio; Dumoulin, Vincent; Moitra, Subhodeep; Hughes, Edward; Dunning, Iain; Mourad, Shibl; Larochelle, Hugo; Bellemare, Marc G.; Bowling, Michael
2
2020
Relative inconsistency measures. Zbl 07174017
Besnard, Philippe; Grant, John
2
2020
Autoepistemic equilibrium logic and epistemic specifications. Zbl 1432.68453
Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas
2
2020
Evaluation of the moral permissibility of action plans. Zbl 07274581
Lindner, Felix; Mattmüller, Robert; Nebel, Bernhard
1
2020
Limited lookahead in imperfect-information games. Zbl 1437.91067
Kroer, Christian; Sandholm, Tuomas
1
2020
Adapting a kidney exchange algorithm to align with human values. Zbl 1433.68317
Freedman, Rachel; Borg, Jana Schaich; Sinnott-Armstrong, Walter; Dickerson, John P.; Conitzer, Vincent
1
2020
CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement. Zbl 1451.68248
Grastien, Alban; Scala, Enrico
1
2020
On the complexity of reasoning about opinion diffusion under majority dynamics. Zbl 1454.91154
Auletta, Vincenzo; Ferraioli, Diodato; Greco, Gianluigi
1
2020
Computing AES related-key differential characteristics with constraint programming. Zbl 07153699
Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine
1
2020
Gradient conjugate priors and multi-layer neural networks. Zbl 07153700
Gurevich, Pavel; Stuke, Hannes
1
2020
New models for generating hard random Boolean formulas and disjunctive logic programs. Zbl 07153709
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
1
2020
Recursively modeling other agents for decision making: a research perspective. Zbl 07153713
Doshi, Prashant; Gmytrasiewicz, Piotr; Durfee, Edmund
1
2020
Landmark-based approaches for goal recognition as planning. Zbl 07153717
Pereira, Ramon Fraga; Oren, Nir; Meneguzzi, Felipe
1
2020
When autonomous agents model other agents: an appeal for altered judgment coupled with mouths, ears, and a little more tape. Zbl 07174012
Crandall, Jacob W.
1
2020
Reasoning about uncertain parameters and agent behaviors through encoded experiences and belief planning. Zbl 07174015
Hayashi, Akinobu; A. Ruiken, Dirk; Hasegawa, Tadaaki; Goerick, Christian
1
2020
SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem. Zbl 07174016
Wang, Yiyuan; Cai, Shaowei; Chen, Jiejiang; Yin, Minghao
1
2020
The computational complexity of Angry Birds. Zbl 07174018
Stephenson, Matthew; Renz, Jochen; Ge, Xiaoyu
1
2020
Rethinking epistemic logic with belief bases. Zbl 1435.03036
Lorini, Emiliano
1
2020
Explanation in artificial intelligence: insights from the social sciences. Zbl 07099170
Miller, Tim
11
2019
Democratic fair allocation of indivisible goods. Zbl 07153682
Segal-Halevi, Erel; Suksompong, Warut
5
2019
Strong inconsistency. Zbl 07099173
Brewka, Gerhard; Thimm, Matthias; Ulbricht, Markus
3
2019
On social envy-freeness in multi-unit markets. Zbl 07099187
Flammini, Michele; Mauro, Manuel; Tonelli, Matteo
3
2019
On the complexity of inconsistency measurement. Zbl 07099238
Thimm, Matthias; Wallner, Johannes P.
3
2019
Forgetting auxiliary atoms in forks. Zbl 07099243
Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción
3
2019
Knowing-how under uncertainty. Zbl 07153675
Naumov, Pavel; Tao, Jia
2
2019
Leadership in singleton congestion games: what is hard and what is easy. Zbl 07153691
Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola; Coniglio, Stefano
2
2019
Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence. Zbl 07099175
Fazzinga, Bettina; Flesca, Sergio; Furfaro, Filippo
2
2019
Computing a small agreeable set of indivisible items. Zbl 07099179
Manurangsi, Pasin; Suksompong, Warut
2
2019
Backdoors to planning. Zbl 07099189
Kronegger, Martin; Ordyniak, Sebastian; Pfandler, Andreas
2
2019
Maintenance of datalog materialisations revisited. Zbl 07099190
Motik, Boris; Nenov, Yavor; Piro, Robert; Horrocks, Ian
2
2019
Rational closure for all description logics. Zbl 07099219
Bonatti, P. A.
2
2019
Pareto optimal allocation under uncertain preferences: uncertainty models, algorithms, and complexity. Zbl 07153676
Aziz, Haris; Biró, Péter; de Haan, Ronald; Rastegari, Baharak
1
2019
Distributed monitoring of election winners. Zbl 07153677
Filtser, Arnold; Talmon, Nimrod
1
2019
Optimal cruiser-drone traffic enforcement under energy limitation. Zbl 07153681
Rosenfeld, Ariel; Maksimov, Oleg
1
2019
From iterated revision to iterated contraction: extending the Harper identity. Zbl 07153685
Booth, Richard; Chandler, Jake
1
2019
Approximate verification of strategic abilities under imperfect information. Zbl 07153686
Jamroga, Wojciech; Knapik, Michał; Kurpiewski, Damian; Mikulski, Łukasz
1
2019
Job sequencing with one common and multiple secondary resources: an A*/beam search based anytime algorithm. Zbl 07153687
Horn, Matthias; Raidl, Günther; Blum, Christian
1
2019
Probably bounded suboptimal heuristic search. Zbl 07099171
Stern, Roni; Dreiman, Gal; Valenzano, Richard
1
2019
Optimizing positional scoring rules for rank aggregation. Zbl 07099172
Caragiannis, Ioannis; Chatzigeorgiou, Xenophon; Krimpas, George A.; Voudouris, Alexandros A.
1
2019
Supervised heterogeneous feature transfer via random forests. Zbl 07099176
Sukhija, Sanatan; Krishnan, Narayanan C.
1
2019
Separators and adjustment sets in causal graphs: complete criteria and an algorithmic framework. Zbl 07099192
van der Zander, Benito; Liśkiewicz, Maciej; Textor, Johannes
1
2019
The algorithm selection competitions 2015 and 2017. Zbl 07099203
Lindauer, Marius; van Rijn, Jan N.; Kotthoff, Lars
1
2019
Clustering ensemble based on sample’s stability. Zbl 07099208
Li, Feijiang; Qian, Yuhua; Wang, Jieting; Dang, Chuangyin; Jing, Liping
1
2019
First-order stable model semantics with intensional functions. Zbl 07099209
Bartholomew, Michael; Lee, Joohyung
1
2019
Multi-robot adversarial patrolling: handling sequential attacks. Zbl 07099211
Sless Lin, Efrat; Agmon, Noa; Kraus, Sarit
1
2019
Foundations of ontology-based data access under bag semantics. Zbl 07099215
Nikolaou, Charalampos; Kostylev, Egor V.; Konstantinidis, George; Kaminski, Mark; Cuenca Grau, Bernardo; Horrocks, Ian
1
2019
The 2016 and 2017 QBF solvers evaluations (QBFEVAL’16 and QBFEVAL’17). Zbl 07099220
Pulina, Luca; Seidl, Martina
1
2019
Empathetic decision making in social networks. Zbl 07099227
Salehi-Abari, Amirali; Boutilier, Craig; Larson, Kate
1
2019
Optimizing group learning: an evolutionary computing approach. Zbl 07099230
Douven, Igor
1
2019
Strategyproof peer selection using randomization, partitioning, and apportionment. Zbl 07099233
Aziz, Haris; Lev, Omer; Mattei, Nicholas; Rosenschein, Jeffrey S.; Walsh, Toby
1
2019
A general notion of equivalence for abstract argumentation. Zbl 07099237
Baumann, Ringo; Dvořák, Wolfgang; Linsbichler, Thomas; Woltran, Stefan
1
2019
Autonomous agents modelling other agents: a comprehensive survey and open problems. Zbl 1433.68460
Albrecht, Stefano V.; Stone, Peter
10
2018
Approximating optimal social choice under metric preferences. Zbl 07038325
Anshelevich, Elliot; Bhardwaj, Onkar; Elkind, Edith; Postl, John; Skowron, Piotr
7
2018
LARS: a logic-based framework for analytic reasoning over streams. Zbl 1448.68395
Beck, Harald; Dao-Tran, Minh; Eiter, Thomas
6
2018
The complexity landscape of decompositional parameters for ILP. Zbl 1451.90099
Ganian, Robert; Ordyniak, Sebastian
4
2018
Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
4
2018
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Zbl 1443.68169
Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Hudelot, Céline
3
2018
Arguing about informant credibility in open multi-agent systems. Zbl 1445.68236
Gottifredi, Sebastian; Tamargo, Luciano H.; García, Alejandro J.; Simari, Guillermo R.
3
2018
Fixing balanced knockout and double elimination tournaments. Zbl 1451.68129
Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Mattei, Nicholas; Stursberg, Paul; Walsh, Toby
3
2018
The complexity of Bayesian networks specified by propositional and relational languages. Zbl 1451.68257
Cozman, Fabio G.; Mauá, Denis D.
3
2018
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Zbl 1451.68254
Belle, Vaishak; Levesque, Hector J.
3
2018
Together we know how to achieve: an epistemic logic of know-how. Zbl 1454.03025
Naumov, Pavel; Tao, Jia
3
2018
A quality assuring, cost optimal multi-armed bandit mechanism for expertsourcing. Zbl 1423.68453
Jain, Shweta; Gujar, Sujit; Bhat, Satyanath; Zoeter, Onno; Narahari, Y.
3
2018
Strong temporal planning with uncontrollable durations. Zbl 1443.68163
Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.
2
2018
A computational framework for conceptual blending. Zbl 1443.68139
Eppe, Manfred; Maclean, Ewen; Confalonieri, Roberto; Kutz, Oliver; Schorlemmer, Marco; Plaza, Enric; Kühnberger, Kai-Uwe
2
2018
Optimal defense against election control by deleting voter groups. Zbl 1451.91054
Yin, Yue; Vorobeychik, Yevgeniy; An, Bo; Hazon, Noam
2
2018
Measuring inconsistency with constraints for propositional knowledge bases. Zbl 1445.68212
Mu, Kedian
2
2018
Extracting mutual exclusion invariants from lifted temporal planning domains. Zbl 1433.68404
Bernardini, Sara; Fagnani, Fabio; Smith, David E.
2
2018
Classical logic, argument and dialectic. Zbl 1451.68258
D’Agostino, M.; Modgil, S.
2
2018
Dynamics in matching and coalition formation games with structural constraints. Zbl 1454.91016
Hoefer, Martin; Vaz, Daniel; Wagner, Lisa
2
2018
Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations. Zbl 1451.68262
Gottifredi, Sebastian; Cohen, Andrea; García, Alejandro J.; Simari, Guillermo R.
2
2018
Fixpoint semantics for active integrity constraints. Zbl 1423.68134
Bogaerts, Bart; Cruz-Filipe, Luís
2
2018
A general semi-structured formalism for computational argumentation: definition, properties, and examples of application. Zbl 1444.68176
Baroni, Pietro; Giacomin, Massimiliano; Liao, Beishui
2
2018
Reactive multi-context systems: heterogeneous reasoning in dynamic environments. Zbl 1443.68182
Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg
1
2018
The complexity and generality of learning answer set programs. Zbl 1445.68206
Law, Mark; Russo, Alessandra; Broda, Krysia
1
2018
Predicting citywide crowd flows using deep spatio-temporal residual networks. Zbl 1445.68196
Zhang, Junbo; Zheng, Yu; Qi, Dekang; Li, Ruiyuan; Yi, Xiuwen; Li, Tianrui
1
2018
Safe inductions and their applications in knowledge representation. Zbl 1445.68207
Bogaerts, Bart; Vennekens, Joost; Denecker, Marc
1
2018
Shielded base contraction. Zbl 1445.68203
Garapa, Marco; Fermé, Eduardo; Reis, Maurício D. L.
1
2018
Learning in the machine: random backpropagation and the deep learning channel. Zbl 1445.68186
Baldi, Pierre; Sadowski, Peter; Lu, Zhiqin
1
2018
Entropy-based pruning for learning Bayesian networks using BIC. Zbl 1445.68189
de Campos, Cassio P.; Scanagatta, Mauro; Corani, Giorgio; Zaffalon, Marco
1
2018
Memory networks for fine-grained opinion mining. Zbl 07088486
Wang, Wenya; Pan, Sinno Jialin; Dahlmeier, Daniel
1
2018
The complexity of decision problems about equilibria in two-player Boolean games. Zbl 1452.91012
Ianovski, Egor; Ong, Luke
1
2018
Online spatio-temporal matching in stochastic and dynamic domains. Zbl 1448.90020
Lowalekar, Meghna; Varakantham, Pradeep; Jaillet, Patrick
1
2018
Incentive-based search for efficient equilibria of the public goods game. Zbl 1454.91045
Levit, Vadim; Komarovsky, Zohar; Grinshpoun, Tal; Meisels, Amnon
1
2018
On the adoption of abductive reasoning for time series interpretation. Zbl 1451.68266
Teijeiro, T.; Félix, P.
1
2018
On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation. Zbl 1451.68265
Schulz, Claudia; Toni, Francesca
1
2018
Multi-attribute proportional representation. Zbl 07036288
Lang, Jérôme; Skowron, Piotr
1
2018
Corrigendum to: “A general account of argumentation with preferences”. Zbl 1409.68282
Modgil, Sanjay; Prakken, Henry
1
2018
Overlapping layered learning. Zbl 1423.68384
MacAlpine, Patrick; Stone, Peter
1
2018
Star-topology decoupled state space search. Zbl 1444.68172
Gnad, Daniel; Hoffmann, Jörg
1
2018
The first international competition on computational models of argumentation: results and analysis. Zbl 1419.68135
Thimm, Matthias; Villata, Serena
10
2017
Integer linear programming for the Bayesian network structure learning problem. Zbl 1404.68094
Bartlett, Mark; Cussens, James
9
2017
Empirical decision model learning. Zbl 1404.68113
Lombardi, Michele; Milano, Michela; Bartolini, Andrea
8
2017
Auction optimization using regression trees and linear models as integer programs. Zbl 1404.68122
Verwer, Sicco; Zhang, Yingqian; Ye, Qing Chuan
8
2017
Automatically improving constraint models in Savile Row. Zbl 1419.68099
Nightingale, Peter; Akgün, Özgür; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Spracklen, Patrick
7
2017
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
6
2017
Model-based contextual policy search for data-efficient generalization of robot skills. Zbl 1420.68215
Kupcsik, Andras; Deisenroth, Marc Peter; Peters, Jan; Poh, Loh Ai; Vadakkepat, Prahlad; Neumann, Gerhard
6
2017
Incremental elicitation of Choquet capacities for multicriteria choice, ranking and sorting problems. Zbl 1419.68071
Benabbou, Nawal; Perny, Patrice; Viappiani, Paolo
6
2017
Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty. Zbl 1419.68110
Dubois, Didier; Prade, Henri; Schockaert, Steven
5
2017
...and 1524 more Documents
all top 5

Cited by 12,475 Authors

71 Dubois, Didier
60 Eiter, Thomas
57 Prade, Henri M.
46 Gabbay, Dov M.
41 Schaub, Torsten H.
39 Wooldridge, Michael J.
38 Woltran, Stefan
37 Denœux, Thierry
36 Gottlob, Georg
35 Halpern, Joseph Yehuda
34 Benferhat, Salem
32 Yager, Ronald R.
31 Leone, Nicola
31 Liang, Jiye
29 Qian, Yuhua
29 Walsh, Toby
28 Kern-Isberner, Gabriele
28 Kraus, Sarit
28 Simari, Guillermo Ricardo
27 Dechter, Rina
27 Jonsson, Peter A.
27 Lifschitz, Vladimir
26 Hunter, Anthony
26 van der Hoek, Wiebe
25 Cooper, Martin C.
25 Truszczyński, Mirosław
24 Arieli, Ofer
24 Delgrande, James P.
24 Lang, Jérôme
24 Lawry, Jonathan
24 Zaffalon, Marco
22 de Cooman, Gert
22 De Raedt, Luc
22 Lukasiewicz, Thomas
22 Marquis, Pierre
22 Moral, Serafín
21 Gagliardi Cozman, Fabio
21 Godo, Lluís
21 Greco, Gianluigi
21 Herzig, Andreas
21 Jeavons, Peter G.
21 Marek, V. Wiktor
21 Rothe, Jörg-Matthias
21 Subrahmanian, V. S.
21 van der Torre, Leendert W. N.
21 van Ditmarsch, Hans Pieter
21 Živný, Stanislav
20 Bloch, Isabelle
20 Destercke, Sébastien
20 Dunne, Paul E.
20 Fargier, Hélène
20 Jennings, Nicholas R.
20 Lin, Fangzhen
20 Lorini, Emiliano
20 Marques-Silva, João P.
20 Scarcello, Francesco
20 Schockaert, Steven
19 Amgoud, Leila
19 Besnard, Philippe
18 Alviano, Mario
18 Baral, Chitta R.
18 Baroni, Pietro
18 Gebser, Martin
18 Ibaraki, Toshihide
18 Jaulin, Luc
18 Liu, Weiru
18 Straccia, Umberto
18 Thimm, Matthias
17 Bessiere, Christian
17 Cabalar, Pedro
17 Chakrabarti, Partha Pratim
17 Dang, Chuangyin
17 De Giacomo, Giuseppe
17 Denecker, Marc
17 Fink, Michael
17 Giacomin, Massimiliano
17 Inoue, Katsumi
17 Maratea, Marco
17 Ognjanović, Zoran
17 Pearl, Judea
17 Sandholm, Tuomas W.
17 Shenoy, Prakash P.
17 Tennenholtz, Moshe
17 You, Jia-Huai
16 Baader, Franz
16 Cohen, David A.
16 Konieczny, Sébastien
16 Lee, Joohyung
16 Levesque, Hector J.
16 Li, Sanjiang
16 Peñaloza, Rafael
16 Szeider, Stefan
16 Yin, Minghao
15 De Cock, Martine
15 Dodaro, Carmine
15 Elkind, Edith
15 Faber, Wolfgang
15 Gelfond, Michael
15 Giunchiglia, Enrico
15 Lee, Jimmy Ho-man
...and 12,375 more Authors
all top 5

Cited in 504 Journals

1,605 Artificial Intelligence
663 International Journal of Approximate Reasoning
382 Annals of Mathematics and Artificial Intelligence
342 Theoretical Computer Science
282 Information Sciences
226 Theory and Practice of Logic Programming
223 Fuzzy Sets and Systems
215 European Journal of Operational Research
162 Journal of Automated Reasoning
153 Journal of Applied Non-Classical Logics
152 Constraints
125 Journal of Applied Logic
115 Synthese
111 Studia Logica
111 Machine Learning
109 Pattern Recognition
107 Journal of Computer and System Sciences
101 Journal of Philosophical Logic
87 Annals of Operations Research
86 Information Processing Letters
81 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
80 Computers & Operations Research
78 Discrete Applied Mathematics
76 Information and Computation
70 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
64 Algorithmica
63 Neural Computation
62 Computers & Mathematics with Applications
57 Journal of Symbolic Computation
55 International Journal of Intelligent Systems
55 Journal of Logic, Language and Information
54 Journal of Computer Science and Technology
53 New Generation Computing
52 Soft Computing
48 International Journal of General Systems
48 Mathematical Problems in Engineering
45 Games and Economic Behavior
40 The Journal of Artificial Intelligence Research (JAIR)
37 Applied Mathematics and Computation
36 Mathematical Social Sciences
35 Automatica
33 Computational Statistics and Data Analysis
29 Journal of Global Optimization
28 The Journal of Symbolic Logic
28 The Review of Symbolic Logic
27 Annals of Pure and Applied Logic
26 Theory and Decision
26 ACM Transactions on Computational Logic
25 International Journal of Applied Mathematics and Computer Science
24 Neural Networks
24 Journal of Machine Learning Research (JMLR)
23 International Journal of Computer Mathematics
23 Erkenntnis
22 Theory of Computing Systems
21 Kybernetika
21 Journal of Intelligent & Robotic Systems
19 Journal of Economic Theory
19 Cybernetics and Systems
19 International Journal of Production Research
19 Social Choice and Welfare
19 Formal Aspects of Computing
19 Journal of Mathematical Imaging and Vision
19 Journal of Heuristics
19 Data Mining and Knowledge Discovery
18 Acta Informatica
18 Mathematical and Computer Modelling
18 Journal of Computer and Systems Sciences International
18 Computational Intelligence
18 Logica Universalis
17 Journal of Mathematical Psychology
17 Applied Intelligence
16 Biological Cybernetics
16 International Journal of Systems Science
16 Discrete Event Dynamic Systems
16 Journal of Combinatorial Optimization
16 Journal of Scheduling
16 RAIRO. Operations Research
15 SIAM Journal on Computing
15 Cybernetics and Systems Analysis
15 Formal Methods in System Design
15 International Journal of Computer Vision
15 Fuzzy Optimization and Decision Making
15 Journal of Theoretical Biology
14 Notre Dame Journal of Formal Logic
14 INFORMS Journal on Computing
14 The Journal of Logic and Algebraic Programming
14 New Mathematics and Natural Computation
14 Computational & Mathematical Methods in Medicine
14 Frontiers of Computer Science
13 Discrete Mathematics
13 Mathematics and Computers in Simulation
13 Discrete Optimization
12 Journal of Mathematical Analysis and Applications
12 Artificial Intelligence Review
12 The Bulletin of Symbolic Logic
12 Games
11 The Annals of Statistics
11 Journal of Statistical Planning and Inference
11 MSCS. Mathematical Structures in Computer Science
11 International Journal of Foundations of Computer Science
...and 404 more Journals
all top 5

Cited in 59 Fields

7,213 Computer science (68-XX)
1,967 Mathematical logic and foundations (03-XX)
1,188 Operations research, mathematical programming (90-XX)
1,049 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
626 Statistics (62-XX)
270 Combinatorics (05-XX)
266 Systems theory; control (93-XX)
235 Information and communication theory, circuits (94-XX)
231 Probability theory and stochastic processes (60-XX)
197 Numerical analysis (65-XX)
193 Biology and other natural sciences (92-XX)
102 Order, lattices, ordered algebraic structures (06-XX)
66 Measure and integration (28-XX)
43 General and overarching topics; collections (00-XX)
39 Calculus of variations and optimal control; optimization (49-XX)
37 General algebraic systems (08-XX)
33 History and biography (01-XX)
26 Ordinary differential equations (34-XX)
26 Dynamical systems and ergodic theory (37-XX)
26 Convex and discrete geometry (52-XX)
25 General topology (54-XX)
24 Quantum theory (81-XX)
23 Mechanics of particles and systems (70-XX)
20 Algebraic geometry (14-XX)
19 Geometry (51-XX)
18 Statistical mechanics, structure of matter (82-XX)
17 Commutative algebra (13-XX)
15 Category theory; homological algebra (18-XX)
13 Linear and multilinear algebra; matrix theory (15-XX)
13 Real functions (26-XX)
12 Partial differential equations (35-XX)
11 Field theory and polynomials (12-XX)
11 Differential geometry (53-XX)
10 Geophysics (86-XX)
9 Associative rings and algebras (16-XX)
8 Functional analysis (46-XX)
8 Fluid mechanics (76-XX)
7 Number theory (11-XX)
7 Approximations and expansions (41-XX)
7 Operator theory (47-XX)
6 Mechanics of deformable solids (74-XX)
5 Difference and functional equations (39-XX)
4 Group theory and generalizations (20-XX)
4 Algebraic topology (55-XX)
4 Manifolds and cell complexes (57-XX)
3 Harmonic analysis on Euclidean spaces (42-XX)
3 Global analysis, analysis on manifolds (58-XX)
3 Optics, electromagnetic theory (78-XX)
3 Classical thermodynamics, heat transfer (80-XX)
2 Functions of a complex variable (30-XX)
2 Potential theory (31-XX)
2 Abstract harmonic analysis (43-XX)
2 Relativity and gravitational theory (83-XX)
2 Astronomy and astrophysics (85-XX)
2 Mathematics education (97-XX)
1 Topological groups, Lie groups (22-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)

Citations by Year