×

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,539 Publications (since 1970)
References Indexed: 2,425 Publications with 106,777 References.
all top 5

Authors

35 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
16 Zhou, Zhihua
15 Kambhampati, Subbarao
14 Boutilier, Craig
13 Gottlob, Georg
13 Korf, Richard E.
13 Lifschitz, Vladimir
12 Bessiere, Christian
12 Delgrande, James P.
12 Dvořák, Wolfgang
12 Lukasiewicz, Thomas
12 Shoham, Yoav
12 Yang, Qiang
12 Zhang, Weixiong
11 De Raedt, Luc
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 Schaub, Torsten H.
10 Toni, Francesca
10 van der Hoek, Wiebe
10 Yokoo, Makoto
9 Ben-Eliyahu-Zohary, Rachel
9 Brewka, Gerhard
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 Selman, Bart
9 Stern, Roni
9 Thielscher, Michael
9 Thimm, Matthias
9 Voudouris, Alexandros A.
8 Baral, Chitta R.
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 Cabalar, Pedro
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
...and 3,634 more Authors

Publications by Year

Citations contained in zbMATH Open

2,051 Publications have been cited 28,610 times in 13,025 Documents Cited by Year
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
581
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
501
1995
Nonmonotonic reasoning, preferential models and cumulative logics. Zbl 0782.03012
Kraus, Sarit; Lehmann, Daniel; Magidor, Menachem
398
1990
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
307
1980
The transferable belief model. Zbl 0807.68087
Smets, Philippe; Kennes, Robert
282
1994
Default reasoning and possibility theory. Zbl 0645.68108
Dubois, Didier; Prade, Henri
274
1988
Probabilistic logic. Zbl 0589.03007
Nilsson, Nils J.
244
1986
Consistency in networks of relations. Zbl 0341.68061
Mackworth, Alan K.
241
1977
Wrappers for feature subset selection. Zbl 0904.68143
Kohavi, Ron; John, George H.
240
1997
A theory of diagnosis from first principles. Zbl 0643.68122
Reiter, Raymond
236
1987
STRIPS: A new approach to the application of theorem proving to problem solving. Zbl 0234.68036
Fikes, Richard E.; Nilsson, Nils J.
204
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.
195
1985
Belief, awareness, and limited reasoning. Zbl 0634.03013
Fagin, Ronald; Halpern, Joseph Y.
187
1988
Propositional knowledge base revision and minimal change. Zbl 0792.68182
Katsuno, Hirofumi; Mendelzon, Alberto O.
179
1991
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
163
1992
Extending and implementing the stable model semantics. Zbl 0995.68021
Simons, Patrik; Niemelä, Ilkka; Soininen, Timo
157
2002
The computational complexity of probabilistic inference using Bayesian belief networks. Zbl 0717.68080
Cooper, Gregory F.
157
1990
Constraints on deformable models: Recovering 3D shape and nonrigid motion. Zbl 0646.68105
Terzopoulos, Demetri; Witkin, Andrew; Kass, Michael
155
1988
On the logic of iterated belief revision. Zbl 1018.03012
Darwiche, Adnan; Pearl, Judea
155
1997
Temporal constraint networks. Zbl 0737.68070
Dechter, Rina; Meiri, Itay; Pearl, Judea
147
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.
137
1998
Positive approximation: an accelerator for attribute reduction in rough set theory. Zbl 1205.68310
Qian, Yuhua; Liang, Jiye; Pedrycz, Witold; Dang, Chuangyin
136
2010
Fusion, propagation, and structuring in belief networks. Zbl 0624.68081
Pearl, Judea
130
1986
Non-monotonic logic. I. Zbl 0435.68074
McDermott, Drew; Doyle, Jon
128
1980
Determining optical flow. Zbl 1497.68488
Horn, Berthold K. P.; Schunck, Brian G.
122
1981
Diagnosing multiple faults. Zbl 0642.94045
de Kleer, Johan; Williams, Brian C.
117
1987
Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156
Dechter, Rina; Pearl, Judea
114
1988
A logical framework for default reasoning. Zbl 0647.68094
Poole, David
114
1988
An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511
Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F.
114
1997
Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
111
2012
Selection of relevant features and examples in machine learning. Zbl 0904.68142
Blum, Avrim L.; Langley, Pat
98
1997
A mathematical treatment of defeasible reasoning and its implementation. Zbl 1193.68238
Simari, Guillermo R.; Loui, Ronald P.
98
1992
An analysis of first-order logics of probability. Zbl 0723.03007
Halpern, Joseph Y.
95
1990
Attributive concept descriptions with complements. Zbl 0712.68095
Schmidt-SchauĂź, Manfred; Smolka, Gert
93
1991
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
89
1998
Tree clustering for constraint networks. Zbl 0665.68084
Dechter, Rina; Pearl, Judea
87
1989
Argumentation in artificial intelligence. Zbl 1168.68560
Bench-Capon, T. J. M.; Dunne, Paul E.
87
2007
Probabilistic Horn abduction and Bayesian networks. Zbl 0792.68176
Poole, David
87
1993
On the evaluation of argumentation formalisms. Zbl 1168.68562
Caminada, Martin; Amgoud, Leila
86
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
83
2004
A logic-based theory of deductive arguments. Zbl 0971.68143
Besnard, P.; Hunter, A.
82
2001
The value of the four values. Zbl 0928.03025
Arieli, Ofer; Avron, Arnon
82
1998
The computational complexity of propositional STRIPS planning. Zbl 0821.68065
Bylander, Tom
82
1994
Fast planning through planning graph analysis. Zbl 1017.68533
Blum, Avrim L.; Furst, Merrick L.
82
1997
On the relation between default and autoepistemic logic. Zbl 0647.68088
Konolige, Kurt
76
1988
Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847
Dechter, R.
75
1999
Computing ideal sceptical argumentation. Zbl 1168.68564
Dung, P. M.; Mancarella, P.; Toni, F.
75
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
74
2008
The independent choice logic for modelling multiple agents under uncertainty. Zbl 0902.03017
Poole, David
73
1997
All I know: A study in autoepistemic logic. Zbl 0724.03019
Levesque, Hector J.
73
1990
Credal networks. Zbl 0945.68163
Cozman, F. G.
71
2000
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
71
1992
Answer set programming and plan generation. Zbl 0995.68020
Lifschitz, Vladimir
70
2002
Intention is choice with commitment. Zbl 0721.03017
Cohen, Philip R.; Levesque, Hector J.
70
1990
Planning as heuristic search. Zbl 0971.68146
Bonet, B.; Geffner, H.
69
2001
Solving the multiple instance problem with axis-parallel rectangles. Zbl 1042.68650
Dietterich, Thomas G.; Lathrop, Richard H.; Lozano-Pérez, Tomás
69
1997
Drift analysis and average time complexity of evolutionary algorithms. Zbl 0971.68129
He, Jun; Yao, Xin
68
2001
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
68
2004
Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274
Miller, Tim
68
2019
Planning for conjunctive goals. Zbl 0642.68171
Chapman, David
65
1987
Nonmonotonic logic and temporal projection. Zbl 0654.68107
Hanks, Steve; McDermott, Drew
65
1987
SCC-recursiveness: a general schema for argumentation semantics. Zbl 1132.68765
Baroni, Pietro; Giacomin, Massimiliano; Guida, Giovanni
65
2005
On principle-based evaluation of extension-based argumentation semantics. Zbl 1168.68559
Baroni, Pietro; Giacomin, Massimiliano
65
2007
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
65
1992
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Zbl 1182.68298
Denœux, Thierry
65
2008
Constraints, consistency and closure. Zbl 0909.68076
Jeavons, Peter; Cohen, David; Cooper, Martin C.
64
1998
Nonmonotonic inference based on expectations. Zbl 0803.68125
Gärdenfors, Peter; Makinson, David
64
1994
Qualitative simulation. Zbl 0624.68098
Kuipers, Benjamin
63
1986
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
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
Reasoning about preferences in argumentation frameworks. Zbl 1192.68663
Modgil, Sanjay
60
2009
Approximating probabilistic inference in Bayesian belief networks is NP- hard. Zbl 0781.68105
Dagum, Paul; Luby, Michael
60
1993
On the hardness of approximate reasoning. Zbl 1506.68143
Roth, Dan
60
1996
Conditional logics of normality: A modal approach. Zbl 0811.68114
Boutilier, Craig
58
1994
Conditional entailment: bridging two approaches to default reasoning. Zbl 1193.68235
Geffner, Hector; Pearl, Judea
58
1992
Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
57
2011
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
57
2000
Ensembling neural networks: Many could be better than all. Zbl 0995.68077
Zhou, Zhi-Hua; Wu, Jianxin; Tang, Wei
55
2002
Top-down induction of first-order logical decision trees. Zbl 0909.68034
Blockeel, Hendrik; de Raedt, Luc
55
1998
A general account of argumentation with preferences. Zbl 1270.68284
Modgil, Sanjay; Prakken, Henry
55
2013
Bayesian and non-Bayesian evidential updating. Zbl 0622.68069
Kyburg, Henry E. jun.
54
1987
Epistemic entrenchment and possibilistic logic. Zbl 0749.03019
Dubois, Didier; Prade, Henri
54
1991
Robot motion planning with uncertainty in control and sensing. Zbl 0817.93045
Latombe, Jean-Claude; Lazanas, Anthony; Shekhar, Shashank
54
1991
Refutational theorem proving using term-rewriting systems. Zbl 0558.68072
Hsiang, Jieh
53
1985
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160
Renz, Jochen; Nebel, Bernhard
53
1999
Linear resolution with selection function. Zbl 0234.68037
Kowalski, Robert; Kuehner, Donald
53
1971
Coherence in finite argument systems. Zbl 1043.68098
Dunne, Paul E.; Bench-Capon, T. J. M.
53
2002
Measures of uncertainty in expert systems. Zbl 1506.68157
Walley, Peter
53
1996
Constraint propagation with interval labels. Zbl 0642.68176
Davis, Ernest
52
1987
Weighted argument systems: basic definitions, algorithms, and complexity results. Zbl 1216.68261
Dunne, Paul E.; Hunter, Anthony; McBurney, Peter; Parsons, Simon; Wooldridge, Michael
52
2011
Methods for task allocation via agent coalition formation. Zbl 0908.68032
Shehory, Onn; Kraus, Sarit
52
1998
Qualitative probabilities for default reasoning, belief revision, and causal modeling. Zbl 1497.68457
Goldszmidt, Moisés; Pearl, Judea
52
1996
Bounded-parameter Markov decision processes. Zbl 0948.68171
Givan, R.; Leach, S.; Dean, T.
51
2000
Real-time heuristic search. Zbl 0718.68082
Korf, Richard E.
51
1990
Reasoning about causality in games. Zbl 07702955
Hammond, Lewis; Fox, James; Everitt, Tom; Carey, Ryan; Abate, Alessandro; Wooldridge, Michael
2
2023
Fair division of indivisible goods: recent progress and open questions. Zbl 07732234
Amanatidis, Georgios; Aziz, Haris; Birmpas, Georgios; Filos-Ratsikas, Aris; Li, Bo; Moulin, Hervé; Voudouris, Alexandros A.; Wu, Xiaowei
2
2023
When move acceptance selection hyper-heuristics outperform metropolis and elitist evolutionary algorithms and when not. Zbl 07638282
Lissovoi, Andrei; Oliveto, Pietro S.; Warwicker, John Alasdair
2
2023
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
Designing menus of contracts efficiently: the power of randomization. Zbl 07702929
Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola
1
2023
On existence of truthful fair cake cutting mechanisms. Zbl 07702946
Bu, Xiaolin; Song, Jiaxin; Tao, Biaoshuai
1
2023
Levi and Harper identities for non-prioritized belief base change. Zbl 07702949
Garapa, Marco; Fermé, Eduardo; Reis, Maurício D. L.
1
2023
Safe, learning-based MPC for highway driving under Lane-change uncertainty: a distributionally robust approach. Zbl 07702956
Schuurmans, Mathijs; Katriniok, Alexander; Meissen, Christopher; Tseng, H. Eric; Patrinos, Panagiotis
1
2023
ASP and subset minimality: enumeration, cautious reasoning and MUSes. Zbl 07702961
Alviano, Mario; Dodaro, Carmine; Fiorentino, Salvatore; Previti, Alessandro; Ricca, Francesco
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
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
Logic explained networks. Zbl 07638294
Ciravegna, Gabriele; Barbiero, Pietro; Giannini, Francesco; Gori, Marco; Liò, Pietro; Maggini, Marco; Melacci, Stefano
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
Epistemic planning: perspectives on the special issue. Zbl 07697282
Belle, Vaishak; Bolander, Thomas; Herzig, Andreas; Nebel, Bernhard
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
Envy-free allocations respecting social networks. Zbl 07505974
Bredereck, Robert; Kaczmarczyk, Andrzej; Niedermeier, Rolf
8
2022
Analyzing differentiable fuzzy logic operators. Zbl 1490.68233
van Krieken, Emile; Acar, Erman; van Harmelen, Frank
5
2022
Evaluation of argument strength in attack graphs: foundations and semantics. Zbl 1478.68339
Amgoud, Leila; Doder, Dragan; Vesic, Srdjan
5
2022
Margin of victory for tournament solutions. Zbl 1481.91074
Brill, Markus; Schmidt-Kraepelin, Ulrike; Suksompong, Warut
4
2022
The distortion of distributed metric social choice. Zbl 1503.91058
Anshelevich, Elliot; Filos-Ratsikas, Aris; Voudouris, Alexandros A.
4
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.
4
2022
Logic tensor networks. Zbl 07482899
Badreddine, Samy; d’Avila Garcez, Artur; Serafini, Luciano; Spranger, Michael
4
2022
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Zbl 07505979
Baumann, Ringo; Strass, Hannes
4
2022
Bayesian agency: linear versus tractable contracts. Zbl 07505987
Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola
4
2022
An action language for multi-agent domains. Zbl 1481.68044
Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao
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
Logical separability of labeled data examples under ontologies. Zbl 07613163
Jung, Jean Christoph; Lutz, Carsten; Pulcini, Hadrien; Wolter, Frank
3
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
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
Choice logics and their computational properties. Zbl 07596156
Bernreiter, Michael; Maly, Jan; Woltran, Stefan
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
An efficient algorithm for counting Markov equivalent DAGs. Zbl 07482901
Ganian, Robert; Hamm, Thekla; Talvitie, Topi
2
2022
Multi-agent pathfinding with continuous time. Zbl 07505972
Andreychuk, Anton; Yakovlev, Konstantin; Surynek, Pavel; Atzmon, Dor; Stern, Roni
2
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
2
2022
Mind the gap: cake cutting with separation. Zbl 07613161
Elkind, Edith; Segal-Halevi, Erel; Suksompong, Warut
2
2022
Pareto optimization for subset selection with dynamic cost constraints. Zbl 1482.90201
Roostapour, Vahid; Neumann, Aneta; Neumann, Frank; Friedrich, Tobias
1
2022
Propositional and predicate logics of incomplete information. Zbl 1478.68074
Console, Marco; Guagliardo, Paolo; Libkin, Leonid
1
2022
Efficient multi-agent epistemic planning: teaching planners about nested belief. Zbl 1524.68386
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
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
Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility. Zbl 07570880
Baumann, Ringo; Brewka, Gerhard; Ulbricht, Markus
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
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
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
On Pareto optimality in social distance games. Zbl 07613151
Balliu, Alkida; Flammini, Michele; Melideo, Giovanna; Olivetti, Dennis
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
The metric distortion of multiwinner voting. Zbl 07613172
Caragiannis, Ioannis; Shah, Nisarg; Voudouris, Alexandros A.
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
Knowledge-based strategies for multi-agent teams playing against nature. Zbl 1491.68246
Gurov, Dilian; Goranko, Valentin; Lundberg, Edvin
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
Acceptance in incomplete argumentation frameworks. Zbl 1519.68244
Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg
14
2021
Explaining individual predictions when features are dependent: more accurate approximations to Shapley values. Zbl 1520.68136
Aas, Kjersti; Jullum, Martin; Løland, Anders
13
2021
Peeking behind the ordinal curtain: improving distortion via cardinal queries. Zbl 1521.91092
Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Voudouris, Alexandros A.
10
2021
Neural probabilistic logic programming in DeepProbLog. Zbl 1520.68022
Manhaeve, Robin; Dumančić, Sebastijan; Kimmig, Angelika; Demeester, Thomas; De Raedt, Luc
10
2021
An improved approximation algorithm for maximin shares. Zbl 1521.91147
Garg, Jugal; Taki, Setareh
8
2021
SAT competition 2020. Zbl 1478.68320
Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin
8
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
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
7
2021
Schelling games on graphs. Zbl 1481.91037
Agarwal, Aishwarya; Elkind, Edith; Gan, Jiarui; Igarashi, Ayumi; Suksompong, Warut; Voudouris, Alexandros A.
7
2021
Making sense of sensory input. Zbl 1519.68214
Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek
6
2021
Planning-based knowing how: a unified approach. Zbl 1519.68255
Li, Yanjun; Wang, Yanjing
5
2021
A survey of inverse reinforcement learning: challenges, methods and progress. Zbl 1519.68207
Arora, Saurabh; Doshi, Prashant
5
2021
Picking sequences and monotonicity in weighted fair division. Zbl 1481.91090
Chakraborty, Mithun; Schmidt-Kraepelin, Ulrike; Suksompong, Warut
5
2021
Fair division of mixed divisible and indivisible goods. Zbl 1521.91142
Bei, Xiaohui; Li, Zihao; Liu, Jinyan; Liu, Shengxin; Lu, Xinhang
4
2021
Open-world probabilistic databases: semantics, algorithms, complexity. Zbl 1519.68068
Ceylan, Ä°smail Ä°lkan; Darwiche, Adnan; Van den Broeck, Guy
4
2021
A reconstruction of multipreference closure. Zbl 1504.68210
Giordano, Laura; Gliozzi, Valentina
4
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
Paracoherent answer set computation. Zbl 1520.68180
Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco
3
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
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
3
2021
Protecting elections by recounting ballots. Zbl 1507.91075
Elkind, Edith; Gan, Jiarui; Obraztsova, Svetlana; Rabinovich, Zinovi; Voudouris, Alexandros A.
3
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
A semantics for hybrid probabilistic logic programs with function symbols. Zbl 1519.68040
Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina
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
A framework for step-wise explaining how to solve constraint satisfaction problems. Zbl 1520.68176
Bogaerts, Bart; Gamba, Emilio; Guns, Tias
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
...and 1469 more Documents
all top 5

Cited by 16,712 Authors

77 Dubois, Didier
71 Prade, Henri M.
69 Eiter, Thomas
52 Schaub, Torsten H.
51 Gabbay, Dov M.
51 Wooldridge, Michael J.
50 Woltran, Stefan
43 Gottlob, Georg
42 Denœux, Thierry
42 Halpern, Joseph Yehuda
41 Kern-Isberner, Gabriele
40 Miranda, Enrique
38 Benferhat, Salem
38 Rothe, Jörg-Matthias
36 Simari, Guillermo Ricardo
35 Jonsson, Peter
34 De Raedt, Luc
34 Hunter, Anthony
34 Kraus, Sarit
33 Cooper, Martin C.
33 Leone, Nicola
33 Liang, Jiye
33 Zaffalon, Marco
32 Qian, Yuhua
32 van der Hoek, Wiebe
32 van Ditmarsch, Hans Pieter
32 Yager, Ronald R.
31 Walsh, Toby
30 Dechter, Rina
30 Truszczyński, Mirosław
29 Beierle, Christoph
29 Godo, LluĂ­s
29 Lifschitz, Vladimir
29 Marques-Silva, JoĂŁo P.
29 Živný, Stanislav
28 Arieli, Ofer
28 Herzig, Andreas
28 Lang, JĂ©rĂ´me
28 Lorini, Emiliano
28 Lukasiewicz, Thomas
27 Amgoud, Leila
27 Delgrande, James P.
27 Destercke, SĂ©bastien
27 Gebser, Martin
26 Bloch, Isabelle
26 de Cooman, Gert
26 Ricca, Francesco
25 Cabalar, Pedro
25 Inoue, Katsumi
25 Jeavons, Peter G.
25 Moral, SerafĂ­n
25 Ognjanović, Zoran
25 Riguzzi, Fabrizio
25 Szeider, Stefan
25 van der Torre, Leendert W. N.
24 Alviano, Mario
24 Doerr, Benjamin
24 Grant, John R.
24 Lawry, Jonathan
24 Marquis, Pierre
24 Tennenholtz, Moshe
23 Gagliardi Cozman, Fabio
23 Lierler, Yuliya
23 Montanari, Angelo
22 Baader, Franz
22 Denecker, Marc
22 Dunne, Paul E.
22 Fandinno, Jorge
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 Dodaro, Carmine
21 Janhunen, Tomi
21 Jennings, Nicholas R.
21 Labreuche, Christophe
21 Levesque, Hector J.
21 Lin, Fangzhen
21 Shenoy, Prakash P.
21 Suksompong, Warut
21 Thimm, Matthias
21 Yin, Minghao
21 You, Jia-Huai
20 Baroni, Pietro
20 Maratea, Marco
20 Pearl, Judea
20 Peñaloza, Rafael
20 Pino PĂ©rez, RamĂłn
20 Scarcello, Francesco
20 Schockaert, Steven
20 Toni, Francesca
19 Bessiere, Christian
19 Cohen, David A.
19 De Giacomo, Giuseppe
19 Elkind, Edith
19 Faber, Wolfgang
19 GarcĂ­a, Alejandro Javier
...and 16,612 more Authors
all top 5

Cited in 607 Journals

1,945 Artificial Intelligence
790 International Journal of Approximate Reasoning
416 Annals of Mathematics and Artificial Intelligence
401 Theoretical Computer Science
372 Information Sciences
261 Theory and Practice of Logic Programming
251 European Journal of Operational Research
240 Fuzzy Sets and Systems
213 Machine Learning
177 Constraints
175 Journal of Automated Reasoning
172 Journal of Applied Non-Classical Logics
146 Pattern Recognition
137 Synthese
128 Studia Logica
127 Journal of Applied Logic
123 Journal of Philosophical Logic
118 Journal of Computer and System Sciences
111 Computers & Operations Research
103 Information and Computation
102 Annals of Operations Research
100 The Journal of Artificial Intelligence Research (JAIR)
98 Discrete Applied Mathematics
91 Information Processing Letters
90 Algorithmica
81 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
77 Neural Computation
73 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
60 Journal of Mathematical Imaging and Vision
59 Soft Computing
55 International Journal of Intelligent Systems
54 Journal of Computer Science and Technology
54 Games and Economic Behavior
53 New Generation Computing
51 Mathematical Problems in Engineering
48 International Journal of General Systems
48 Automatica
44 The Review of Symbolic Logic
43 Applied Mathematics and Computation
42 ACM Transactions on Computational Logic
40 Mathematical Social Sciences
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
30 Logical Methods in Computer Science
29 Theory of Computing Systems
27 Theory and Decision
27 International Journal of Applied Mathematics and Computer Science
26 Erkenntnis
25 International Journal of Computer Mathematics
24 SIAM Journal on Computing
24 Mathematical and Computer Modelling
24 Logica Universalis
23 Journal of Economic Theory
23 SIAM Journal on Imaging Sciences
22 Journal of Mathematical Psychology
22 Kybernetika
22 Social Choice and Welfare
22 Journal of Combinatorial Optimization
21 Journal of Intelligent & Robotic Systems
21 Mathematical Programming. Series A. Series B
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 AI Communications
18 Journal of Computer and Systems Sciences International
18 Computational Intelligence
18 Discrete Optimization
17 Biological Cybernetics
17 Discrete Event Dynamic Systems
17 Applied Intelligence
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 The Journal of Logic and Algebraic Programming
15 Journal of Logical and Algebraic Methods in Programming
14 Computer Methods in Applied Mechanics and Engineering
14 Physica A
14 The Annals of Statistics
14 Mathematics and Computers in Simulation
...and 507 more Journals
all top 5

Cited in 61 Fields

9,439 Computer science (68-XX)
2,538 Mathematical logic and foundations (03-XX)
1,579 Operations research, mathematical programming (90-XX)
1,468 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
879 Statistics (62-XX)
383 Combinatorics (05-XX)
349 Systems theory; control (93-XX)
346 Information and communication theory, circuits (94-XX)
289 Probability theory and stochastic processes (60-XX)
278 Numerical analysis (65-XX)
271 Biology and other natural sciences (92-XX)
127 Order, lattices, ordered algebraic structures (06-XX)
81 Measure and integration (28-XX)
73 Calculus of variations and optimal control; optimization (49-XX)
65 General and overarching topics; collections (00-XX)
52 General algebraic systems (08-XX)
47 Quantum theory (81-XX)
40 History and biography (01-XX)
38 Partial differential equations (35-XX)
37 Statistical mechanics, structure of matter (82-XX)
34 Dynamical systems and ergodic theory (37-XX)
33 Convex and discrete geometry (52-XX)
33 Mechanics of particles and systems (70-XX)
31 Ordinary differential equations (34-XX)
30 Algebraic geometry (14-XX)
26 General topology (54-XX)
24 Geometry (51-XX)
22 Commutative algebra (13-XX)
22 Real functions (26-XX)
21 Linear and multilinear algebra; matrix theory (15-XX)
19 Fluid mechanics (76-XX)
18 Category theory; homological algebra (18-XX)
16 Differential geometry (53-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)
10 Approximations and expansions (41-XX)
9 Number theory (11-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)
6 Relativity and gravitational theory (83-XX)
5 Harmonic analysis on Euclidean spaces (42-XX)
5 Manifolds and cell complexes (57-XX)
4 Mathematics education (97-XX)
3 Functions of a complex variable (30-XX)
3 Abstract harmonic analysis (43-XX)
3 Astronomy and astrophysics (85-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