×

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,263 Publications (since 1970)
References Indexed: 2,155 Publications with 93,779 References.
all top 5

Authors

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

Publications by Year

Citations contained in zbMATH Open

1,831 Publications have been cited 23,550 times in 11,018 Documents Cited by Year
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
537
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
396
1995
Nonmonotonic reasoning, preferential models and cumulative logics. Zbl 0782.03012
Kraus, Sarit; Lehmann, Daniel; Magidor, Menachem
349
1990
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
289
1980
Default reasoning and possibility theory. Zbl 0645.68108
Dubois, Didier; Prade, Henri
259
1988
The transferable belief model. Zbl 0807.68087
Smets, Philippe; Kennes, Robert
255
1994
Wrappers for feature subset selection. Zbl 0904.68143
Kohavi, Ron; John, George H.
223
1997
Probabilistic logic. Zbl 0589.03007
Nilsson, Nils J.
220
1986
Consistency in networks of relations. Zbl 0341.68061
Mackworth, Alan K.
220
1977
A theory of diagnosis from first principles. Zbl 0643.68122
Reiter, Raymond
214
1987
STRIPS: A new approach to the application of theorem proving to problem solving. Zbl 0234.68036
Fikes, Richard E.; Nilsson, Nils J.
186
1971
Semantical considerations on nonmonotonic logic. Zbl 0569.68079
Moore, Robert C.
180
1985
What does a conditional knowledge base entail? Zbl 0762.68057
Lehmann, Daniel; Magidor, Menachem
172
1992
Belief, awareness, and limited reasoning. Zbl 0634.03013
Fagin, Ronald; Halpern, Joseph Y.
154
1988
Propositional knowledge base revision and minimal change. Zbl 0792.68182
Katsuno, Hirofumi; Mendelzon, Alberto O.
145
1991
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
144
1992
Extending and implementing the stable model semantics. Zbl 0995.68021
Simons, Patrik; Niemelä, Ilkka; Soininen, Timo
139
2002
Constraints on deformable models: Recovering 3D shape and nonrigid motion. Zbl 0646.68105
Terzopoulos, Demetri; Witkin, Andrew; Kass, Michael
139
1988
The computational complexity of probabilistic inference using Bayesian belief networks. Zbl 0717.68080
Cooper, Gregory F.
132
1990
Depth-first iterative-deepening: An optimal admissible tree search. Zbl 0573.68030
Korf, Richard E.
130
1985
On the logic of iterated belief revision. Zbl 1018.03012
Darwiche, Adnan; Pearl, Judea
127
1997
Temporal constraint networks. Zbl 0737.68070
Dechter, Rina; Meiri, Itay; Pearl, Judea
124
1991
Non-monotonic logic. I. Zbl 0435.68074
McDermott, Drew; Doyle, Jon
123
1980
Positive approximation: an accelerator for attribute reduction in rough set theory. Zbl 1205.68310
Qian, Yuhua; Liang, Jiye; Pedrycz, Witold; Dang, Chuangyin
122
2010
Fusion, propagation, and structuring in belief networks. Zbl 0624.68081
Pearl, Judea
120
1986
A logical framework for default reasoning. Zbl 0647.68094
Poole, David
109
1988
Diagnosing multiple faults. Zbl 0642.94045
de Kleer, Johan; Williams, Brian C.
108
1987
Planning and acting in partially observable stochastic domains. Zbl 0908.68165
Kaelbling, Leslie Pack; Littman, Michael L.; Cassandra, Anthony R.
106
1998
Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156
Dechter, Rina; Pearl, Judea
99
1988
An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511
Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F.
93
1997
A mathematical treatment of defeasible reasoning and its implementation. Zbl 1193.68238
Simari, Guillermo R.; Loui, Ronald P.
89
1992
Uncertainty measures of rough set prediction. Zbl 0909.68040
Düntsch, Ivo; Gediga, Günther
86
1998
Attributive concept descriptions with complements. Zbl 0712.68095
Schmidt-Schauß, Manfred; Smolka, Gert
85
1991
Selection of relevant features and examples in machine learning. Zbl 0904.68142
Blum, Avrim L.; Langley, Pat
85
1997
Towards a general theory of action and time. Zbl 0567.68025
Allen, James F.
82
1984
Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
79
2012
An analysis of first-order logics of probability. Zbl 0723.03007
Halpern, Joseph Y.
77
1990
Tree clustering for constraint networks. Zbl 0665.68084
Dechter, Rina; Pearl, Judea
77
1989
An analysis of alpha-beta pruning. Zbl 0358.68143
Knuth, Donald E.; Moore, Ronald W.
77
1975
On the evaluation of argumentation formalisms. Zbl 1168.68562
Caminada, Martin; Amgoud, Leila
75
2007
Probabilistic Horn abduction and Bayesian networks. Zbl 0792.68176
Poole, David
74
1993
The computational complexity of propositional STRIPS planning. Zbl 0821.68065
Bylander, Tom
74
1994
Fast planning through planning graph analysis. Zbl 1017.68533
Blum, Avrim L.; Furst, Merrick L.
74
1997
Argumentation in artificial intelligence. Zbl 1168.68560
Bench-Capon, T. J. M.; Dunne, Paul E.
71
2007
The value of the four values. Zbl 0928.03025
Arieli, Ofer; Avron, Arnon
70
1998
All I know: A study in autoepistemic logic. Zbl 0724.03019
Levesque, Hector J.
68
1990
On the relation between default and autoepistemic logic. Zbl 0647.68088
Konolige, Kurt
68
1988
ASSAT: computing answer sets of a logic program by SAT solvers. Zbl 1085.68544
Lin, Fangzhen; Zhao, Yuting
68
2004
Credal networks. Zbl 0945.68163
Cozman, F. G.
66
2000
The independent choice logic for modelling multiple agents under uncertainty. Zbl 0902.03017
Poole, David
66
1997
Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847
Dechter, R.
63
1999
Intention is choice with commitment. Zbl 0721.03017
Cohen, Philip R.; Levesque, Hector J.
63
1990
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Zbl 1182.68298
Denœux, Thierry
62
2008
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
61
1992
Planning as heuristic search. Zbl 0971.68146
Bonet, B.; Geffner, H.
61
2001
Nonmonotonic inference based on expectations. Zbl 0803.68125
Gärdenfors, Peter; Makinson, David
61
1994
Qualitative simulation. Zbl 0624.68098
Kuipers, Benjamin
61
1986
Computing ideal sceptical argumentation. Zbl 1168.68564
Dung, P. M.; Mancarella, P.; Toni, F.
60
2007
A logic-based theory of deductive arguments. Zbl 0971.68143
Besnard, P.; Hunter, A.
60
2001
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
60
2004
Combining answer set programming with description logics for the semantic web. Zbl 1183.68595
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans
59
2008
Constraints, consistency and closure. Zbl 0909.68076
Jeavons, Peter; Cohen, David; Cooper, Martin C.
59
1998
Planning for conjunctive goals. Zbl 0642.68171
Chapman, David
59
1987
Nonmonotonic logic and temporal projection. Zbl 0654.68107
Hanks, Steve; McDermott, Drew
59
1987
Solving the multiple instance problem with axis-parallel rectangles. Zbl 1042.68650
Dietterich, Thomas G.; Lathrop, Richard H.; Lozano-Pérez, Tomás
59
1997
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
56
1992
Algorithm for optimal winner determination in combinatorial auctions. Zbl 0984.68039
Sandholm, Tuomas
56
2002
Answer set programming and plan generation. Zbl 0995.68020
Lifschitz, Vladimir
56
2002
Characterizing diagnoses and systems. Zbl 0772.68085
de Kleer, Johan; Mackworth, Alan K.; Reiter, Raymond
55
1992
Drift analysis and average time complexity of evolutionary algorithms. Zbl 0971.68129
He, Jun; Yao, Xin
55
2001
SCC-recursiveness: a general schema for argumentation semantics. Zbl 1132.68765
Baroni, Pietro; Giacomin, Massimiliano; Guida, Giovanni
55
2005
On principle-based evaluation of extension-based argumentation semantics. Zbl 1168.68559
Baroni, Pietro; Giacomin, Massimiliano
54
2007
Reasoning about preferences in argumentation frameworks. Zbl 1192.68663
Modgil, Sanjay
54
2009
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Zbl 0372.94024
Stallman, Richard M.; Sussman, Gerald J.
53
1977
Conditional entailment: bridging two approaches to default reasoning. Zbl 1193.68235
Geffner, Hector; Pearl, Judea
53
1992
Approximating probabilistic inference in Bayesian belief networks is NP- hard. Zbl 0781.68105
Dagum, Paul; Luby, Michael
52
1993
Bayesian and non-Bayesian evidential updating. Zbl 0622.68069
Kyburg, Henry E. jun.
52
1987
Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
51
2011
Conditional logics of normality: A modal approach. Zbl 0811.68114
Boutilier, Craig
51
1994
Epistemic entrenchment and possibilistic logic. Zbl 0749.03019
Dubois, Didier; Prade, Henri
50
1991
Linear resolution with selection function. Zbl 0234.68037
Kowalski, Robert; Kuehner, Donald
50
1971
Ensembling neural networks: Many could be better than all. Zbl 0995.68077
Zhou, Zhi-Hua; Wu, Jianxin; Tang, Wei
49
2002
Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274
Miller, Tim
49
2019
Constraint propagation with interval labels. Zbl 0642.68176
Davis, Ernest
48
1987
Robot motion planning with uncertainty in control and sensing. Zbl 0817.93045
Latombe, Jean-Claude; Lazanas, Anthony; Shekhar, Shashank
47
1991
Coherence in finite argument systems. Zbl 1043.68098
Dunne, Paul E.; Bench-Capon, T. J. M.
47
2002
Nonmonotonic reasoning, conditional objects and possibility theory. Zbl 1017.68539
Benferhat, Salem; Dubois, Didier; Prade, Henri
47
1997
Anyone but him: the complexity of precluding an alternative. Zbl 1168.91346
Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg
46
2007
Real-time heuristic search. Zbl 0718.68082
Korf, Richard E.
46
1990
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
46
2000
Cumulative default logic: In defense of nonmonotonic inference rules. Zbl 0753.03011
Brewka, Gerhard
45
1991
A generic arc-consistency algorithm and its specializations. Zbl 0763.68059
van Hentenryck, Pascal; Deville, Yves; Teng, Choh-Man
45
1992
Methods for task allocation via agent coalition formation. Zbl 0908.68032
Shehory, Onn; Kraus, Sarit
45
1998
An approach to default reasoning based on a first-order conditional logic: Revised report. Zbl 0646.03015
Delgrande, James P.
45
1988
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160
Renz, Jochen; Nebel, Bernhard
44
1999
How to reason defeasibly. Zbl 0763.68056
Pollock, John L.
43
1992
A general account of argumentation with preferences. Zbl 1270.68284
Modgil, Sanjay; Prakken, Henry
43
2013
Planning in a hierarchy of abstraction spaces. Zbl 0288.68052
Sacerdoti, Earl D.
43
1974
A skeptical theory of inheritance in nonmonotonic semantic networks. Zbl 0717.68085
Horty, John F.; Thomason, Richmond H.; Touretzky, David S.
43
1990
Constructing roadmaps of semi-algebraic sets. I: Completeness. Zbl 0668.14016
Canny, John
43
1988
Margin of victory for tournament solutions. Zbl 1481.91074
Brill, Markus; Schmidt-Kraepelin, Ulrike; Suksompong, Warut
1
2022
Analyzing differentiable fuzzy logic operators. Zbl 1490.68233
van Krieken, Emile; Acar, Erman; van Harmelen, Frank
1
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.
1
2022
Envy-free allocations respecting social networks. Zbl 07505974
Bredereck, Robert; Kaczmarczyk, Andrzej; Niedermeier, Rolf
1
2022
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Zbl 07505979
Baumann, Ringo; Strass, Hannes
1
2022
Neural probabilistic logic programming in DeepProbLog. Zbl 07418672
Manhaeve, Robin; Dumančić, Sebastijan; Kimmig, Angelika; Demeester, Thomas; De Raedt, Luc
5
2021
An improved approximation algorithm for maximin shares. Zbl 07418691
Garg, Jugal; Taki, Setareh
5
2021
Peeking behind the ordinal curtain: improving distortion via cardinal queries. Zbl 07418619
Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Voudouris, Alexandros A.
4
2021
Explaining individual predictions when features are dependent: more accurate approximations to Shapley values. Zbl 07418670
Aas, Kjersti; Jullum, Martin; Løland, Anders
4
2021
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Zbl 07418624
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven
3
2021
The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints. Zbl 07418701
Dvořák, Pavel; Eiben, Eduard; Ganian, Robert; Knop, Dušan; Ordyniak, Sebastian
3
2021
SAT competition 2020. Zbl 1478.68320
Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin
3
2021
Picking sequences and monotonicity in weighted fair division. Zbl 1481.91090
Chakraborty, Mithun; Schmidt-Kraepelin, Ulrike; Suksompong, Warut
3
2021
A survey of inverse reinforcement learning: challenges, methods and progress. Zbl 07418628
Arora, Saurabh; Doshi, Prashant
2
2021
Fair division of mixed divisible and indivisible goods. Zbl 07418631
Bei, Xiaohui; Li, Zihao; Liu, Jinyan; Liu, Shengxin; Lu, Xinhang
2
2021
Making sense of sensory input. Zbl 07418632
Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek
2
2021
Acceptance in incomplete argumentation frameworks. Zbl 07418650
Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg
2
2021
A reconstruction of multipreference closure. Zbl 07382237
Giordano, Laura; Gliozzi, Valentina
2
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
What do we want from explainable artificial intelligence (XAI)? – a stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Zbl 07418613
Langer, Markus; Oster, Daniel; Speith, Timo; Hermanns, Holger; Kästner, Lena; Schmidt, Eva; Sesing, Andreas; Baum, Kevin
1
2021
Planning-based knowing how: a unified approach. Zbl 07418618
Li, Yanjun; Wang, Yanjing
1
2021
Expecting the unexpected: goal recognition for rational and irrational agents. Zbl 07418625
Masters, Peta; Sardina, Sebastian
1
2021
Credibility dynamics: a belief-revision-based trust model with pairwise comparisons. Zbl 07418635
Jelenc, David; Tamargo, Luciano H.; Gottifredi, Sebastian; García, Alejandro J.
1
2021
A semantics for hybrid probabilistic logic programs with function symbols. Zbl 07418639
Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina
1
2021
Epistemic GDL: a logic for representing and reasoning about imperfect information games. Zbl 07418640
Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng
1
2021
GLocalX – from local to global explanations of black box AI models. Zbl 07418642
Setzu, Mattia; Guidotti, Riccardo; Monreale, Anna; Turini, Franco; Pedreschi, Dino; Giannotti, Fosca
1
2021
Dynamically improved bounds bidirectional search. Zbl 07418654
Sewell, E. C.; Jacobson, S. H.
1
2021
Game description language and dynamic epistemic logic compared. Zbl 07418665
Engesser, Thorsten; Mattmüller, Robert; Nebel, Bernhard; Thielscher, Michael
1
2021
A lightweight epistemic logic and its application to planning. Zbl 07418669
Cooper, Martin C.; Herzig, Andreas; Maffre, Faustine; Maris, Frédéric; Perrotin, Elise; Régnier, Pierre
1
2021
Incremental computation for structured argumentation over dynamic DeLP knowledge bases. Zbl 07418697
Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Simari, Gerardo I.; Simari, Guillermo R.
1
2021
Swarm intelligence for self-organized clustering. Zbl 07382235
Thrun, Michael C.; Ultsch, Alfred
1
2021
Protecting elections by recounting ballots. Zbl 07382238
Elkind, Edith; Gan, Jiarui; Obraztsova, Svetlana; Rabinovich, Zinovi; Voudouris, Alexandros A.
1
2021
Foundations of explanations as model reconciliation. Zbl 1478.68336
Sreedharan, Sarath; Chakraborti, Tathagata; Kambhampati, Subbarao
1
2021
Schelling games on graphs. Zbl 1481.91037
Agarwal, Aishwarya; Elkind, Edith; Gan, Jiarui; Igarashi, Ayumi; Suksompong, Warut; Voudouris, Alexandros A.
1
2021
Relative inconsistency measures. Zbl 1476.68257
Besnard, Philippe; Grant, John
6
2020
Boolean algebras of conditionals, probability and logic. Zbl 07274575
Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel
6
2020
Design and results of the second international competition on computational models of argumentation. Zbl 1478.68353
Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan
5
2020
The distortion of distributed voting. Zbl 07274572
Filos-Ratsikas, Aris; Micha, Evi; Voudouris, Alexandros A.
5
2020
Landmark-based approaches for goal recognition as planning. Zbl 1478.68331
Pereira, Ramon Fraga; Oren, Nir; Meneguzzi, Felipe
4
2020
SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem. Zbl 1476.68218
Wang, Yiyuan; Cai, Shaowei; Chen, Jiejiang; Yin, Minghao
4
2020
The Hanabi challenge: a new frontier for AI research. Zbl 1476.68223
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
3
2020
Rethinking epistemic logic with belief bases. Zbl 1435.03036
Lorini, Emiliano
3
2020
Compatibility, desirability, and the running intersection property. Zbl 1433.68455
Miranda, Enrique; Zaffalon, Marco
3
2020
Dynamic term-modal logics for first-order epistemic planning. Zbl 1471.68274
Occhipinti Liberman, Andrés; Achen, Andreas; Rendsvig, Rasmus Kræmmer
3
2020
DEL-based epistemic planning: decidability and complexity. Zbl 07274577
Bolander, Thomas; Charrier, Tristan; Pinchinat, Sophie; Schwarzentruber, François
3
2020
Coalitional games induced by matching problems: complexity and islands of tractability for the Shapley value. Zbl 1482.91011
Greco, Gianluigi; Lupia, Francesco; Scarcello, Francesco
2
2020
Clause vivification by unit propagation in CDCL SAT solvers. Zbl 1478.68325
Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu
2
2020
Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog. Zbl 1476.68250
Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas
2
2020
Autoepistemic equilibrium logic and epistemic specifications. Zbl 1432.68453
Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas
2
2020
Limited lookahead in imperfect-information games. Zbl 1437.91067
Kroer, Christian; Sandholm, Tuomas
2
2020
Handling and measuring inconsistency in non-monotonic logics. Zbl 07274573
Ulbricht, Markus; Thimm, Matthias; Brewka, Gerhard
2
2020
Automated temporal equilibrium analysis: verification and synthesis of multi-player games. Zbl 07274584
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael
2
2020
Price of Pareto optimality in hedonic games. Zbl 07382215
Elkind, Edith; Fanelli, Angelo; Flammini, Michele
2
2020
Utilitarian welfare and representation guarantees of approval-based multiwinner rules. Zbl 07382217
Lackner, Martin; Skowron, Piotr
2
2020
Computing AES related-key differential characteristics with constraint programming. Zbl 1482.94049
Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine
1
2020
Gradient conjugate priors and multi-layer neural networks. Zbl 1478.68287
Gurevich, Pavel; Stuke, Hannes
1
2020
Probabilistic sentence satisfiability: an approach to PSAT. Zbl 1478.68322
Henderson, T. C.; Simmons, R.; Serbinowski, B.; Cline, M.; Sacharny, D.; Fan, X.; Mitiche, A.
1
2020
New models for generating hard random Boolean formulas and disjunctive logic programs. Zbl 1478.68316
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
1
2020
Recursively modeling other agents for decision making: a research perspective. Zbl 1478.68381
Doshi, Prashant; Gmytrasiewicz, Piotr; Durfee, Edmund
1
2020
Governing convergence of Max-sum on DCOPs through damping and splitting. Zbl 1478.68319
Cohen, Liel; Galiki, Rotem; Zivan, Roie
1
2020
When autonomous agents model other agents: an appeal for altered judgment coupled with mouths, ears, and a little more tape. Zbl 1476.68260
Crandall, Jacob W.
1
2020
Reasoning about uncertain parameters and agent behaviors through encoded experiences and belief planning. Zbl 1476.68261
Hayashi, Akinobu; A. Ruiken, Dirk; Hasegawa, Tadaaki; Goerick, Christian
1
2020
The computational complexity of Angry Birds. Zbl 1476.68224
Stephenson, Matthew; Renz, Jochen; Ge, Xiaoyu
1
2020
Robust learning with imperfect privileged information. Zbl 1432.68393
Li, Xue; Du, Bo; Xu, Chang; Zhang, Yipeng; Zhang, Lefei; Tao, Dacheng
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
Epistemic graphs for representing and reasoning with positive and negative influences of arguments. Zbl 1435.68316
Hunter, Anthony; Polberg, Sylwia; Thimm, Matthias
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
Knowing the price of success. Zbl 1451.68291
Cao, Rui; Naumov, Pavel
1
2020
On the complexity of reasoning about opinion diffusion under majority dynamics. Zbl 1454.91154
Auletta, Vincenzo; Ferraioli, Diodato; Greco, Gianluigi
1
2020
The logic of gossiping. Zbl 07274568
van Ditmarsch, Hans; van der Hoek, Wiebe; Kuijer, Louwe B.
1
2020
On the limits of forgetting in answer set programming. Zbl 07274569
Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan
1
2020
On the equivalence of optimal recommendation sets and myopically optimal query sets. Zbl 07274570
Viappiani, Paolo; Boutilier, Craig
1
2020
Interpretable time series kernel analytics by pre-image estimation. Zbl 07274571
Tran, Thi Phuong Thao; Douzal-Chouakria, Ahlame; Varasteh Yazdi, Saeed; Honeine, Paul; Gallinari, Patrick
1
2020
Memetic algorithms outperform evolutionary algorithms in multimodal optimisation. Zbl 07274578
Nguyen, Phan Trung Hai; Sudholt, Dirk
1
2020
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Zbl 07274579
Benzmüller, Christoph; Parent, Xavier; van der Torre, Leendert
1
2020
Evaluation of the moral permissibility of action plans. Zbl 07274581
Lindner, Felix; Mattmüller, Robert; Nebel, Bernhard
1
2020
Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability. Zbl 07274585
Cai, Shaowei; Lei, Zhendong
1
2020
Negotiating team formation using deep reinforcement learning. Zbl 07382214
Bachrach, Yoram; Everett, Richard; Hughes, Edward; Lazaridou, Angeliki; Leibo, Joel Z.; Lanctot, Marc; Johanson, Michael; Czarnecki, Wojciech M.; Graepel, Thore
1
2020
Knowledge-based programs as succinct policies for partially observable domains. Zbl 07382216
Zanuttini, Bruno; Lang, Jérôme; Saffidine, Abdallah; Schwarzentruber, François
1
2020
Dashed strings for string constraint solving. Zbl 07382222
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
1
2020
Artificial intelligence requires more than deep learning – but what, exactly? Zbl 07382229
Wooldridge, Michael
1
2020
Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274
Miller, Tim
49
2019
Democratic fair allocation of indivisible goods. Zbl 1482.91106
Segal-Halevi, Erel; Suksompong, Warut
8
2019
Maintenance of datalog materialisations revisited. Zbl 1478.68076
Motik, Boris; Nenov, Yavor; Piro, Robert; Horrocks, Ian
6
2019
The 2016 and 2017 QBF solvers evaluations (QBFEVAL’16 and QBFEVAL’17). Zbl 1478.68332
Pulina, Luca; Seidl, Martina
6
2019
Forgetting auxiliary atoms in forks. Zbl 1478.68338
Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción
6
2019
On the complexity of inconsistency measurement. Zbl 1478.68359
Thimm, Matthias; Wallner, Johannes P.
5
2019
On social envy-freeness in multi-unit markets. Zbl 1482.91097
Flammini, Michele; Mauro, Manuel; Tonelli, Matteo
4
2019
Analogy between concepts. Zbl 1478.68360
Barbot, N.; Miclet, L.; Prade, H.
4
2019
Knowing-how under uncertainty. Zbl 1478.03027
Naumov, Pavel; Tao, Jia
4
2019
Leadership in singleton congestion games: what is hard and what is easy. Zbl 1482.91015
Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola; Coniglio, Stefano
4
2019
Strong inconsistency. Zbl 1478.68362
Brewka, Gerhard; Thimm, Matthias; Ulbricht, Markus
3
2019
Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence. Zbl 1478.68352
Fazzinga, Bettina; Flesca, Sergio; Furfaro, Filippo
3
2019
Backdoors to planning. Zbl 1478.68323
Kronegger, Martin; Ordyniak, Sebastian; Pfandler, Andreas
3
2019
Artificial immune systems can find arbitrarily good approximations for the NP-hard number partitioning problem. Zbl 1478.68283
Corus, Dogan; Oliveto, Pietro S.; Yazdani, Donya
3
2019
On the graded acceptability of arguments in abstract and instantiated argumentation. Zbl 1478.68354
Grossi, Davide; Modgil, Sanjay
3
2019
Optimizing group learning: an evolutionary computing approach. Zbl 1478.68382
Douven, Igor
3
2019
The logic of qualitative probability. Zbl 1478.03048
Delgrande, James P.; Renne, Bryan; Sack, Joshua
3
2019
On coarser interval temporal logics. Zbl 1480.03010
Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard
2
2019
Privacy preserving region optimal algorithms for symmetric and asymmetric DCOPs. Zbl 1478.68321
Grinshpoun, Tal; Tassa, Tamir; Levit, Vadim; Zivan, Roie
2
2019
...and 1490 more Documents
all top 5

Cited by 14,083 Authors

73 Dubois, Didier
63 Eiter, Thomas
62 Prade, Henri M.
50 Gabbay, Dov M.
43 Wooldridge, Michael J.
42 Schaub, Torsten H.
40 Woltran, Stefan
39 Denœux, Thierry
39 Gottlob, Georg
39 Halpern, Joseph Yehuda
34 Benferhat, Salem
34 Kern-Isberner, Gabriele
32 Leone, Nicola
32 Yager, Ronald R.
31 Liang, Jiye
31 Qian, Yuhua
31 Simari, Guillermo Ricardo
30 Jonsson, Peter A.
29 Cooper, Martin C.
29 Hunter, Anthony
29 Kraus, Sarit
28 Truszczyński, Mirosław
28 van der Hoek, Wiebe
28 Walsh, Toby
27 Dechter, Rina
27 Lifschitz, Vladimir
27 Rothe, Jörg-Matthias
27 Zaffalon, Marco
26 Arieli, Ofer
26 Živný, Stanislav
25 De Raedt, Luc
24 de Cooman, Gert
24 Delgrande, James P.
24 Godo, Lluís
24 Herzig, Andreas
24 Lang, Jérôme
24 Lawry, Jonathan
24 Lorini, Emiliano
24 Lukasiewicz, Thomas
24 Marques-Silva, João P.
24 van Ditmarsch, Hans Pieter
23 Gagliardi Cozman, Fabio
23 Marquis, Pierre
22 Amgoud, Leila
22 Beierle, Christoph
22 Bloch, Isabelle
22 Destercke, Sébastien
22 Greco, Gianluigi
22 Jeavons, Peter G.
22 Marek, V. Wiktor
22 Moral, Serafín
22 Riguzzi, Fabrizio
22 van der Torre, Leendert W. N.
21 Fargier, Hélène
21 Ognjanović, Zoran
21 Subrahmanian, V. S.
20 Besnard, Philippe
20 Dunne, Paul E.
20 Inoue, Katsumi
20 Jennings, Nicholas R.
20 Lin, Fangzhen
20 Scarcello, Francesco
20 Schockaert, Steven
20 Szeider, Stefan
19 Alviano, Mario
19 Baral, Chitta R.
19 Jaulin, Luc
19 Lierler, Yuliya
19 Sandholm, Tuomas W.
19 Stuckey, Peter James
19 Thimm, Matthias
19 You, Jia-Huai
18 Baroni, Pietro
18 Cabalar, Pedro
18 De Giacomo, Giuseppe
18 Gebser, Martin
18 Grant, John R.
18 Ibaraki, Toshihide
18 Liu, Weiru
18 Straccia, Umberto
18 Tennenholtz, Moshe
18 Toni, Francesca
18 Yin, Minghao
17 Baader, Franz
17 Bessiere, Christian
17 Chakrabarti, Partha Pratim
17 Cohen, David A.
17 Dang, Chuangyin
17 Denecker, Marc
17 Faber, Wolfgang
17 Fink, Michael
17 Giacomin, Massimiliano
17 Labreuche, Christophe
17 Maratea, Marco
17 Montanari, Angelo
17 Pearl, Judea
17 Ricca, Francesco
17 Shenoy, Prakash P.
16 Dodaro, Carmine
16 Doerr, Benjamin
...and 13,983 more Authors
all top 5

Cited in 544 Journals

1,718 Artificial Intelligence
717 International Journal of Approximate Reasoning
405 Annals of Mathematics and Artificial Intelligence
360 Theoretical Computer Science
305 Information Sciences
233 Theory and Practice of Logic Programming
232 European Journal of Operational Research
223 Fuzzy Sets and Systems
180 Machine Learning
166 Journal of Automated Reasoning
162 Constraints
155 Journal of Applied Non-Classical Logics
125 Journal of Applied Logic
120 Studia Logica
120 Synthese
109 Journal of Computer and System Sciences
109 Pattern Recognition
106 Journal of Philosophical Logic
95 Annals of Operations Research
91 Computers & Operations Research
89 Information and Computation
87 Information Processing Letters
82 Discrete Applied Mathematics
81 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
80 The Journal of Artificial Intelligence Research (JAIR)
74 Neural Computation
73 Algorithmica
70 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
63 Journal of Logic, Language and Information
62 Computers & Mathematics with Applications
58 Journal of Symbolic Computation
57 Soft Computing
55 International Journal of Intelligent Systems
54 Journal of Computer Science and Technology
53 New Generation Computing
48 International Journal of General Systems
48 Mathematical Problems in Engineering
47 Games and Economic Behavior
41 Automatica
38 Mathematical Social Sciences
37 Applied Mathematics and Computation
36 Computational Statistics and Data Analysis
36 The Review of Symbolic Logic
34 Journal of Mathematical Imaging and Vision
32 Journal of Global Optimization
30 International Journal of Computer Vision
29 The Journal of Symbolic Logic
29 Annals of Pure and Applied Logic
27 International Journal of Applied Mathematics and Computer Science
26 Theory and Decision
26 Neural Networks
26 Erkenntnis
26 Journal of Machine Learning Research (JMLR)
26 ACM Transactions on Computational Logic
25 Theory of Computing Systems
25 Data Mining and Knowledge Discovery
25 Logical Methods in Computer Science
24 International Journal of Computer Mathematics
23 Journal of Economic Theory
21 Kybernetika
21 Social Choice and Welfare
21 Journal of Intelligent & Robotic Systems
20 Acta Informatica
20 Journal of Mathematical Psychology
20 Formal Methods in System Design
19 SIAM Journal on Computing
19 Cybernetics and Systems
19 International Journal of Production Research
19 Formal Aspects of Computing
19 Journal of Heuristics
19 INFORMS Journal on Computing
19 Logica Universalis
18 Mathematical and Computer Modelling
18 Journal of Computer and Systems Sciences International
18 Journal of Combinatorial Optimization
18 Computational Intelligence
18 Games
17 Applied Intelligence
17 Journal of Scheduling
16 Biological Cybernetics
16 International Journal of Systems Science
16 Discrete Event Dynamic Systems
16 RAIRO. Operations Research
16 Fuzzy Optimization and Decision Making
15 Notre Dame Journal of Formal Logic
15 Cybernetics and Systems Analysis
15 Journal of Theoretical Biology
14 Operations Research
14 AI Communications
14 The Journal of Logic and Algebraic Programming
14 Discrete Optimization
14 New Mathematics and Natural Computation
14 Computational & Mathematical Methods in Medicine
14 Frontiers of Computer Science
13 Discrete Mathematics
13 Journal of Mathematical Analysis and Applications
13 Mathematics and Computers in Simulation
12 The Annals of Statistics
12 Artificial Intelligence Review
12 Mathematical Programming. Series A. Series B
...and 444 more Journals
all top 5

Cited in 60 Fields

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

Citations by Year