AI CommunicationsThe European Journal on Artificial Intelligence Short Title: AI Commun. Publisher: IOS Press, Amsterdam ISSN: 0921-7126; 1875-8452/e Online: http://www.iospress.nl/journal/ai-communications/ Comments: Journal Documents Indexed: 265 Publications (since 1996) References Indexed: 34 Publications with 1,307 References. all top 5 Latest Issues 36, No. 2 (2023) 35, No. 3 (2022) 35, No. 2 (2022) 35, No. 1 (2022) 34, No. 4 (2021) 34, No. 3 (2021) 34, No. 2 (2021) 33, No. 1 (2020) 32, No. 5-6 (2019) 32, No. 4 (2019) 32, No. 3 (2019) 32, No. 2 (2019) 32, No. 1 (2019) 31, No. 6 (2018) 31, No. 5 (2018) 31, No. 4 (2018) 31, No. 3 (2018) 31, No. 2 (2018) 30, No. 6 (2017) 30, No. 5 (2017) 30, No. 1 (2017) 29, No. 5 (2016) 29, No. 4 (2016) 29, No. 3 (2016) 29, No. 2 (2016) 29, No. 1 (2016) 28, No. 4 (2015) 28, No. 3 (2015) 28, No. 2 (2015) 28, No. 1 (2015) 27, No. 4 (2014) 27, No. 3 (2014) 27, No. 2 (2014) 26, No. 4 (2013) 26, No. 2 (2013) 26, No. 1 (2013) 25, No. 4 (2012) 25, No. 3 (2012) 25, No. 2 (2012) 24, No. 4 (2011) 24, No. 2 (2011) 24, No. 1 (2011) 23, No. 4 (2010) 23, No. 2-3 (2010) 23, No. 1 (2010) 22, No. 4 (2009) 22, No. 3 (2009) 22, No. 2 (2009) 22, No. 1 (2009) 21, No. 4 (2008) 21, No. 2-3 (2008) 21, No. 1 (2008) 20, No. 4 (2007) 20, No. 3 (2007) 20, No. 2 (2007) 20, No. 1 (2007) 19, No. 4 (2006) 19, No. 3 (2006) 19, No. 2 (2006) 19, No. 1 (2006) 18, No. 4 (2005) 18, No. 2 (2005) 18, No. 1 (2005) 17, No. 4 (2004) 17, No. 3 (2004) 17, No. 2 (2004) 17, No. 1 (2004) 16, No. 3 (2003) 16, No. 2 (2003) 16, No. 1 (2002) 15, No. 2-3 (2002) 15, No. 1 (2002) 14, No. 4 (2001) 14, No. 3 (2001) 14, No. 2 (2001) 14, No. 1 (2001) 13, No. 4 (2000) 9, No. 3 (1996) 9, No. 2 (1996) all top 5 Authors 14 Sutcliffe, Geoff 6 Borrajo, Daniel 6 Torasso, Pietro 5 Felner, Ariel 5 Torta, Gianluca 4 Lynce, Inês 4 Marques-Silva, João P. 4 Pulina, Luca 3 Cortés, Ulises 3 Greco, Sergio 3 Ianni, Giovambattista 3 Leone, Nicola 3 Maratea, Marco 3 Mukhopadhyay, Snehasis 3 Oddi, Angelo 3 Policella, Nicola 3 Rosaci, Domenico 3 Salles, Paulo 3 Sànchez-Marrè, Miquel 3 Tacchella, Armando 3 Urban, Josef 3 Vázquez-Salceda, Javier 3 Wotawa, Franz 2 Afrati, Foto N. 2 Aler, Ricardo 2 Alviano, Mario 2 Annicchiarico, Roberta 2 Badaloni, Silvana 2 Balduccini, Marcello 2 Ben-Eliyahu-Zohary, Rachel 2 Bredeweg, Bert 2 Calimeri, Francesco 2 Comas, Joaquim 2 Console, Luca 2 De La Rosa, Tomás 2 Desharnais, Martin 2 Faber, Wolfgang 2 Fuentetaja, Raquel 2 Gebser, Martin 2 Gent, Ian Philip 2 González Rodríguez, Inés 2 Greco, Gianluigi 2 Guzzo, Antonella 2 Hamzeh, Ali 2 Hashemi, Sattar 2 Hustadt, Ullrich 2 Lamperti, Gianfranco 2 Ligozat, Gérard 2 Mancini, Toni 2 Micalizio, Roberto 2 Molina, José Manuel 2 Moreno, Antonio J. 2 Morgado, António 2 Nguyen, Thanh M. 2 Nieuwenhuis, Robert 2 Nightingale, Peter W. 2 Onaindia, Eva 2 Ouyang, Dantong 2 Prade, Henri M. 2 R.-Roda, Ignasi 2 Ricca, Francesco 2 Ruml, Wheeler 2 Sanchez, David A. 2 Schaub, Torsten H. 2 Schulz, Stephan 2 Smith, Stephen F. 2 Sturtevant, Nathan R. 2 Suttner, Christian B. 2 Torre, Ilaria 2 Ursino, Domenico 2 Varela, Ramiro 2 Vela, Camino R. 2 Wallace, Richard J. 2 Zhao, Xiangfu 2 Zhao, Xishun 1 Abdallah, Nada 1 Abraham, Ajith 1 Acar, Erman 1 Aćimović-Raspopović, Vladanka S. 1 Afanador, Juan 1 Aggoune-Mtalaa, Wassila 1 Aha, David W. 1 Aiken, Jim 1 Alizadeh, Pegah 1 Alsinet, Teresa 1 Alvari, Hamidreza 1 Alvisi, Stefano 1 Amandi, Analía 1 Amroun, Kamal 1 Anai, Hirokazu 1 Angiulli, Fabrizio 1 Anselma, Luca 1 Arai, Noriko H. 1 Arch-Int, Ngamnij 1 Arch-Int, Somjit 1 Ardissono, Liliana 1 Armengol, Joaquim 1 Asín Achá, Roberto 1 Asín, Achá Roberto 1 Asín, Roberto ...and 495 more Authors all top 5 Fields 248 Computer science (68-XX) 30 Operations research, mathematical programming (90-XX) 12 General and overarching topics; collections (00-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Mathematical logic and foundations (03-XX) 5 Biology and other natural sciences (92-XX) 5 Systems theory; control (93-XX) 3 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 121 Publications have been cited 698 times in 574 Documents Cited by ▼ Year ▼ E – a brainiac theorem prover. Zbl 1020.68084 Schulz, Stephan 94 2002 The design and implementation of VAMPIRE. Zbl 1021.68082 Riazanov, Alexandre; Voronkov, Andrei 78 2002 Potassco: the Potsdam answer set solving collection. Zbl 1215.68214 Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius 63 2011 Towards efficient MUS extraction. Zbl 1248.68450 Belov, Anton; Lynce, Inês; Marques-Silva, Joao 21 2012 The state of CASC. Zbl 1112.68464 Sutcliffe, Geoff; Suttner, Christian 17 2006 Restricting backtracking in connection calculi. Zbl 1205.68363 Otten, Jens 15 2010 Algorithms for computing backbones of propositional formulae. Zbl 1373.68379 Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao 14 2015 How to share knowledge by gossiping. Zbl 1373.68392 Herzig, Andreas; Maffre, Faustine 13 2017 The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433 Sutcliffe, Geoff 11 2019 The development of CASC. Zbl 1019.68101 Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian 10 2002 Finding the most prominent group in complex networks. Zbl 1189.68087 Puzis, Rami; Elovici, Yuval; Dolev, Shlomi 10 2007 Implementing a fair monodic temporal logic prover. Zbl 1206.68283 Ludwig, Michel; Hustadt, Ullrich 10 2010 A phytography of WALDMEISTER. Zbl 1021.68083 Löchner, Bernd; Hillenbrand, Thomas 8 2002 Evaluating and certifying QBFs: a comparison of state-of-the-art tools. Zbl 1186.68440 Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando 8 2009 An incremental answer set programming based system for finite model computation. Zbl 1215.68209 Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten 8 2011 Interactive verification of concurrent systems using symbolic execution. Zbl 1205.68217 Bäumler, Simon; Balser, Michael; Nafz, Florian; Reif, Wolfgang; Schellhorn, Gerhard 8 2010 The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367 Sutcliffe, Geoff 7 2016 A note on the utility of incremental learning. Zbl 0967.68087 Giraud-Carrier, Christophe 7 2000 Combining approaches for solving satisfiability problems with qualitative preferences. Zbl 1296.68164 Di Rosa, Emanuele; Giunchiglia, Enrico 7 2013 Extracting symbolic rules from trained neural network ensembles. Zbl 1102.68609 Zhou, Zhi-Hua; Jiang, Yuan; Chen, Shi-Fu 7 2002 Heuristics for dynamically adapting propagation in constraint satisfaction problems. Zbl 1185.90191 Stergiou, Kostas 7 2009 Hierarchical invention of theorem proving strategies. Zbl 1462.68213 Jakubův, Jan; Urban, Josef 7 2018 From precedence constraint posting to partial order schedules. A CSP approach to robust scheduling. Zbl 1146.90421 Policella, Nicola; Cesta, Amedeo; Oddi, Angelo; Smith, Stephen F. 7 2007 Search in the patience game ‘Black Hole’. Zbl 1151.90525 Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan 7 2007 On-line monitoring and diagnosis of a team of service robots: a model-based approach. Zbl 1127.68444 Micalizio, Roberto; Torasso, Pietro; Torta, Gianluca 7 2006 Construction of Boolean contact algebras. Zbl 1070.03042 Düntsch, Ivo; Winter, Michael 6 2004 The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220 Sutcliffe, Geoff 6 2018 Symmetry-breaking answer set solving. Zbl 1215.68212 Drescher, Christian; Tifrea, Oana; Walsh, Toby 6 2011 The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220 Sutcliffe, Geoff 6 2010 SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362 Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver 6 2010 An application of automated reasoning in natural language question answering. Zbl 1205.68360 Furbach, Ulrich; Glöckner, Ingo; Pelzer, Björn 6 2010 Function variables for constraint programming. Zbl 1159.68390 Hnich, Brahim 6 2003 Solving permutation flowshop scheduling problems with a discrete differential evolution algorithm. Zbl 1373.68385 Santucci, Valentino; Baioletti, Marco; Milani, Alfredo 5 2016 Rota: A research project on algorithms for workforce scheduling and shift design optimization. Zbl 0995.68009 Gärtner, Johannes; Musliu, Nysret; Slany, Wolfgang 5 2001 A weighted CSP approach to cost-optimal planning. Zbl 1233.68205 Cooper, Martin C.; De Roquemaurel, Marie; Régnier, Pierre 5 2011 Anytime AND/OR depth-first search for combinatorial optimization. Zbl 1250.90075 Otten, Lars; Dechter, Rina 5 2012 A clustering coefficient for weighted networks, with application to gene expression data. Zbl 1189.68084 Kalna, Gabriela; Higham, Desmond J. 5 2007 Routing and wavelength assignment in all-optical networks based on the bee colony optimization. Zbl 1185.90174 Marković, Goran Z.; Teodorović, Dušan B.; Aćimović-Raspopović, Vladanka S. 5 2007 Representation and monitoring of commitments and norms using OWL. Zbl 1216.68283 Fornara, Nicoletta; Colombetti, Marco 5 2010 Learning and using domain-specific heuristics in ASP solvers. Zbl 1215.68207 Balduccini, Marcello 5 2011 Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results. Zbl 1143.68545 Khatib, Lina; Morris, Paul; Morris, Robert; Rossi, Francesca; Sperduti, Alessandro; Venable, K. Brent 5 2007 The CADE-21 automated theorem proving system competition. Zbl 1147.68699 Sutcliffe, Geoff 5 2008 Subterm contextual rewriting. Zbl 1206.68164 Weidenbach, Christoph; Wischnewski, Patrick 5 2010 Automated theorem proving in quasigroup and loop theory. Zbl 1204.68181 Phillips, J. D.; Stanovský, David 5 2010 Neighbourhood SAC: extensions and new algorithms. Zbl 1373.68388 Wallace, Richard J. 4 2016 On stability and convergence of the population-dynamics in differential evolution. Zbl 1200.68185 Dasgupta, Sambarta; Das, Swagatam; Biswas, Arijit; Abraham, Ajith 4 2009 OMBO: An opponent modeling approach. Zbl 1200.68246 Ledezma, Agapito; Aler, Ricardo; Sanchis, Araceli; Borrajo, Daniel 4 2009 Verifying agents with memory is harder than it seemed. Zbl 1216.68257 Bulling, Nils; Jamroga, Wojciech 4 2010 Dynamic magic sets and super-coherent answer set programs. Zbl 1215.68211 Alviano, Mario; Faber, Wolfgang 4 2011 An advanced scatter search algorithm for solving job shops with sequence dependent and non-anticipatory setups. Zbl 1373.68376 González, Miguel A.; Vela, Camino R.; Varela, Ramiro; González-Rodríguez, Inés 3 2015 MaxSAT-based encodings for Group MaxSAT. Zbl 1373.68377 Heras, Federico; Morgado, Antonio; Marques-Silva, Joao 3 2015 SAC and neighbourhood SAC. Zbl 1373.68387 Wallace, Richard J. 3 2015 Integrating argumentation and sentiment analysis for mining opinions from Twitter. Zbl 1373.68322 Grosse, Kathrin; González, María P.; Chesñevar, Carlos I.; Maguitman, Ana G. 3 2015 Optimally solving permutation sorting problems with efficient partial expansion bidirectional heuristic search. Zbl 1373.68204 Lippi, Marco; Ernandes, Marco; Felner, Ariel 3 2016 A compressed generalized hypertree decomposition-based solving technique for non-binary constraint satisfaction problems. Zbl 1373.68369 Amroun, Kamal; Habbas, Zineb; Aggoune-Mtalaa, Wassila 3 2016 Quantitative disjunctive logic programming: Semantics and computation. Zbl 0967.68030 Mateis, Cristinel 3 2000 Using AI and machine learning to study expressive music performance: Project survey and first report. Zbl 0984.68537 Widmer, Gerhard 3 2001 A backjumping technique for disjunctive logic programming. Zbl 1102.68433 Ricca, Francesco; Faber, Wolfgang; Leone, Nicola 3 2006 Template programs for disjunctive logic programming: an operational semantics. Zbl 1104.68009 Calimeri, Francesco; Ianni, Giovambattista 3 2006 Integrating quantitative and qualitative fuzzy temporal constraints. Zbl 1098.68101 Badaloni, Silvana; Falda, Marco; Giacomin, Massimiliano 3 2004 Scheduling with uncertainty: a proactive approach using partial order schedules. Zbl 1161.68366 Policella, Nicola 3 2005 Feature ranking in rough sets. Zbl 1089.68644 Hu, Keyun; Lu, Yuchang; Shi, Chunyi 3 2002 Challenging SMT solvers to verify neural networks. Zbl 1248.68462 Pulina, Luca; Tacchella, Armando 3 2012 Finitely recursive programs: decidability and bottom-up computation. Zbl 1235.68223 Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola 3 2011 Duplication monotonicity in the allocation of indivisible goods. Zbl 1464.91055 Kuckuck, Benno; Rothe, Jörg 3 2019 Generalized learning automata for multi-agent reinforcement learning. Zbl 1216.68229 de Hauwere, Yann-Michaël; Vrancx, Peter; Nowé, Ann 3 2010 A logical characterisation of ordered disjunction. Zbl 1218.68069 Cabalar, Pedro 3 2011 CTL-RP: A computation tree logic resolution prover. Zbl 1205.68365 Zhang, Lan; Hustadt, Ullrich; Dixon, Clare 3 2010 On the role of modeling causal independence for system model compilation with OBDDs. Zbl 1127.68077 Torta, Gianluca; Torasso, Pietro 3 2007 The 10th IJCAR automated theorem proving system competition – CASC-J10. Zbl 1485.68287 Sutcliffe, Geoff 3 2021 Verification of partial designs using incremental QBF. Zbl 1373.68382 Miller, Christian; Marin, Paolo; Becker, Bernd 2 2015 Strong and weak points of the MUSCADET theorem prover – examples from CASC-JC. Zbl 1019.68102 Pastre, Dominique 2 2002 Approximating most specific concepts in description logics with existential restrictions. Zbl 1013.68218 Küsters, Ralf; Molitor, Ralf 2 2002 Complexity results for restricted credulous default reasoning. Zbl 0967.68132 Zhao, Xishun; Ding, Decheng; Kleine Büning, Hans 2 2000 The role of norms and electronic institutions in multi-agent systems applied to complex domains. The HARMON\(IA\) framework. Zbl 1083.68609 Vázquez-Salceda, Javier 2 2003 The CADE-28 automated theorem proving system competition – CASC-28. Zbl 1487.68249 Sutcliffe, Geoff; Desharnais, Martin 2 2021 Towards a theory of random walk planning: regress factors, fair homogeneous graphs and extensions. Zbl 1338.68245 Nakhost, Hootan; Müller, Martin 2 2014 LRBNN: a lazy radial basis neural network model. Zbl 1129.68068 Valls, José M.; Galván, Inés M.; Isasi, Pedro 2 2007 Large theory reasoning with SUMO at CASC. Zbl 1344.68229 Pease, Adam; Sutcliffe, Geoff; Siegel, Nick; Trac, Steven 2 2010 Practical algorithms for unsatisfiability proof and core generation in SAT solvers. Zbl 1208.68195 Asín Achá, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric 2 2010 Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic \({\mathcal{SHQ}}\). Zbl 1205.68404 Farsiniamarj, Nasim; Haarslev, Volker 2 2010 Scheduling countermeasures to contamination events by genetic algorithms. Zbl 1373.68374 Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Alvisi, Stefano; Franchini, Marco 1 2015 Exploiting macro-actions and predicting plan length in planning as satisfiability. Zbl 1373.68375 Gerevini, Alfonso Emilio; Saetti, Alessandro; Vallati, Mauro 1 2015 Repeated-task Canadian traveler problem. Zbl 1373.90125 Bnaya, Zahy; Felner, Ariel; Fried, Dror; Maksin, Olga; Shimony, Solomon Eyal 1 2015 Election algorithm: a new socio-politically inspired strategy. Zbl 1373.68372 Emami, Hojjat; Derakhshan, Farnaz 1 2015 The 7th IJCAR automated theorem proving system competition – CASC-J7. Zbl 1373.68366 Sutcliffe, Geoff 1 2015 The CADE-25 automated theorem proving system competition – CASC-25. Zbl 1373.68368 Sutcliffe, Geoff; Urban, Josef 1 2016 History-based diagnosis templates in the framework of the situation calculus. Zbl 1007.68178 Iwan, Gero 1 2002 Implementing prioritized logic programming. Zbl 1007.68027 Zhang, Yan; Wu, Cheng-Min; Bai, Yun 1 2001 Collaborative filtering supporting web site navigation. Zbl 1062.68507 Greco, Gianluigi; Greco, Sergio; Zumpano, Ester 1 2004 Rewriting queries using views with negation. Zbl 1104.68036 Afrati, Foto; Pavlaki, Vassia 1 2006 Fuzzy constraint satisfaction approach for landmark recognition in mobile robotics. Zbl 1104.68780 Otero, Abraham; Félix, Paulo; Regueiro, Carlos; Rodríguez, Miguel; Barro, Senén 1 2006 Fuzzy referral based cooperation in social networks of agents. Zbl 1121.91417 Carbó, Javier; Molina, Jose M.; Dávila, Jorge 1 2005 A multi-agent architecture for intelligent gathering systems. Zbl 1076.68546 Camacho, David; Aler, Ricardo; Borrajo, Daniel; Molina, José M. 1 2005 Systematic versus non systematic techniques for solving temporal constraints in a dynamic environment. Zbl 1098.68118 Mouhoub, Malek 1 2004 Endurants and perdurants in directly depicting ontologies. Zbl 1098.68102 Bittner, Thomas; Donnelly, Maureen; Smith, Barry 1 2004 Query rewriting with symmetric constraints. Zbl 1083.68053 Koch, Christoph 1 2004 Understanding intelligent agents: analysis and synthesis. Zbl 1083.68553 Fox, John; Beveridge, Martin; Glasspool, David 1 2003 Qualitative pattern matching with linguistic terms. Zbl 1086.68541 Loiseau, Yannick; Prade, Henri; Boughanem, Mohand 1 2004 Solving disjunctive temporal problems with preferences using maximum satisfiability. Zbl 1248.68459 Maratea, Marco; Pulina, Luca 1 2012 Boosting branch-and-bound MaxSAT solvers with clause learning. Zbl 1507.68296 Li, Chu-Min; Xu, Zhenxing; Coll, Jordi; Manyà, Felip; Habet, Djamal; He, Kun 1 2022 The 10th IJCAR automated theorem proving system competition – CASC-J10. Zbl 1485.68287 Sutcliffe, Geoff 3 2021 The CADE-28 automated theorem proving system competition – CASC-28. Zbl 1487.68249 Sutcliffe, Geoff; Desharnais, Martin 2 2021 Neuro-symbolic artificial intelligence. Zbl 1487.68188 Sarker, Md Kamruzzaman; Zhou, Lu; Eberhart, Aaron; Hitzler, Pascal 1 2021 Multiple analogical proportions. Zbl 1487.68220 Prade, Henri; Richard, Gilles 1 2021 The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433 Sutcliffe, Geoff 11 2019 Duplication monotonicity in the allocation of indivisible goods. Zbl 1464.91055 Kuckuck, Benno; Rothe, Jörg 3 2019 Modelling deception using theory of mind in multi-agent systems. Zbl 1464.68413 Sarkadi, Ştefan; Panisson, Alison R.; Bordini, Rafael H.; McBurney, Peter; Parsons, Simon; Chapman, Martin 1 2019 Hierarchical invention of theorem proving strategies. Zbl 1462.68213 Jakubův, Jan; Urban, Josef 7 2018 The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220 Sutcliffe, Geoff 6 2018 Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. Zbl 1462.68152 Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 1 2018 How to share knowledge by gossiping. Zbl 1373.68392 Herzig, Andreas; Maffre, Faustine 13 2017 The compressed differential heuristic. Zbl 1462.68174 Goldenberg, Meir; Felner, Ariel; Palombo, Alon; Sturtevant, Nathan; Schaeffer, Jonathan 1 2017 The CADE-26 automated theorem proving system competition – CASC-26. Zbl 1462.68219 Sutcliffe, Geoff 1 2017 The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367 Sutcliffe, Geoff 7 2016 Solving permutation flowshop scheduling problems with a discrete differential evolution algorithm. Zbl 1373.68385 Santucci, Valentino; Baioletti, Marco; Milani, Alfredo 5 2016 Neighbourhood SAC: extensions and new algorithms. Zbl 1373.68388 Wallace, Richard J. 4 2016 Optimally solving permutation sorting problems with efficient partial expansion bidirectional heuristic search. Zbl 1373.68204 Lippi, Marco; Ernandes, Marco; Felner, Ariel 3 2016 A compressed generalized hypertree decomposition-based solving technique for non-binary constraint satisfaction problems. Zbl 1373.68369 Amroun, Kamal; Habbas, Zineb; Aggoune-Mtalaa, Wassila 3 2016 The CADE-25 automated theorem proving system competition – CASC-25. Zbl 1373.68368 Sutcliffe, Geoff; Urban, Josef 1 2016 Algorithms for computing backbones of propositional formulae. Zbl 1373.68379 Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao 14 2015 An advanced scatter search algorithm for solving job shops with sequence dependent and non-anticipatory setups. Zbl 1373.68376 González, Miguel A.; Vela, Camino R.; Varela, Ramiro; González-Rodríguez, Inés 3 2015 MaxSAT-based encodings for Group MaxSAT. Zbl 1373.68377 Heras, Federico; Morgado, Antonio; Marques-Silva, Joao 3 2015 SAC and neighbourhood SAC. Zbl 1373.68387 Wallace, Richard J. 3 2015 Integrating argumentation and sentiment analysis for mining opinions from Twitter. Zbl 1373.68322 Grosse, Kathrin; González, María P.; Chesñevar, Carlos I.; Maguitman, Ana G. 3 2015 Verification of partial designs using incremental QBF. Zbl 1373.68382 Miller, Christian; Marin, Paolo; Becker, Bernd 2 2015 Scheduling countermeasures to contamination events by genetic algorithms. Zbl 1373.68374 Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Alvisi, Stefano; Franchini, Marco 1 2015 Exploiting macro-actions and predicting plan length in planning as satisfiability. Zbl 1373.68375 Gerevini, Alfonso Emilio; Saetti, Alessandro; Vallati, Mauro 1 2015 Repeated-task Canadian traveler problem. Zbl 1373.90125 Bnaya, Zahy; Felner, Ariel; Fried, Dror; Maksin, Olga; Shimony, Solomon Eyal 1 2015 Election algorithm: a new socio-politically inspired strategy. Zbl 1373.68372 Emami, Hojjat; Derakhshan, Farnaz 1 2015 The 7th IJCAR automated theorem proving system competition – CASC-J7. Zbl 1373.68366 Sutcliffe, Geoff 1 2015 Towards a theory of random walk planning: regress factors, fair homogeneous graphs and extensions. Zbl 1338.68245 Nakhost, Hootan; Müller, Martin 2 2014 Combining approaches for solving satisfiability problems with qualitative preferences. Zbl 1296.68164 Di Rosa, Emanuele; Giunchiglia, Enrico 7 2013 Towards efficient MUS extraction. Zbl 1248.68450 Belov, Anton; Lynce, Inês; Marques-Silva, Joao 21 2012 Anytime AND/OR depth-first search for combinatorial optimization. Zbl 1250.90075 Otten, Lars; Dechter, Rina 5 2012 Challenging SMT solvers to verify neural networks. Zbl 1248.68462 Pulina, Luca; Tacchella, Armando 3 2012 Solving disjunctive temporal problems with preferences using maximum satisfiability. Zbl 1248.68459 Maratea, Marco; Pulina, Luca 1 2012 Planning as satisfiability with IPC simple preferences and action costs. Zbl 1248.68458 Maratea, Marco 1 2012 Potassco: the Potsdam answer set solving collection. Zbl 1215.68214 Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius 63 2011 An incremental answer set programming based system for finite model computation. Zbl 1215.68209 Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten 8 2011 Symmetry-breaking answer set solving. Zbl 1215.68212 Drescher, Christian; Tifrea, Oana; Walsh, Toby 6 2011 A weighted CSP approach to cost-optimal planning. Zbl 1233.68205 Cooper, Martin C.; De Roquemaurel, Marie; Régnier, Pierre 5 2011 Learning and using domain-specific heuristics in ASP solvers. Zbl 1215.68207 Balduccini, Marcello 5 2011 Dynamic magic sets and super-coherent answer set programs. Zbl 1215.68211 Alviano, Mario; Faber, Wolfgang 4 2011 Finitely recursive programs: decidability and bottom-up computation. Zbl 1235.68223 Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola 3 2011 A logical characterisation of ordered disjunction. Zbl 1218.68069 Cabalar, Pedro 3 2011 Restricting backtracking in connection calculi. Zbl 1205.68363 Otten, Jens 15 2010 Implementing a fair monodic temporal logic prover. Zbl 1206.68283 Ludwig, Michel; Hustadt, Ullrich 10 2010 Interactive verification of concurrent systems using symbolic execution. Zbl 1205.68217 Bäumler, Simon; Balser, Michael; Nafz, Florian; Reif, Wolfgang; Schellhorn, Gerhard 8 2010 The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220 Sutcliffe, Geoff 6 2010 SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362 Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver 6 2010 An application of automated reasoning in natural language question answering. Zbl 1205.68360 Furbach, Ulrich; Glöckner, Ingo; Pelzer, Björn 6 2010 Representation and monitoring of commitments and norms using OWL. Zbl 1216.68283 Fornara, Nicoletta; Colombetti, Marco 5 2010 Subterm contextual rewriting. Zbl 1206.68164 Weidenbach, Christoph; Wischnewski, Patrick 5 2010 Automated theorem proving in quasigroup and loop theory. Zbl 1204.68181 Phillips, J. D.; Stanovský, David 5 2010 Verifying agents with memory is harder than it seemed. Zbl 1216.68257 Bulling, Nils; Jamroga, Wojciech 4 2010 Generalized learning automata for multi-agent reinforcement learning. Zbl 1216.68229 de Hauwere, Yann-Michaël; Vrancx, Peter; Nowé, Ann 3 2010 CTL-RP: A computation tree logic resolution prover. Zbl 1205.68365 Zhang, Lan; Hustadt, Ullrich; Dixon, Clare 3 2010 Large theory reasoning with SUMO at CASC. Zbl 1344.68229 Pease, Adam; Sutcliffe, Geoff; Siegel, Nick; Trac, Steven 2 2010 Practical algorithms for unsatisfiability proof and core generation in SAT solvers. Zbl 1208.68195 Asín Achá, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric 2 2010 Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic \({\mathcal{SHQ}}\). Zbl 1205.68404 Farsiniamarj, Nasim; Haarslev, Volker 2 2010 Evaluating and certifying QBFs: a comparison of state-of-the-art tools. Zbl 1186.68440 Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando 8 2009 Heuristics for dynamically adapting propagation in constraint satisfaction problems. Zbl 1185.90191 Stergiou, Kostas 7 2009 On stability and convergence of the population-dynamics in differential evolution. Zbl 1200.68185 Dasgupta, Sambarta; Das, Swagatam; Biswas, Arijit; Abraham, Ajith 4 2009 OMBO: An opponent modeling approach. Zbl 1200.68246 Ledezma, Agapito; Aler, Ricardo; Sanchis, Araceli; Borrajo, Daniel 4 2009 Fast computation of query relaxations for knowledge-based recommenders. Zbl 1187.68595 Jannach, Dietmar 1 2009 Preferences of agents in decentralized task allocation. Zbl 1185.68531 Hoogendoorn, Mark; Gini, Maria 1 2009 The CADE-21 automated theorem proving system competition. Zbl 1147.68699 Sutcliffe, Geoff 5 2008 On exploiting classification taxonomies in recommender systems. Zbl 1172.68628 Ziegler, Cai-Nicolas; Lausen, Georg; Konstan, Joseph A. 1 2008 Key figure impact in trust-enhanced recommender systems. Zbl 1172.68627 Victor, Patricia; Cornelis, Chris; De Cock, Martine; Teredesai, Ankur M. 1 2008 A multilayer ontology-based hybrid recommendation model. Zbl 1160.68581 Cantador, Iván; Bellogín, Alejandro; Castells, Pablo 1 2008 Tag recommendations in social bookmarking systems. Zbl 1184.68074 Jäschke, Robert; Marinho, Leandro; Hotho, Andreas; Schmidt-Thieme, Lars; Stumme, Gerd 1 2008 Finding the most prominent group in complex networks. Zbl 1189.68087 Puzis, Rami; Elovici, Yuval; Dolev, Shlomi 10 2007 From precedence constraint posting to partial order schedules. A CSP approach to robust scheduling. Zbl 1146.90421 Policella, Nicola; Cesta, Amedeo; Oddi, Angelo; Smith, Stephen F. 7 2007 Search in the patience game ‘Black Hole’. Zbl 1151.90525 Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan 7 2007 A clustering coefficient for weighted networks, with application to gene expression data. Zbl 1189.68084 Kalna, Gabriela; Higham, Desmond J. 5 2007 Routing and wavelength assignment in all-optical networks based on the bee colony optimization. Zbl 1185.90174 Marković, Goran Z.; Teodorović, Dušan B.; Aćimović-Raspopović, Vladanka S. 5 2007 Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results. Zbl 1143.68545 Khatib, Lina; Morris, Paul; Morris, Robert; Rossi, Francesca; Sperduti, Alessandro; Venable, K. Brent 5 2007 On the role of modeling causal independence for system model compilation with OBDDs. Zbl 1127.68077 Torta, Gianluca; Torasso, Pietro 3 2007 LRBNN: a lazy radial basis neural network model. Zbl 1129.68068 Valls, José M.; Galván, Inés M.; Isasi, Pedro 2 2007 An upper bound on computing all \(X\)-minimal models. Zbl 1129.68083 Avin, Chen; Ben-Eliyahu-Zohary, Rachel 1 2007 Scheduling social tournaments locally. Zbl 1146.90411 Dotú, Iván; Van Hentenryck, Pascal 1 2007 The state of CASC. Zbl 1112.68464 Sutcliffe, Geoff; Suttner, Christian 17 2006 On-line monitoring and diagnosis of a team of service robots: a model-based approach. Zbl 1127.68444 Micalizio, Roberto; Torasso, Pietro; Torta, Gianluca 7 2006 A backjumping technique for disjunctive logic programming. Zbl 1102.68433 Ricca, Francesco; Faber, Wolfgang; Leone, Nicola 3 2006 Template programs for disjunctive logic programming: an operational semantics. Zbl 1104.68009 Calimeri, Francesco; Ianni, Giovambattista 3 2006 Rewriting queries using views with negation. Zbl 1104.68036 Afrati, Foto; Pavlaki, Vassia 1 2006 Fuzzy constraint satisfaction approach for landmark recognition in mobile robotics. Zbl 1104.68780 Otero, Abraham; Félix, Paulo; Regueiro, Carlos; Rodríguez, Miguel; Barro, Senén 1 2006 Tools for modeling and solving search problems. Zbl 1127.68365 East, Deborah; Iakhiaev, Mikhail; Mikitiuk, Artur; Truszczyński, Mirosław 1 2006 Integrating heterogeneous adaptation techniques to build a flexible and usable mobile tourist guide. Zbl 1127.68483 Cena, Federica; Console, Luca; Gena, Cristina; Goy, Anna; Levi, Guido; Modeo, Sonia; Torre, Ilaria 1 2006 Scheduling with uncertainty: a proactive approach using partial order schedules. Zbl 1161.68366 Policella, Nicola 3 2005 Fuzzy referral based cooperation in social networks of agents. Zbl 1121.91417 Carbó, Javier; Molina, Jose M.; Dávila, Jorge 1 2005 A multi-agent architecture for intelligent gathering systems. Zbl 1076.68546 Camacho, David; Aler, Ricardo; Borrajo, Daniel; Molina, José M. 1 2005 Construction of Boolean contact algebras. Zbl 1070.03042 Düntsch, Ivo; Winter, Michael 6 2004 Integrating quantitative and qualitative fuzzy temporal constraints. Zbl 1098.68101 Badaloni, Silvana; Falda, Marco; Giacomin, Massimiliano 3 2004 Collaborative filtering supporting web site navigation. Zbl 1062.68507 Greco, Gianluigi; Greco, Sergio; Zumpano, Ester 1 2004 Systematic versus non systematic techniques for solving temporal constraints in a dynamic environment. Zbl 1098.68118 Mouhoub, Malek 1 2004 Endurants and perdurants in directly depicting ontologies. Zbl 1098.68102 Bittner, Thomas; Donnelly, Maureen; Smith, Barry 1 2004 Query rewriting with symmetric constraints. Zbl 1083.68053 Koch, Christoph 1 2004 Qualitative pattern matching with linguistic terms. Zbl 1086.68541 Loiseau, Yannick; Prade, Henri; Boughanem, Mohand 1 2004 ...and 21 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,109 Authors 30 Urban, Josef 16 Blanchette, Jasmin Christian 13 Marques-Silva, João P. 13 Sutcliffe, Geoff 12 Kaliszyk, Cezary 11 Gebser, Martin 11 Tourret, Sophie 11 Voronkov, Andrei 10 Schaub, Torsten H. 9 Jakubův, Jan 9 Vukmirović, Petar 8 Dodaro, Carmine 8 Eiter, Thomas 8 Maratea, Marco 8 Paulson, Lawrence Charles 8 Weidenbach, Christoph 7 Bentkamp, Alexander 7 Benzmüller, Christoph Ewald 7 Dixon, Clare 7 Otten, Jens 7 Reger, Giles 6 Barrett, Clark W. 6 Böhme, Sascha 6 Hustadt, Ullrich 6 Ignatyev, Alexey A. 6 Janota, Mikoláš 6 Law, Mark M. 6 Leone, Nicola 6 Ricca, Francesco 6 Russo, Alessandra M. 6 Suda, Martin 6 Waldmann, Uwe 5 Broda, Krysia B. 5 Brown, Chad Edward 5 Gottlob, Georg 5 Janhunen, Tomi 5 Järvisalo, Matti 5 Kaminski, Roland 5 Kovács, Laura Ildikó 5 Krennwallner, Thomas 5 Mencía, Carlos 5 Olšák, Miroslav 5 Previti, Alessandro 5 Schellhorn, Gerhard 5 Schmidt, Renate A. 5 Schulz, Stephan 5 Tinelli, Cesare 5 Vyskočil, Jiří 5 Wojtczak, Dominik 4 Baioletti, Marco 4 Chvalovský, Karel 4 Cruanes, Simon 4 Düntsch, Ivo 4 Erdem, Esra 4 Fisher, Michael 4 Herzig, Andreas 4 Heule, Marijn J. H. 4 Milani, Alfredo 4 Nipkow, Tobias 4 Peñaloza, Rafael 4 Reif, Wolfgang 4 Santucci, Valentino 4 Stump, Aaron 4 van Ditmarsch, Hans Pieter 4 Winter, Michael 3 Alviano, Mario 3 Apt, Krzysztof Rafal 3 Baumgartner, Peter 3 Becker, Bernd 3 Benhamou, Belaid 3 Brewka, Gerhard 3 Cabalar, Pedro 3 Claessen, Koen 3 Davidović, Tatjana 3 De Cock, Martine 3 de Moura, Leonardo 3 Desharnais, Martin 3 Faber, Wolfgang 3 Felner, Ariel 3 Frisch, Alan M. 3 Furbach, Ulrich 3 Gaggl, Sarah Alice 3 Gattinger, Malvin 3 Gauthier, Thibault 3 Hoder, Kryštof 3 Kalech, Meir 3 Kaminka, Gal A. 3 Knorr, Matthias 3 Korovin, Konstantin 3 Kühlwein, Daniel 3 Lombardi, Michele 3 Miguel, Ian 3 Milano, Michela 3 Neveling, Marc 3 Nummelin, Visa 3 Oddi, Angelo 3 Pease, Adam 3 Pulina, Luca 3 Rabe, Florian 3 Ranise, Silvio ...and 1,009 more Authors all top 5 Cited in 85 Journals 45 Artificial Intelligence 40 Journal of Automated Reasoning 34 Theory and Practice of Logic Programming 26 Annals of Mathematics and Artificial Intelligence 20 Constraints 12 Information Sciences 11 Journal of Applied Logic 9 International Journal of Approximate Reasoning 8 Theoretical Computer Science 8 Information and Computation 7 ACM Transactions on Computational Logic 6 Machine Learning 6 European Journal of Operational Research 6 Logical Methods in Computer Science 5 Fuzzy Sets and Systems 5 AI Communications 5 Formal Methods in System Design 5 The Journal of Artificial Intelligence Research (JAIR) 5 Fundamenta Informaticae 4 Discrete Applied Mathematics 4 Journal of Computer and System Sciences 4 Journal of Symbolic Computation 4 Formal Aspects of Computing 3 Computers & Operations Research 3 Annals of Operations Research 3 Mathematical Problems in Engineering 3 Soft Computing 3 Mathematics in Computer Science 3 Journal of Satisfiability, Boolean Modeling and Computation 2 Information Processing Letters 2 Studia Logica 2 Journal of Global Optimization 2 Journal of Applied Non-Classical Logics 2 International Journal of Computer Vision 2 Journal of Heuristics 2 Theory of Computing Systems 2 Journal of Scheduling 2 Computational Intelligence 2 Optimization Letters 2 The Review of Symbolic Logic 2 Journal of Logical and Algebraic Methods in Programming 1 ACM Computing Surveys 1 Acta Informatica 1 Discrete Mathematics 1 Journal of the Franklin Institute 1 Physica A 1 Bulletin of Mathematical Biology 1 Bulletin of the Polish Academy of Sciences. Technical Sciences 1 Algebra Universalis 1 Applied Mathematics and Computation 1 Journal of Philosophical Logic 1 Mathematics and Computers in Simulation 1 Networks 1 Science of Computer Programming 1 Social Choice and Welfare 1 Journal of Computer Science and Technology 1 New Generation Computing 1 Journal of Parallel and Distributed Computing 1 Neural Networks 1 Applied Intelligence 1 Artificial Intelligence Review 1 Communications in Statistics. Simulation and Computation 1 Journal of Statistical Computation and Simulation 1 Pattern Recognition 1 Open Economies Review 1 Journal of Inverse and Ill-Posed Problems 1 INFORMS Journal on Computing 1 Data Mining and Knowledge Discovery 1 Discrete Dynamics in Nature and Society 1 Quantitative Finance 1 Electronic Commerce Research 1 Natural Computing 1 ACM Journal of Experimental Algorithmics 1 Journal of Discrete Algorithms 1 Internet Mathematics 1 Science in China. Series F 1 Journal of Mathematics and Music 1 Logica Universalis 1 Networks and Heterogeneous Media 1 International Journal of Intelligent Computing and Cybernetics 1 Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki 1 Algorithms 1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 SN Operations Research Forum all top 5 Cited in 22 Fields 498 Computer science (68-XX) 129 Mathematical logic and foundations (03-XX) 60 Operations research, mathematical programming (90-XX) 32 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Biology and other natural sciences (92-XX) 12 Combinatorics (05-XX) 12 Statistics (62-XX) 7 Systems theory; control (93-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Geometry (51-XX) 3 Numerical analysis (65-XX) 2 General and overarching topics; collections (00-XX) 2 Group theory and generalizations (20-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 2 Mathematics education (97-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) 1 Partial differential equations (35-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year