Found 278 Documents (Results 1–100)
Robust data sampling in machine learning: a game-theoretic framework for training and validation data selection. (English) Zbl 07865416
On graphs that contain exactly \(k\) copies of a subgraph, and a related problem in search theory. (English) Zbl 1526.05072
Heterogeneous reputation promotes cooperation in spatial public goods game. (English) Zbl 1535.81055
The search and rescue game on a cycle. (English) Zbl 07699971
MSC:
68Qxx
Controller synthesis for timeline-based games. (English) Zbl 1530.68238
Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 131-146 (2022).
Explanation of pseudo-Boolean functions using cooperative game theory and prime implicants. (English) Zbl 1524.68252
Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 295-308 (2022).
Solving multiobjective optimisation problems using genetic algorithms and solutions concepts of cooperative games. (English) Zbl 1506.90242
The eigen-distribution for multi-branching weighted trees on independent distributions. (English) Zbl 07536586
A game theoretical approach for VLSI physical design placement. (English) Zbl 1497.90230
Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the 12th international workshop on computational optimization (WCO), Leipzig, Germany, September 1–4, 2019. Cham: Springer. Stud. Comput. Intell. 920, 149-172 (2021).
Evolutionary equilibrium analysis for decision on block size in blockchain systems. (English) Zbl 07550523
Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 180-194 (2021).
On various open-end bin packing game. (English) Zbl 07550516
Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 86-95 (2021).
Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. (English) Zbl 1507.91003
Lecture Notes in Computer Science 13023. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-030-87755-2/pbk; 978-3-030-87756-9/ebook). xix, 441 p. (2021).
On satisficing in quantitative games. (English) Zbl 1467.68161
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).
A sufficient statistic for influence in structured multiagent environments. (English) Zbl 1512.68390
Artificial intelligence for games. (English) Zbl 07910879
Marquis, Pierre (ed.) et al., A guided tour of artificial intelligence research. Volume II. AI algorithms. Cham: Springer. 313-337 (2020).
Fractional maker-breaker resolving game. (English) Zbl 07666375
Wu, Weili (ed.) et al., Combinatorial optimization and applications. 14th international conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12577, 577-593 (2020).
Partially observable stochastic games for cyber deception against network epidemic. (English) Zbl 1483.68051
Zhu, Quanyan (ed.) et al., Decision and game theory for security. 11th international conference, GameSec 2020, College Park, MD, USA, October 28–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12513, 312-325 (2020).
Bilevel models for investment policy in resource-rich regions. (English) Zbl 1458.91161
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1275, 36-50 (2020).
Verifying the gaming strategy of self-learning game by using PRISM-games. (English) Zbl 1458.68189
Vasant, Pandian (ed.) et al., Intelligent computing and optimization. Proceedings of the 2nd international conference on intelligent computing and optimization 2019 (ICO 2019), Koh Samui, Thailand, October 3–4, 2019. Cham: Springer. Adv. Intell. Syst. Comput. 1072, 148-159 (2020).
How to play hot and cold. (English) Zbl 1433.68112
Analysis of Hannan consistent selection for Monte Carlo tree search in simultaneous move games. (English) Zbl 1440.68219
Algorithmic decision theory. 6th international conference, ADT 2019, Durham, NC, USA, October 25–27, 2019. Proceedings. (English) Zbl 1429.91008
Lecture Notes in Computer Science 11834. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-030-31488-0/pbk; 978-3-030-31489-7/ebook). viii, 181 p. (2019).
The spread of strategies predicted by artificial intelligence in networks. (English) Zbl 1403.68303
Chen, Zengqiang (ed.) et al., Modern and interdisciplinary problems in network science. A translational research perspective. Boca Raton, FL: CRC Press (ISBN 978-0-8153-7658-3/hbk; 978-1-351-23729-1/ebook). 1-27 (2019).
Modern and interdisciplinary problems in network science. A translational research perspective. (English) Zbl 1400.68007
Boca Raton, FL: CRC Press (ISBN 978-0-8153-7658-3/hbk; 978-1-351-23729-1/ebook). x, 290 p. (2019).
A game-theoretic approach to timeline-based planning with uncertainty. (English) Zbl 1487.68213
Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 13, 17 p. (2018).
A comparison of BDD-based parity game solvers. (English) Zbl 1528.68235
Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 103-117 (2018).
Solving QBF by abstraction. (English) Zbl 1528.68223
Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 88-102 (2018).
Establishing rational networking using the DL04 quantum secure direct communication protocol. (English) Zbl 1448.81169
Analytical complexity and errors of solving control problems for organizational and technical systems. (English. Russian original) Zbl 1400.93233
Autom. Remote Control 79, No. 5, 860-869 (2018); translation from Avtom. Telemekh. 2018, No. 5, 107-118 (2018).
Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4. (English) Zbl 1408.68139
Reviewer: Jānis Cīrulis (Riga)
On the speed of constraint propagation and the time complexity of arc consistency testing. (English) Zbl 1378.68059
Conditional simple temporal networks with uncertainty and decisions. (English) Zbl 1515.68294
Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 23, 17 p. (2017).
MSC:
68T20
3D integrated circuits layout optimization game. (English) Zbl 1486.68212
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 16th international conference, ICAISC 2017, Zakopane, Poland, June 11–15, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10246, 444-453 (2017).
The eigen-distribution of weighted game trees. (English) Zbl 1470.68049
Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10627, 286-297 (2017).
How to play hot and cold on a line. (English) Zbl 1491.68055
Ellen, Faith (ed.) et al., Algorithms and data structures. 15th international symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10389, 449-460 (2017).
Local max-cut in smoothed polynomial time. (English) Zbl 1369.68226
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 429-437 (2017).
Twenty (simple) questions. (English) Zbl 1370.68085
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 9-21 (2017).
Convergence proof of an enhanced particle swarm optimisation method integrated with evolutionary game theory. (English) Zbl 1398.68496
Towards better models of externalities in sponsored search auctions. (English) Zbl 1396.91243
Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 1167-1175 (2016).
Modeling bounded rationality for sponsored search auctions. (English) Zbl 1396.91278
Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 515-523 (2016).
The expanding search ratio of a graph. (English) Zbl 1388.68207
Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 9, 14 p. (2016).
The computational power of optimization in online learning. (English) Zbl 1373.68456
Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 128-141 (2016).
Game evolutionary algorithm based on behavioral game theory. (Chinese. English summary) Zbl 1374.68445
Computers and games. 9th international conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016. Revised selected papers. (English) Zbl 1352.68015
Lecture Notes in Computer Science 10068. Cham: Springer (ISBN 978-3-319-50934-1/pbk; 978-3-319-50935-8/ebook). xx, 225 p. (2016).
Comparing human behavior models in repeated Stackelberg security games: an extended study. (English) Zbl 1390.91079
The performance profile: a multi-criteria performance evaluation method for test-based problems. (English) Zbl 1336.68235
Using patterns in computer Go. (English) Zbl 1436.68327
Kryszkiewicz, Marzena (ed.) et al., Pattern recognition and machine intelligence. 6th international conference, PReMI 2015, Warsaw, Poland, June 30 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9124, 565-574 (2015).
Complexity bounds for sum-product logic via additive proof nets and Petri nets. (English) Zbl 1394.68251
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 80-91 (2015).
Randomized adaptive test cover. (English) Zbl 1353.68256
Paschos, Vangelis Th. (ed.) et al., Algorithms and complexity. 9th international conference, CIAC 2015, Paris, France, May 20–22, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-18172-1/pbk; 978-3-319-18173-8/ebook). Lecture Notes in Computer Science 9079, 182-193 (2015).
The impact of communication patterns on distributed self-adjusting binary search trees. (English) Zbl 1432.68105
Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 9th international workshop, WALCOM 2015, Dhaka, Bangladesh, February 26–28, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8973, 175-186 (2015).
Simulation of action theories and an application to general game-playing robots. (English) Zbl 1432.68421
Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 33-46 (2015).
Analyzing simulations in Monte-Carlo tree search for the game of Go. (English) Zbl 1437.91006
Herik, Jaap (ed.) et al., Computers and games. 8th international conference, CG 2013, Yokohama, Japan, August 13–15, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8427, 72-83 (2014).
MoHex 2.0: a pattern-based MCTS hex player. (English) Zbl 1443.91079
Herik, Jaap (ed.) et al., Computers and games. 8th international conference, CG 2013, Yokohama, Japan, August 13–15, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8427, 60-71 (2014).
Investigating the limits of Monte-Carlo tree search methods in computer Go. (English) Zbl 1437.91008
Herik, Jaap (ed.) et al., Computers and games. 8th international conference, CG 2013, Yokohama, Japan, August 13–15, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8427, 39-48 (2014).
Efficiency of static knowledge bias in Monte-Carlo tree search. (English) Zbl 1437.91009
Herik, Jaap (ed.) et al., Computers and games. 8th international conference, CG 2013, Yokohama, Japan, August 13–15, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8427, 26-38 (2014).
On semeai detection in Monte-Carlo Go. (English) Zbl 1437.91007
Herik, Jaap (ed.) et al., Computers and games. 8th international conference, CG 2013, Yokohama, Japan, August 13–15, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8427, 14-25 (2014).
Dependency-based search for Connect6. (English) Zbl 1437.91010
Herik, Jaap (ed.) et al., Computers and games. 8th international conference, CG 2013, Yokohama, Japan, August 13–15, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8427, 1-13 (2014).
Computers and games. 8th international conference, CG 2013, Yokohama, Japan, August 13–15, 2013. Revised selected papers. (English) Zbl 1318.68021
Lecture Notes in Computer Science 8427. Cham: Springer (ISBN 978-3-319-09164-8/pbk; 978-3-319-09165-5/ebook). xx, 257 p. (2014).
Bandwidth scheduling of a networked learning control system using particle swarm optimization and the game theory. (Chinese. English summary) Zbl 1324.68126
An organization method for port logistics chain’s cloud service based on cooperative game theory. (Chinese. English summary) Zbl 1313.68005
Screening and hiding versus search. (English) Zbl 1314.91041
Reviewer: Alexander Guterman (Moskva)
Information capture and reuse strategies in Monte Carlo Tree Search, with applications to games of hidden information. (English) Zbl 1405.68328
Playing with complexity: from cellular evolutionary algorithms with coalitions to self-organizing maps. (English) Zbl 1367.68260
Firefighting with general weights. (English) Zbl 1305.05218
Nešetřil, Jaroslav (ed.) et al., The seventh European conference on combinatorics, graph theory and applications. Extended abstracts of EuroComb 2013, Pisa, Italy, September 9–13, 2013. Pisa: Edizioni della Normale (ISBN 978-88-7642-474-8/pbk; 978-88-7642-475-5/ebook). Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series 16, 619-620 (2013).
Reviewer: Sanming Zhou (Parkville)
Remarks on history and presence of game tree search and research. (English) Zbl 1309.68170
Aydinian, Harout (ed.) et al., Information theory, combinatorics, and search theory. In memory of Rudolf Ahlswede. Berlin: Springer (ISBN 978-3-642-36898-1/pbk). Lecture Notes in Computer Science 7777, 677-693 (2013).
Filter Results by …
Document Type
- Journal Articles (160)
- Collection Articles (89)
- Books (29)
all
top 5
Author
- van den Herik, H. Jaap (9)
- Althöfer, Ingo (5)
- Iida, Hiroyuki (5)
- Müller, Martin (5)
- Pearl, Judea (5)
- Langetepe, Elmar (4)
- Lidbetter, Thomas F. (4)
- Nau, Dana S. (4)
- Plaat, Aske (4)
- Schaffer, Jonathan (4)
- Tanaka, Kazuyuki (4)
- Uiterwijk, Jos W. H. M. (4)
- Ahlswede, Rudolf (3)
- Björnsson, Yngvi (3)
- Cazenave, Tristan (3)
- Damaschke, Peter (3)
- Gigante, Nicola (3)
- Montanari, Angelo (3)
- Peng, Weiguang (3)
- van Rijswijck, Jack (3)
- Winands, Mark H. M. (3)
- Zavatteri, Matteo (3)
- Angelopoulos, Spyros (2)
- Baum, Eric B. (2)
- Berkholz, Christoph (2)
- Bistarelli, Stefano (2)
- Bouzy, Bruno (2)
- Bratko, Ivan (2)
- Buro, Michael (2)
- Cai, Ning (2)
- Chatterjee, Krishnendu (2)
- Cheng, Yukun (2)
- Gams, Matjaz (2)
- Gosti, Giorgio (2)
- Havel, Ivan M. (2)
- Haverkort, Herman J. (2)
- Hayward, Ryan B. (2)
- Huang, Shih-Chieh (2)
- Jain, Lakhmi C. (2)
- Jaśkowski, Wojciech (2)
- Kaindl, Hermann (2)
- Krawiec, Krzysztof (2)
- Kübel, David (2)
- Li, Wenjuan (2)
- Lisý, Viliam (2)
- Lorenz, Ulf (2)
- Luštrek, Mitja (2)
- Mansour, Yishay (2)
- Marsland, T. Anthony (2)
- Orlandini, Andrea (2)
- Peng, NingNing (2)
- Piette, Éric (2)
- Reynolds, Mark Alexander (2)
- Schwarzwald, Barbara (2)
- Sterling, Leon S. (2)
- Suzuki, Toshio (2)
- Szubert, Marcin (2)
- Wooldridge, Michael J. (2)
- Zhang, Yanjun (2)
- Acampora, Renato (1)
- Ahlroth, Lauri (1)
- Aigner, Martin (1)
- Allis, L. Victor (1)
- Alon, Noga (1)
- Alpern, Steve (1)
- Alsmeyer, Gerold (1)
- Amos, Martyn (1)
- An, Bo (1)
- Angel, Omer (1)
- Arneson, Broderick (1)
- Arnon, Asaph (1)
- Atserias, Albert (1)
- Aziz, Haris (1)
- Baba, Norio (1)
- Bagchi, Amitava (1)
- Baier, Hendrik (1)
- Bansal, Suguman (1)
- Barzilay, Regina (1)
- Basin, D. (1)
- Basin, David A. (1)
- Baudet, Gerard M. (1)
- Ben Larbi, Ramzi (1)
- Berciu, Radu M. (1)
- Bhattacharya, Subir (1)
- Bi, Yan (1)
- Bienstock, Daniel (1)
- Billings, Darse (1)
- Bloem, Roderick (1)
- Böhm, Martin (1)
- Böhm, Max (1)
- Boldea, Costin-Radu (1)
- Bošanský, Branislav (1)
- Bouvry, Pascal (1)
- Branavan, S. R. K. (1)
- Braun, Pirmin (1)
- Brešar, Boštjan (1)
- Brockington, Mark G. (1)
- Broder, Andrei Z. (1)
- Browne, Cameron J. (1)
- Bubeck, Sébastien (1)
- and 421 more Authors
all
top 5
Serial
- Artif. Intell. (33)
- Theor. Comput. Sci. (19)
- Lect. Notes Comput. Sci. (8)
- Inf. Sci. (6)
- J. Artif. Intell. Res. (JAIR) (6)
- Discrete Appl. Math. (5)
- J. Algorithms (5)
- Inf. Process. Lett. (3)
- Phys. Lett., A (3)
- J. Assoc. Comput. Mach. (3)
- J. Comput. Syst. Sci. (2)
- SIAM J. Comput. (2)
- Ann. Pure Appl. Logic (2)
- SIAM J. Discrete Math. (2)
- J. Parallel Distrib. Comput. (2)
- IEEE Trans. Pattern Anal. Mach. Intell. (2)
- Trans. Inf. Process. Soc. Japan (2)
- Constraints (2)
- Theory Comput. Syst. (2)
- Soft Comput. (2)
- Fundam. Inform. (2)
- Acta Inf. (1)
- Comput. Math. Appl. (1)
- Int. J. Theor. Phys. (1)
- J. Math. Phys. (1)
- Chaos Solitons Fractals (1)
- Dokl., Akad. Nauk Arm. SSR (1)
- Ann. Japan Assoc. Philos. Sci. (1)
- Control Cybern. (1)
- Int. J. Comput. Inform. Sci. (1)
- J. Appl. Probab. (1)
- Metroeconomica (1)
- SIAM J. Control Optim. (1)
- J. Log. Program. (1)
- J. Symb. Comput. (1)
- Algorithmica (1)
- Int. J. Approx. Reasoning (1)
- J. Tsinghua Univ., Sci. Technol. (1)
- Neural Netw. (1)
- Mach. Learn. (1)
- Int. J. Comput. Geom. Appl. (1)
- Comput. Geom. (1)
- Int. J. Found. Comput. Sci. (1)
- Autom. Remote Control (1)
- Commun. ACM (1)
- Eur. J. Oper. Res. (1)
- Vestn. St. Petersbg. Univ., Math. (1)
- Comput. Econ. (1)
- J. Huazhong Univ. Sci. Technol. (1)
- Comput. Appl. Math. (1)
- Math. Log. Q. (1)
- An. Univ. Craiova, Ser. Mat. Inf. (1)
- Ann. Math. Artif. Intell. (1)
- Math. Methods Oper. Res. (1)
- J. Sched. (1)
- J. ACM (1)
- Wuhan Univ. J. Nat. Sci. (1)
- Int. J. Appl. Math. Comput. Sci. (1)
- Probab. Eng. Inf. Sci. (1)
- Methodol. Comput. Appl. Probab. (1)
- J. Univ. Sci. Technol. Beijing (Chin. Ed.) (1)
- J. Northwest Norm. Univ., Nat. Sci. (1)
- J. Mach. Learn. Res. (1)
- Nat. Comput. (1)
- Quantum Inf. Process. (1)
- J. Univ. Sci. Technol. China (1)
- Int. J. Quantum Inf. (1)
- Theory Decis. Libr., Ser. C: Game Theory Math. Program. Oper. Res. (1)
- Stud. Comput. Intell. (1)
- J. Phys. A, Math. Theor. (1)
- Log. Methods Comput. Sci. (1)
- Science (1)
- Commun. Theor. Phys. (1)
- Creat. Math. Inform. (1)
- Acta Univ. Sapientiae, Inform. (1)
- World Sci.-Nobel Laureate Ser. (1)
- Intell. Syst. Ref. Libr. (1)
- ACM Trans. Algorithms (1)
- Games (1)
- Synth. Lect. Artif. Intell. Mach. Learn. (1)
- Int. J. Syst. Sci., Princ. Appl. Syst. Integr. (1)
- Monogr. Theoret. Comput. Sci., EATCS Ser. (1)
- Adv. Inf. Knowl. Process. (1)
- SN Oper. Res. Forum (1)
- IFIP, Int. Fed. Inf. Process. (1)
- Res. Notes Artif. Intell. (1)
all
top 5
Year of Publication
- 2024 (2)
- 2023 (5)
- 2022 (8)
- 2021 (7)
- 2020 (13)
- 2019 (5)
- 2018 (10)
- 2017 (10)
- 2016 (14)
- 2015 (8)
- 2014 (13)
- 2013 (6)
- 2012 (9)
- 2011 (9)
- 2010 (6)
- 2009 (9)
- 2008 (8)
- 2007 (9)
- 2006 (5)
- 2005 (7)
- 2004 (8)
- 2003 (7)
- 2002 (16)
- 2001 (12)
- 2000 (3)
- 1999 (2)
- 1998 (2)
- 1997 (5)
- 1996 (4)
- 1995 (5)
- 1994 (2)
- 1993 (4)
- 1991 (4)
- 1990 (5)
- 1989 (6)
- 1988 (4)
- 1987 (2)
- 1986 (3)
- 1984 (1)
- 1983 (6)
- 1982 (4)
- 1980 (4)
- 1979 (3)
- 1978 (2)
- 1977 (1)
all
top 3
Software
- GDL (3)
- AlphaZero (2)
- GIB (2)
- GitHub (2)
- Libratus (2)
- MoHex (2)
- PDDL (2)
- PRMLT (2)
- ACTS (1)
- AIMMS (1)
- AdaBoost.MH (1)
- CBMC (1)
- CPLEX (1)
- CUDD (1)
- CVIPtools (1)
- CodeSurfer (1)
- DIMACS (1)
- DeepStack (1)
- GAME-HDL (1)
- GOLOG (1)
- GTGolog (1)
- Gambit (1)
- Genocop (1)
- Globus Toolkit (1)
- JCell (1)
- JGAP (1)
- Lua (1)
- MCQueue (1)
- MCTS-Solver (1)
- MPI/MPICH (1)
- Mathematica (1)
- PMTK (1)
- POGTGolog (1)
- PRISM (1)
- PRISM-games (1)
- PRTools (1)
- PVM (1)
- PYTHON (1)
- SAS (1)
- SIMSCRIPT (1)
- SNDlib (1)
- SPLIDA (1)
- Smodels (1)
- TSPLIB (1)
- Tabu search (1)
- UPPAAL TIGA (1)
- VIS (1)
- plasp (1)
- shap (1)
