×

Artificial Intelligence

Short Title: Artif. Intell.
Publisher: Elsevier, Amsterdam
ISSN: 0004-3702
Online: http://www.sciencedirect.com/science/journal/00043702/
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 2,513 Publications (since 1970)
References Indexed: 2,399 Publications with 105,308 References.
all top 5

Authors

34 Kraus, Sarit
29 Eiter, Thomas
22 Dechter, Rina
21 Wooldridge, Michael J.
20 Jennings, Nicholas R.
20 Pearl, Judea
18 Halpern, Joseph Yehuda
18 Levesque, Hector J.
18 Walsh, Toby
17 Cooper, Martin C.
17 Dunne, Paul E.
17 Woltran, Stefan
16 Jonsson, Peter
16 Lin, Fangzhen
16 Tennenholtz, Moshe
15 Kambhampati, Subbarao
15 Zhou, Zhihua
14 Boutilier, Craig
13 Gottlob, Georg
13 Korf, Richard E.
13 Lifschitz, Vladimir
12 Bessiere, Christian
12 Dvořák, Wolfgang
12 Lukasiewicz, Thomas
12 Shoham, Yoav
12 Yang, Qiang
12 Zhang, Weixiong
11 De Raedt, Luc
11 Delgrande, James P.
11 Felner, Ariel
11 Gatti, Nicola
11 Giacomin, Massimiliano
11 Greiner, Russell
11 Lang, Jérôme
11 Rosenschein, Jeffrey S.
10 Baroni, Pietro
10 Bench-Capon, Trevor J. M.
10 Brafman, Ronen I.
10 Darwiche, Adnan
10 Gerevini, Alfonso Emilio
10 Marquis, Pierre
10 Nebel, Bernhard
10 Prade, Henri M.
10 Toni, Francesca
10 van der Hoek, Wiebe
10 Yokoo, Makoto
9 Ben-Eliyahu-Zohary, Rachel
9 Chakrabarti, Partha Pratim
9 Elkind, Edith
9 Gent, Ian Philip
9 Greco, Gianluigi
9 Hunter, Anthony
9 Koenig, Sven
9 Leone, Nicola
9 Li, Sanjiang
9 McIlraith, Sheila A.
9 Sandholm, Tuomas W.
9 Schaub, Torsten H.
9 Selman, Bart
9 Stern, Roni
9 Thielscher, Michael
9 Thimm, Matthias
9 Voudouris, Alexandros A.
8 Baral, Chitta R.
8 Brewka, Gerhard
8 Cadoli, Marco
8 Cai, Shaowei
8 Caragiannis, Ioannis
8 Davis, Ernest
8 De Giacomo, Giuseppe
8 Holte, Robert C.
8 Horrocks, Ian
8 Lakemeyer, Gerhard
8 Liberatore, Paolo
8 Miguel, Ian
8 Nau, Dana S.
8 Nightingale, Peter W.
8 Simari, Guillermo Ricardo
8 Smith, David E.
8 Subrahmanian, V. S.
8 Truszczyński, Mirosław
8 Veloso, Manuela M.
8 Wolter, Frank
8 Zaffalon, Marco
8 Zakharyaschev, Michael Viktorovich
7 Bacchus, Fahiem
7 Bonatti, Piero Andrea
7 Bratko, Ivan
7 DeSarkar, S. C.
7 Domshlak, Carmel
7 Dubois, Didier
7 Filos-Ratsikas, Aris
7 Hoos, Holger H.
7 Jeavons, Peter G.
7 Lutz, Carsten
7 Ordyniak, Sebastian
7 Palopoli, Luigi
7 Perlis, Donald R.
7 Phan Minh Dung
7 Procaccia, Ariel D.
...and 3,580 more Authors

Publications by Year

Citations contained in zbMATH Open

2,026 Publications have been cited 27,873 times in 12,618 Documents Cited by Year
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
574
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
480
1995
Nonmonotonic reasoning, preferential models and cumulative logics. Zbl 0782.03012
Kraus, Sarit; Lehmann, Daniel; Magidor, Menachem
393
1990
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
304
1980
Default reasoning and possibility theory. Zbl 0645.68108
Dubois, Didier; Prade, Henri
274
1988
The transferable belief model. Zbl 0807.68087
Smets, Philippe; Kennes, Robert
272
1994
Probabilistic logic. Zbl 0589.03007
Nilsson, Nils J.
242
1986
Wrappers for feature subset selection. Zbl 0904.68143
Kohavi, Ron; John, George H.
238
1997
Consistency in networks of relations. Zbl 0341.68061
Mackworth, Alan K.
238
1977
A theory of diagnosis from first principles. Zbl 0643.68122
Reiter, Raymond
233
1987
STRIPS: A new approach to the application of theorem proving to problem solving. Zbl 0234.68036
Fikes, Richard E.; Nilsson, Nils J.
202
1971
What does a conditional knowledge base entail? Zbl 0762.68057
Lehmann, Daniel; Magidor, Menachem
198
1992
Semantical considerations on nonmonotonic logic. Zbl 0569.68079
Moore, Robert C.
194
1985
Belief, awareness, and limited reasoning. Zbl 0634.03013
Fagin, Ronald; Halpern, Joseph Y.
182
1988
Propositional knowledge base revision and minimal change. Zbl 0792.68182
Katsuno, Hirofumi; Mendelzon, Alberto O.
175
1991
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
159
1992
The computational complexity of probabilistic inference using Bayesian belief networks. Zbl 0717.68080
Cooper, Gregory F.
156
1990
Constraints on deformable models: Recovering 3D shape and nonrigid motion. Zbl 0646.68105
Terzopoulos, Demetri; Witkin, Andrew; Kass, Michael
155
1988
Extending and implementing the stable model semantics. Zbl 0995.68021
Simons, Patrik; Niemelä, Ilkka; Soininen, Timo
153
2002
On the logic of iterated belief revision. Zbl 1018.03012
Darwiche, Adnan; Pearl, Judea
151
1997
Temporal constraint networks. Zbl 0737.68070
Dechter, Rina; Meiri, Itay; Pearl, Judea
144
1991
Depth-first iterative-deepening: An optimal admissible tree search. Zbl 0573.68030
Korf, Richard E.
142
1985
Planning and acting in partially observable stochastic domains. Zbl 0908.68165
Kaelbling, Leslie Pack; Littman, Michael L.; Cassandra, Anthony R.
134
1998
Positive approximation: an accelerator for attribute reduction in rough set theory. Zbl 1205.68310
Qian, Yuhua; Liang, Jiye; Pedrycz, Witold; Dang, Chuangyin
130
2010
Fusion, propagation, and structuring in belief networks. Zbl 0624.68081
Pearl, Judea
129
1986
Non-monotonic logic. I. Zbl 0435.68074
McDermott, Drew; Doyle, Jon
127
1980
Diagnosing multiple faults. Zbl 0642.94045
de Kleer, Johan; Williams, Brian C.
115
1987
Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156
Dechter, Rina; Pearl, Judea
113
1988
A logical framework for default reasoning. Zbl 0647.68094
Poole, David
113
1988
Determining optical flow. Zbl 1497.68488
Horn, Berthold K. P.; Schunck, Brian G.
113
1981
An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511
Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F.
111
1997
Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
104
2012
A mathematical treatment of defeasible reasoning and its implementation. Zbl 1193.68238
Simari, Guillermo R.; Loui, Ronald P.
97
1992
Selection of relevant features and examples in machine learning. Zbl 0904.68142
Blum, Avrim L.; Langley, Pat
96
1997
Attributive concept descriptions with complements. Zbl 0712.68095
Schmidt-Schauß, Manfred; Smolka, Gert
91
1991
An analysis of first-order logics of probability. Zbl 0723.03007
Halpern, Joseph Y.
90
1990
Towards a general theory of action and time. Zbl 0567.68025
Allen, James F.
89
1984
Uncertainty measures of rough set prediction. Zbl 0909.68040
Düntsch, Ivo; Gediga, Günther
88
1998
Probabilistic Horn abduction and Bayesian networks. Zbl 0792.68176
Poole, David
86
1993
Tree clustering for constraint networks. Zbl 0665.68084
Dechter, Rina; Pearl, Judea
86
1989
On the evaluation of argumentation formalisms. Zbl 1168.68562
Caminada, Martin; Amgoud, Leila
86
2007
Argumentation in artificial intelligence. Zbl 1168.68560
Bench-Capon, T. J. M.; Dunne, Paul E.
85
2007
An analysis of alpha-beta pruning. Zbl 0358.68143
Knuth, Donald E.; Moore, Ronald W.
84
1975
ASSAT: computing answer sets of a logic program by SAT solvers. Zbl 1085.68544
Lin, Fangzhen; Zhao, Yuting
82
2004
Fast planning through planning graph analysis. Zbl 1017.68533
Blum, Avrim L.; Furst, Merrick L.
82
1997
The computational complexity of propositional STRIPS planning. Zbl 0821.68065
Bylander, Tom
81
1994
The value of the four values. Zbl 0928.03025
Arieli, Ofer; Avron, Arnon
81
1998
A logic-based theory of deductive arguments. Zbl 0971.68143
Besnard, P.; Hunter, A.
78
2001
On the relation between default and autoepistemic logic. Zbl 0647.68088
Konolige, Kurt
75
1988
Computing ideal sceptical argumentation. Zbl 1168.68564
Dung, P. M.; Mancarella, P.; Toni, F.
74
2007
Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847
Dechter, R.
73
1999
All I know: A study in autoepistemic logic. Zbl 0724.03019
Levesque, Hector J.
73
1990
The independent choice logic for modelling multiple agents under uncertainty. Zbl 0902.03017
Poole, David
72
1997
Combining answer set programming with description logics for the semantic web. Zbl 1183.68595
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans
72
2008
Credal networks. Zbl 0945.68163
Cozman, F. G.
70
2000
Planning as heuristic search. Zbl 0971.68146
Bonet, B.; Geffner, H.
69
2001
Intention is choice with commitment. Zbl 0721.03017
Cohen, Philip R.; Levesque, Hector J.
69
1990
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
68
1992
Solving the multiple instance problem with axis-parallel rectangles. Zbl 1042.68650
Dietterich, Thomas G.; Lathrop, Richard H.; Lozano-Pérez, Tomás
67
1997
Answer set programming and plan generation. Zbl 0995.68020
Lifschitz, Vladimir
67
2002
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
66
2004
Drift analysis and average time complexity of evolutionary algorithms. Zbl 0971.68129
He, Jun; Yao, Xin
65
2001
Planning for conjunctive goals. Zbl 0642.68171
Chapman, David
65
1987
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
64
1992
Nonmonotonic inference based on expectations. Zbl 0803.68125
Gärdenfors, Peter; Makinson, David
64
1994
Constraints, consistency and closure. Zbl 0909.68076
Jeavons, Peter; Cohen, David; Cooper, Martin C.
64
1998
Nonmonotonic logic and temporal projection. Zbl 0654.68107
Hanks, Steve; McDermott, Drew
64
1987
On principle-based evaluation of extension-based argumentation semantics. Zbl 1168.68559
Baroni, Pietro; Giacomin, Massimiliano
64
2007
Qualitative simulation. Zbl 0624.68098
Kuipers, Benjamin
63
1986
SCC-recursiveness: a general schema for argumentation semantics. Zbl 1132.68765
Baroni, Pietro; Giacomin, Massimiliano; Guida, Giovanni
63
2005
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Zbl 1182.68298
Denœux, Thierry
63
2008
Anyone but him: the complexity of precluding an alternative. Zbl 1168.91346
Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg
62
2007
Characterizing diagnoses and systems. Zbl 0772.68085
de Kleer, Johan; Mackworth, Alan K.; Reiter, Raymond
61
1992
Reasoning about preferences in argumentation frameworks. Zbl 1192.68663
Modgil, Sanjay
61
2009
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Zbl 0372.94024
Stallman, Richard M.; Sussman, Gerald J.
61
1977
Algorithm for optimal winner determination in combinatorial auctions. Zbl 0984.68039
Sandholm, Tuomas
60
2002
Approximating probabilistic inference in Bayesian belief networks is NP- hard. Zbl 0781.68105
Dagum, Paul; Luby, Michael
59
1993
Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274
Miller, Tim
59
2019
Conditional entailment: bridging two approaches to default reasoning. Zbl 1193.68235
Geffner, Hector; Pearl, Judea
58
1992
Conditional logics of normality: A modal approach. Zbl 0811.68114
Boutilier, Craig
57
1994
Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
56
2011
On the hardness of approximate reasoning. Zbl 1506.68143
Roth, Dan
56
1996
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
55
2000
Epistemic entrenchment and possibilistic logic. Zbl 0749.03019
Dubois, Didier; Prade, Henri
54
1991
Ensembling neural networks: Many could be better than all. Zbl 0995.68077
Zhou, Zhi-Hua; Wu, Jianxin; Tang, Wei
54
2002
Robot motion planning with uncertainty in control and sensing. Zbl 0817.93045
Latombe, Jean-Claude; Lazanas, Anthony; Shekhar, Shashank
53
1991
Bayesian and non-Bayesian evidential updating. Zbl 0622.68069
Kyburg, Henry E. jun.
53
1987
Top-down induction of first-order logical decision trees. Zbl 0909.68034
Blockeel, Hendrik; de Raedt, Luc
53
1998
A general account of argumentation with preferences. Zbl 1270.68284
Modgil, Sanjay; Prakken, Henry
53
2013
Measures of uncertainty in expert systems. Zbl 1506.68157
Walley, Peter
53
1996
Coherence in finite argument systems. Zbl 1043.68098
Dunne, Paul E.; Bench-Capon, T. J. M.
52
2002
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160
Renz, Jochen; Nebel, Bernhard
52
1999
Constraint propagation with interval labels. Zbl 0642.68176
Davis, Ernest
52
1987
Qualitative probabilities for default reasoning, belief revision, and causal modeling. Zbl 1497.68457
Goldszmidt, Moisés; Pearl, Judea
52
1996
Weighted argument systems: basic definitions, algorithms, and complexity results. Zbl 1216.68261
Dunne, Paul E.; Hunter, Anthony; McBurney, Peter; Parsons, Simon; Wooldridge, Michael
51
2011
Linear resolution with selection function. Zbl 0234.68037
Kowalski, Robert; Kuehner, Donald
51
1971
Methods for task allocation via agent coalition formation. Zbl 0908.68032
Shehory, Onn; Kraus, Sarit
51
1998
Refutational theorem proving using term-rewriting systems. Zbl 0558.68072
Hsiang, Jieh
50
1985
Nonmonotonic reasoning, conditional objects and possibility theory. Zbl 1017.68539
Benferhat, Salem; Dubois, Didier; Prade, Henri
50
1997
Real-time heuristic search. Zbl 0718.68082
Korf, Richard E.
50
1990
Regret minimization in online Bayesian persuasion: handling adversarial receiver’s types under full and partial feedback models. Zbl 07638293
Castiglioni, Matteo; Celli, Andrea; Marchesi, Alberto; Gatti, Nicola
2
2023
Parameterized complexity of envy-free resource allocation in social networks. Zbl 07638300
Eiben, Eduard; Ganian, Robert; Hamm, Thekla; Ordyniak, Sebastian
2
2023
Learning MAX-SAT from contextual examples for combinatorial optimisation. Zbl 07638281
Kumar, Mohit; Kolb, Samuel; Teso, Stefano; De Raedt, Luc
1
2023
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. Zbl 07638291
Chen, Jiejiang; Cai, Shaowei; Wang, Yiyuan; Xu, Wenhao; Ji, Jia; Yin, Minghao
1
2023
Strategyproof allocation mechanisms with endowments and M-convex distributional constraints. Zbl 07638299
Suzuki, Takamasa; Tamura, Akihisa; Yahiro, Kentaro; Yokoo, Makoto; Zhang, Yuzhe
1
2023
The complexity landscape of claim-augmented argumentation frameworks. Zbl 07698052
Dvořák, Wolfgang; Greßler, Alexander; Rapberger, Anna; Woltran, Stefan
1
2023
Online learning of energy consumption for navigation of electric vehicles. Zbl 07698057
Åkerblom, Niklas; Chen, Yuxin; Haghir Chehreghani, Morteza
1
2023
Designing menus of contracts efficiently: the power of randomization. Zbl 07702929
Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola
1
2023
Reasoning about causality in games. Zbl 07702955
Hammond, Lewis; Fox, James; Everitt, Tom; Carey, Ryan; Abate, Alessandro; Wooldridge, Michael
1
2023
How to find a good explanation for clustering? Zbl 07732223
Bandyapadhyay, Sayan; Fomin, Fedor V.; Golovach, Petr A.; Lochet, William; Purohit, Nidhi; Simonov, Kirill
1
2023
Certified reinforcement learning with logic guidance. Zbl 07732224
Hasanbeig, Hosein; Kroening, Daniel; Abate, Alessandro
1
2023
Envy-free allocations respecting social networks. Zbl 07505974
Bredereck, Robert; Kaczmarczyk, Andrzej; Niedermeier, Rolf
6
2022
Analyzing differentiable fuzzy logic operators. Zbl 1490.68233
van Krieken, Emile; Acar, Erman; van Harmelen, Frank
4
2022
Bayesian agency: linear versus tractable contracts. Zbl 07505987
Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola
4
2022
Evaluation of argument strength in attack graphs: foundations and semantics. Zbl 1478.68339
Amgoud, Leila; Doder, Dragan; Vesic, Srdjan
3
2022
Logical separability of labeled data examples under ontologies. Zbl 07613163
Jung, Jean Christoph; Lutz, Carsten; Pulcini, Hadrien; Wolter, Frank
3
2022
Diversity of solutions: an exploration through the lens of fixed-parameter tractability theory. Zbl 07482897
Baste, Julien; Fellows, Michael R.; Jaffke, Lars; Masařík, Tomáš; de Oliveira Oliveira, Mateus; Philip, Geevarghese; Rosamond, Frances A.
3
2022
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Zbl 07505979
Baumann, Ringo; Strass, Hannes
3
2022
Memory-limited model-based diagnosis. Zbl 07505980
Rodler, Patrick
3
2022
Inconsistency-tolerant query answering for existential rules. Zbl 07505988
Lukasiewicz, Thomas; Malizia, Enrico; Martinez, Maria Vanina; Molinaro, Cristian; Pieris, Andreas; Simari, Gerardo I.
3
2022
An action language for multi-agent domains. Zbl 1481.68044
Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao
2
2022
Risk-averse policy optimization via risk-neutral policy optimization. Zbl 07596159
Bisi, Lorenzo; Santambrogio, Davide; Sandrelli, Federico; Tirinzoni, Andrea; Ziebart, Brian D.; Restelli, Marcello
2
2022
Mind the gap: cake cutting with separation. Zbl 07613161
Elkind, Edith; Segal-Halevi, Erel; Suksompong, Warut
2
2022
The metric distortion of multiwinner voting. Zbl 07613172
Caragiannis, Ioannis; Shah, Nisarg; Voudouris, Alexandros A.
2
2022
Logic tensor networks. Zbl 07482899
Badreddine, Samy; d’Avila Garcez, Artur; Serafini, Luciano; Spranger, Michael
2
2022
An efficient algorithm for counting Markov equivalent DAGs. Zbl 07482901
Ganian, Robert; Hamm, Thekla; Talvitie, Topi
2
2022
Conjure: automatic generation of constraint models from problem specifications. Zbl 07570882
Akgün, Özgür; Frisch, Alan M.; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Nightingale, Peter
2
2022
The distortion of distributed metric social choice. Zbl 1503.91058
Anshelevich, Elliot; Filos-Ratsikas, Aris; Voudouris, Alexandros A.
2
2022
Margin of victory for tournament solutions. Zbl 1481.91074
Brill, Markus; Schmidt-Kraepelin, Ulrike; Suksompong, Warut
1
2022
Propositional and predicate logics of incomplete information. Zbl 1478.68074
Console, Marco; Guagliardo, Paolo; Libkin, Leonid
1
2022
SAT encodings for pseudo-Boolean constraints together with at-most-one constraints. Zbl 1478.68201
Bofill, Miquel; Coll, Jordi; Nightingale, Peter; Suy, Josep; Ulrich-Oltean, Felix; Villaret, Mateu
1
2022
Efficient multi-agent epistemic planning: teaching planners about nested belief. Zbl 07443175
Muise, Christian; Belle, Vaishak; Felli, Paolo; McIlraith, Sheila; Miller, Tim; Pearce, Adrian R.; Sonenberg, Liz
1
2022
On fair selection in the presence of implicit and differential variance. Zbl 1481.91124
Emelianov, Vitalii; Gast, Nicolas; Gummadi, Krishna P.; Loiseau, Patrick
1
2022
Fast optimal and bounded suboptimal Euclidean pathfinding. Zbl 1478.68334
Shen, Bojie; Cheema, Muhammad Aamir; Harabor, Daniel D.; Stuckey, Peter J.
1
2022
Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control. Zbl 07596154
Wang, Yuheng; Chapman, Margaret P.
1
2022
Choice logics and their computational properties. Zbl 07596156
Bernreiter, Michael; Maly, Jan; Woltran, Stefan
1
2022
Preference-based inconsistency-tolerant query answering under existential rules. Zbl 07613154
Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
1
2022
Two’s company, three’s a crowd: consensus-halving for a constant number of agents. Zbl 07613162
Deligkas, Argyrios; Filos-Ratsikas, Aris; Hollender, Alexandros
1
2022
Actions of the hyperoctahedral group to compute minimal contractors. Zbl 07613168
Jaulin, Luc
1
2022
On the impact of the performance metric on efficient algorithm configuration. Zbl 07482888
Hall, George T.; Oliveto, Pietro S.; Sudholt, Dirk
1
2022
Fair allocation of indivisible goods: beyond additive valuations. Zbl 07482892
Ghodsi, Mohammad; HajiAghayi, MohammadTaghi; Seddighin, Masoud; Seddighin, Saeed; Yami, Hadi
1
2022
Knowledge-based programs as building blocks for planning. Zbl 07482893
Baier, Jorge A.; McIlraith, Sheila A.
1
2022
Complexity results for preference aggregation over \((m)\)CP-nets: max and rank voting. Zbl 07482895
Lukasiewicz, Thomas; Malizia, Enrico
1
2022
Rethinking formal models of partially observable multiagent decision making. Zbl 07482898
Kovařík, Vojtěch; Schmid, Martin; Burch, Neil; Bowling, Michael; Lisý, Viliam
1
2022
Exploration-exploitation in multi-agent learning: catastrophe theory meets game theory. Zbl 07482905
Leonardos, Stefanos; Piliouras, Georgios
1
2022
Online joint bid/daily budget optimization of Internet advertising campaigns. Zbl 07505973
Nuara, Alessandro; Trovò, Francesco; Gatti, Nicola; Restelli, Marcello
1
2022
Decidability and complexity of action-based temporal planning over dense time. Zbl 07505989
Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
1
2022
Analyzing generalized planning under nondeterminism. Zbl 07505990
Belle, Vaishak
1
2022
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Zbl 07505991
Linsbichler, Thomas; Maratea, Marco; Niskanen, Andreas; Wallner, Johannes P.; Woltran, Stefan
1
2022
Scheduling with complete multipartite incompatibility graph on parallel machines: complexity and algorithms. Zbl 1493.90067
Pikies, Tytus; Turowski, Krzysztof; Kubale, Marek
1
2022
Result diversification by multi-objective evolutionary algorithms with theoretical guarantees. Zbl 1496.68306
Qian, Chao; Liu, Dan-Xuan; Zhou, Zhi-Hua
1
2022
A tetrachotomy of ontology-mediated queries with a covering axiom. Zbl 07554486
Gerasimova, Olga; Kikot, Stanislav; Kurucz, Agi; Podolskii, Vladimir; Zakharyaschev, Michael
1
2022
Priority inheritance with backtracking for iterative multi-agent path finding. Zbl 07570883
Okumura, Keisuke; Machida, Manao; Défago, Xavier; Tamura, Yasumasa
1
2022
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\). Zbl 1495.68211
Lutz, Carsten; Sabellek, Leif
1
2022
Acceptance in incomplete argumentation frameworks. Zbl 1519.68244
Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg
13
2021
Explaining individual predictions when features are dependent: more accurate approximations to Shapley values. Zbl 1520.68136
Aas, Kjersti; Jullum, Martin; Løland, Anders
12
2021
Peeking behind the ordinal curtain: improving distortion via cardinal queries. Zbl 1521.91092
Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Voudouris, Alexandros A.
9
2021
Neural probabilistic logic programming in DeepProbLog. Zbl 1520.68022
Manhaeve, Robin; Dumančić, Sebastijan; Kimmig, Angelika; Demeester, Thomas; De Raedt, Luc
9
2021
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Zbl 1519.68245
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven
7
2021
An improved approximation algorithm for maximin shares. Zbl 1521.91147
Garg, Jugal; Taki, Setareh
7
2021
SAT competition 2020. Zbl 1478.68320
Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin
6
2021
The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints. Zbl 1520.90171
Dvořák, Pavel; Eiben, Eduard; Ganian, Robert; Knop, Dušan; Ordyniak, Sebastian
6
2021
Schelling games on graphs. Zbl 1481.91037
Agarwal, Aishwarya; Elkind, Edith; Gan, Jiarui; Igarashi, Ayumi; Suksompong, Warut; Voudouris, Alexandros A.
5
2021
Picking sequences and monotonicity in weighted fair division. Zbl 1481.91090
Chakraborty, Mithun; Schmidt-Kraepelin, Ulrike; Suksompong, Warut
5
2021
Making sense of sensory input. Zbl 1519.68214
Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek
5
2021
A reconstruction of multipreference closure. Zbl 1504.68210
Giordano, Laura; Gliozzi, Valentina
4
2021
Protecting elections by recounting ballots. Zbl 1507.91075
Elkind, Edith; Gan, Jiarui; Obraztsova, Svetlana; Rabinovich, Zinovi; Voudouris, Alexandros A.
4
2021
A survey of inverse reinforcement learning: challenges, methods and progress. Zbl 1519.68207
Arora, Saurabh; Doshi, Prashant
4
2021
Fair division of mixed divisible and indivisible goods. Zbl 1521.91142
Bei, Xiaohui; Li, Zihao; Liu, Jinyan; Liu, Shengxin; Lu, Xinhang
4
2021
Planning-based knowing how: a unified approach. Zbl 1519.68255
Li, Yanjun; Wang, Yanjing
3
2021
Argumentative explanations for interactive recommendations. Zbl 1519.68269
Rago, Antonio; Cocarascu, Oana; Bechlivanidis, Christos; Lagnado, David; Toni, Francesca
3
2021
Computational complexity of flat and generic assumption-based argumentation, with and without probabilities. Zbl 1519.68246
Čyras, Kristijonas; Heinrich, Quentin; Toni, Francesca
3
2021
Open-world probabilistic databases: semantics, algorithms, complexity. Zbl 1519.68068
Ceylan, İsmail İlkan; Darwiche, Adnan; Van den Broeck, Guy
3
2021
Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326
Li, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven
2
2021
Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms. Zbl 1519.68234
Jonsson, Peter; Lagerkvist, Victor; Osipov, George
2
2021
Expecting the unexpected: goal recognition for rational and irrational agents. Zbl 1519.68235
Masters, Peta; Sardina, Sebastian
2
2021
Credibility dynamics: a belief-revision-based trust model with pairwise comparisons. Zbl 1519.68289
Jelenc, David; Tamargo, Luciano H.; Gottifredi, Sebastian; García, Alejandro J.
2
2021
Epistemic GDL: a logic for representing and reasoning about imperfect information games. Zbl 1519.68252
Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng
2
2021
Dynamically improved bounds bidirectional search. Zbl 1519.68238
Sewell, E. C.; Jacobson, S. H.
2
2021
Game description language and dynamic epistemic logic compared. Zbl 1519.68248
Engesser, Thorsten; Mattmüller, Robert; Nebel, Bernhard; Thielscher, Michael
2
2021
A lightweight epistemic logic and its application to planning. Zbl 1520.68184
Cooper, Martin C.; Herzig, Andreas; Maffre, Faustine; Maris, Frédéric; Perrotin, Elise; Régnier, Pierre
2
2021
Reward is enough. Zbl 1520.68134
Silver, David; Singh, Satinder; Precup, Doina; Sutton, Richard S.
2
2021
First-order rewritability of ontology-mediated queries in linear temporal logic. Zbl 1520.68182
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
2
2021
Incremental computation for structured argumentation over dynamic DeLP knowledge bases. Zbl 1520.68179
Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Simari, Gerardo I.; Simari, Guillermo R.
2
2021
Swarm intelligence for self-organized clustering. Zbl 1504.68191
Thrun, Michael C.; Ultsch, Alfred
1
2021
On fair price discrimination in multi-unit markets. Zbl 1507.91087
Flammini, Michele; Mauro, Manuel; Tonelli, Matteo
1
2021
Foundations of explanations as model reconciliation. Zbl 1478.68336
Sreedharan, Sarath; Chakraborti, Tathagata; Kambhampati, Subbarao
1
2021
A general multi-agent epistemic planner based on higher-order belief change. Zbl 1486.68186
Wan, Hai; Fang, Biqing; Liu, Yongmei
1
2021
Coalitional permutation manipulations in the Gale-Shapley algorithm. Zbl 1481.91127
Shen, Weiran; Deng, Yuan; Tang, Pingzhong
1
2021
PC-SyncBB: a privacy preserving collusion secure DCOP algorithm. Zbl 1519.68242
Tassa, Tamir; Grinshpoun, Tal; Yanai, Avishay
1
2021
An integrated approach to solving influence diagrams and finite-horizon partially observable decision processes. Zbl 1519.68233
Hansen, Eric A.
1
2021
A semantics for hybrid probabilistic logic programs with function symbols. Zbl 1519.68040
Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina
1
2021
Stable fractional matchings. Zbl 1521.91244
Caragiannis, Ioannis; Filos-Ratsikas, Aris; Kanellopoulos, Panagiotis; Vaish, Rohit
1
2021
New width parameters for SAT and #SAT. Zbl 1519.68168
Ganian, Robert; Szeider, Stefan
1
2021
Control complexity in Borda elections: solving all open cases of offline control and some cases of online control. Zbl 1521.91091
Neveling, Marc; Rothe, Jörg
1
2021
Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \). Zbl 07418675
Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian
1
2021
Making sense of raw input. Zbl 1520.68132
Evans, Richard; Bošnjak, Matko; Buesing, Lars; Ellis, Kevin; Pfau, David; Kohli, Pushmeet; Sergot, Marek
1
2021
Deciding Koopman’s qualitative probability. Zbl 07418682
Mundici, Daniele
1
2021
A framework for step-wise explaining how to solve constraint satisfaction problems. Zbl 1520.68176
Bogaerts, Bart; Gamba, Emilio; Guns, Tias
1
2021
Relative inconsistency measures. Zbl 1476.68257
Besnard, Philippe; Grant, John
12
2020
...and 1471 more Documents
all top 5

Cited by 16,219 Authors

76 Dubois, Didier
70 Prade, Henri M.
68 Eiter, Thomas
51 Gabbay, Dov M.
49 Schaub, Torsten H.
49 Woltran, Stefan
49 Wooldridge, Michael J.
43 Gottlob, Georg
41 Halpern, Joseph Yehuda
41 Kern-Isberner, Gabriele
40 Denœux, Thierry
39 Miranda, Enrique
38 Benferhat, Salem
36 Rothe, Jörg-Matthias
36 Simari, Guillermo Ricardo
34 Hunter, Anthony
34 Jonsson, Peter
33 Kraus, Sarit
33 Leone, Nicola
33 Liang, Jiye
32 Cooper, Martin C.
32 De Raedt, Luc
32 Yager, Ronald R.
32 Zaffalon, Marco
31 Qian, Yuhua
31 van der Hoek, Wiebe
31 Walsh, Toby
30 Dechter, Rina
30 van Ditmarsch, Hans Pieter
29 Beierle, Christoph
29 Godo, Lluís
29 Marques-Silva, João P.
29 Truszczyński, Mirosław
28 Arieli, Ofer
28 Herzig, Andreas
28 Lang, Jérôme
28 Lifschitz, Vladimir
28 Živný, Stanislav
27 Amgoud, Leila
27 Gebser, Martin
27 Lorini, Emiliano
27 Lukasiewicz, Thomas
26 de Cooman, Gert
26 Delgrande, James P.
25 Bloch, Isabelle
25 Destercke, Sébastien
25 Inoue, Katsumi
24 Grant, John R.
24 Jeavons, Peter G.
24 Lawry, Jonathan
24 Marquis, Pierre
24 Moral, Serafín
24 Ognjanović, Zoran
24 Szeider, Stefan
24 van der Torre, Leendert W. N.
23 Gagliardi Cozman, Fabio
23 Ricca, Francesco
23 Riguzzi, Fabrizio
23 Tennenholtz, Moshe
22 Alviano, Mario
22 Cabalar, Pedro
22 Denecker, Marc
22 Dunne, Paul E.
22 Fargier, Hélène
22 Greco, Gianluigi
22 Jaulin, Luc
22 Marek, V. Wiktor
22 Subrahmanian, V. S.
21 Baral, Chitta R.
21 Besnard, Philippe
21 Jennings, Nicholas R.
21 Labreuche, Christophe
21 Levesque, Hector J.
21 Lin, Fangzhen
21 Montanari, Angelo
21 Shenoy, Prakash P.
21 Thimm, Matthias
21 Yin, Minghao
20 Baader, Franz
20 Baroni, Pietro
20 Dodaro, Carmine
20 Janhunen, Tomi
20 Lierler, Yuliya
20 Maratea, Marco
20 Pearl, Judea
20 Pino Pérez, Ramón
20 Scarcello, Francesco
20 Schockaert, Steven
20 Toni, Francesca
19 De Giacomo, Giuseppe
19 Elkind, Edith
19 García, Alejandro Javier
19 Giacomin, Massimiliano
19 Ibaraki, Toshihide
19 Li, Sanjiang
19 Sandholm, Tuomas W.
19 Straccia, Umberto
19 Stuckey, Peter James
19 Suksompong, Warut
19 Vardi, Moshe Ya’akov
...and 16,119 more Authors
all top 5

Cited in 591 Journals

1,926 Artificial Intelligence
784 International Journal of Approximate Reasoning
415 Annals of Mathematics and Artificial Intelligence
397 Theoretical Computer Science
333 Information Sciences
249 European Journal of Operational Research
241 Theory and Practice of Logic Programming
240 Fuzzy Sets and Systems
208 Machine Learning
175 Journal of Automated Reasoning
173 Constraints
172 Journal of Applied Non-Classical Logics
146 Pattern Recognition
127 Studia Logica
127 Journal of Applied Logic
123 Synthese
120 Journal of Philosophical Logic
117 Journal of Computer and System Sciences
111 Computers & Operations Research
102 Annals of Operations Research
100 Information and Computation
97 Discrete Applied Mathematics
96 The Journal of Artificial Intelligence Research (JAIR)
91 Information Processing Letters
81 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
80 Algorithmica
77 Neural Computation
71 Journal of Logic, Language and Information
71 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
65 Computers & Mathematics with Applications
61 Journal of Symbolic Computation
59 Journal of Mathematical Imaging and Vision
59 Soft Computing
55 International Journal of Intelligent Systems
54 Journal of Computer Science and Technology
53 New Generation Computing
52 Games and Economic Behavior
51 Mathematical Problems in Engineering
48 International Journal of General Systems
47 Automatica
43 Applied Mathematics and Computation
43 The Review of Symbolic Logic
40 Mathematical Social Sciences
39 ACM Transactions on Computational Logic
38 Neural Networks
38 Journal of Machine Learning Research (JMLR)
37 Computational Statistics and Data Analysis
34 Journal of Global Optimization
33 Annals of Pure and Applied Logic
31 International Journal of Computer Vision
30 The Journal of Symbolic Logic
30 Data Mining and Knowledge Discovery
28 Theory of Computing Systems
27 Theory and Decision
27 International Journal of Applied Mathematics and Computer Science
27 Logical Methods in Computer Science
26 Erkenntnis
25 AI Communications
25 International Journal of Computer Mathematics
24 Mathematical and Computer Modelling
23 Journal of Economic Theory
23 SIAM Journal on Computing
23 Logica Universalis
23 SIAM Journal on Imaging Sciences
22 Journal of Mathematical Psychology
22 Social Choice and Welfare
22 Journal of Combinatorial Optimization
21 Kybernetika
21 Journal of Intelligent & Robotic Systems
21 Formal Methods in System Design
20 Acta Informatica
20 Journal of Scheduling
20 Games
19 Cybernetics and Systems
19 International Journal of Production Research
19 Formal Aspects of Computing
19 Cybernetics and Systems Analysis
19 Journal of Heuristics
19 INFORMS Journal on Computing
18 Operations Research
18 Journal of Computer and Systems Sciences International
18 Computational Intelligence
18 Discrete Optimization
17 Discrete Event Dynamic Systems
17 Applied Intelligence
16 Biological Cybernetics
16 International Journal of Systems Science
16 Notre Dame Journal of Formal Logic
16 Applied Mathematical Modelling
16 RAIRO. Operations Research
16 Fuzzy Optimization and Decision Making
16 Computational & Mathematical Methods in Medicine
16 Journal of Theoretical Biology
15 Physica A
15 The Journal of Logic and Algebraic Programming
14 Mathematics and Computers in Simulation
14 Automation and Remote Control
14 New Mathematics and Natural Computation
14 Frontiers of Computer Science
14 Journal of Logical and Algebraic Methods in Programming
...and 491 more Journals
all top 5

Cited in 61 Fields

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

Citations by Year