×

AI Communications

The 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: 284 Publications (since 1996)
References Indexed: 53 Publications with 2,689 References.
all top 5

Authors

13 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 Albrecht, Stefano V.
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 Dixon, Clare
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 McBurney, Peter
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 Oren, Nir
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 Ahmed, Ibrahim H. I.
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 Anthony, Thomas
1 Antonello, Morris
1 Arai, Noriko H.
1 Arch-Int, Ngamnij
...and 619 more Authors

Publications by Year

Citations contained in zbMATH Open

136 Publications have been cited 705 times in 567 Documents Cited by Year
E – a brainiac theorem prover. Zbl 1020.68084
Schulz, Stephan
90
2002
The design and implementation of VAMPIRE. Zbl 1021.68082
Riazanov, Alexandre; Voronkov, Andrei
75
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
20
2012
The state of CASC. Zbl 1112.68464
Sutcliffe, Geoff; Suttner, Christian
17
2006
Restricting backtracking in connection calculi. Zbl 1205.68363
Otten, Jens
14
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
12
2017
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
The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433
Sutcliffe, Geoff
10
2019
Implementing a fair monodic temporal logic prover. Zbl 1206.68283
Ludwig, Michel; Hustadt, Ullrich
9
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
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
A note on the utility of incremental learning. Zbl 0967.68087
Giraud-Carrier, Christophe
7
2000
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
Combining approaches for solving satisfiability problems with qualitative preferences. Zbl 1296.68164
Di Rosa, Emanuele; Giunchiglia, Enrico
7
2013
Heuristics for dynamically adapting propagation in constraint satisfaction problems. Zbl 1185.90191
Stergiou, Kostas
7
2009
Extracting symbolic rules from trained neural network ensembles. Zbl 1102.68609
Zhou, Zhi-Hua; Jiang, Yuan; Chen, Shi-Fu
7
2002
Hierarchical invention of theorem proving strategies. Zbl 1462.68213
Jakubův, Jan; Urban, Josef
7
2018
The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367
Sutcliffe, Geoff
7
2016
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
Construction of Boolean contact algebras. Zbl 1070.03042
Düntsch, Ivo; Winter, Michael
6
2004
Symmetry-breaking answer set solving. Zbl 1215.68212
Drescher, Christian; Tifrea, Oana; Walsh, Toby
6
2011
Function variables for constraint programming. Zbl 1159.68390
Hnich, Brahim
6
2003
A weighted CSP approach to cost-optimal planning. Zbl 1233.68205
Cooper, Martin C.; De Roquemaurel, Marie; Régnier, Pierre
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
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
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
The CADE-21 automated theorem proving system competition. Zbl 1147.68699
Sutcliffe, Geoff
5
2008
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
The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220
Sutcliffe, Geoff
5
2018
Solving permutation flowshop scheduling problems with a discrete differential evolution algorithm. Zbl 1373.68385
Santucci, Valentino; Baioletti, Marco; Milani, Alfredo
5
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
Neighbourhood SAC: extensions and new algorithms. Zbl 1373.68388
Wallace, Richard J.
4
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
On the role of modeling causal independence for system model compilation with OBDDs. Zbl 1127.68077
Torta, Gianluca; Torasso, Pietro
3
2007
Finitely recursive programs: decidability and bottom-up computation. Zbl 1235.68223
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola
3
2011
Feature ranking in rough sets. Zbl 1089.68644
Hu, Keyun; Lu, Yuchang; Shi, Chunyi
3
2002
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
Dependable learning-enabled multiagent systems. Zbl 07631903
Huang, Xiaowei; Peng, Bei; Zhao, Xingyu
3
2022
A logical characterisation of ordered disjunction. Zbl 1218.68069
Cabalar, Pedro
3
2011
Duplication monotonicity in the allocation of indivisible goods. Zbl 1464.91055
Kuckuck, Benno; Rothe, Jörg
3
2019
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
The 10th IJCAR automated theorem proving system competition – CASC-J10. Zbl 1485.68287
Sutcliffe, Geoff
3
2021
Complexity results for restricted credulous default reasoning. Zbl 0967.68132
Zhao, Xishun; Ding, Decheng; Kleine Büning, Hans
2
2000
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
CTL-RP: A computation tree logic resolution prover. Zbl 1205.68365
Zhang, Lan; Hustadt, Ullrich; Dixon, Clare
2
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
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
Challenging SMT solvers to verify neural networks. Zbl 1248.68462
Pulina, Luca; Tacchella, Armando
2
2012
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
Developing, evaluating and scaling learning agents in multi-agent environments. Zbl 07631893
Gemp, Ian; Anthony, Thomas; Bachrach, Yoram; Bhoopchand, Avishkar; Bullard, Kalesha; Connor, Jerome; Dasagi, Vibhavari; de Vylder, Bart; Duéñez-Guzmán, Edgar A.; Elie, Romuald; Everett, Richard; Hennes, Daniel; Hughes, Edward; Khan, Mina; Lanctot, Marc; Larson, Kate; Lever, Guy; Liu, Siqi; Marris, Luke; McKee, Kevin R.; Muller, Paul; Pérolat, Julien; Strub, Florian; Tacchetti, Andrea; Tarassov, Eugene; Wang, Zhe; Tuyls, Karl
2
2022
Conversational AI for multi-agent communication in natural language. Zbl 07631895
Lemon, Oliver
2
2022
Reasoning and interaction for social artificial intelligence. Zbl 07631896
Black, Elizabeth; Brandão, Martim; Cocarascu, Oana; de Keijzer, Bart; Du, Yali; Long, Derek; Luck, Michael; McBurney, Peter; Meroño-Peñuela, Albert; Miles, Simon; Modgil, Sanjay; Moreau, Luc; Polukarov, Maria; Rodrigues, Odinaldo; Ventre, Carmine
2
2022
Emergent behaviours in multi-agent systems with evolutionary game theory. Zbl 07631897
Han, The Anh
2
2022
Generalized learning automata for multi-agent reinforcement learning. Zbl 1216.68229
de Hauwere, Yann-Michaël; Vrancx, Peter; Nowé, Ann
2
2010
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
2
2019
Verification of partial designs using incremental QBF. Zbl 1373.68382
Miller, Christian; Marin, Paolo; Becker, Bernd
2
2015
Neuro-symbolic artificial intelligence. Zbl 1487.68188
Sarker, Md Kamruzzaman; Zhou, Lu; Eberhart, Aaron; Hitzler, Pascal
2
2021
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
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
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
Tag recommendations in social bookmarking systems. Zbl 1184.68074
Jäschke, Robert; Marinho, Leandro; Hotho, Andreas; Schmidt-Thieme, Lars; Stumme, Gerd
1
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
Solving disjunctive temporal problems with preferences using maximum satisfiability. Zbl 1248.68459
Maratea, Marco; Pulina, Luca
1
2012
Dependable learning-enabled multiagent systems. Zbl 07631903
Huang, Xiaowei; Peng, Bei; Zhao, Xingyu
3
2022
Developing, evaluating and scaling learning agents in multi-agent environments. Zbl 07631893
Gemp, Ian; Anthony, Thomas; Bachrach, Yoram; Bhoopchand, Avishkar; Bullard, Kalesha; Connor, Jerome; Dasagi, Vibhavari; de Vylder, Bart; Duéñez-Guzmán, Edgar A.; Elie, Romuald; Everett, Richard; Hennes, Daniel; Hughes, Edward; Khan, Mina; Lanctot, Marc; Larson, Kate; Lever, Guy; Liu, Siqi; Marris, Luke; McKee, Kevin R.; Muller, Paul; Pérolat, Julien; Strub, Florian; Tacchetti, Andrea; Tarassov, Eugene; Wang, Zhe; Tuyls, Karl
2
2022
Conversational AI for multi-agent communication in natural language. Zbl 07631895
Lemon, Oliver
2
2022
Reasoning and interaction for social artificial intelligence. Zbl 07631896
Black, Elizabeth; Brandão, Martim; Cocarascu, Oana; de Keijzer, Bart; Du, Yali; Long, Derek; Luck, Michael; McBurney, Peter; Meroño-Peñuela, Albert; Miles, Simon; Modgil, Sanjay; Moreau, Luc; Polukarov, Maria; Rodrigues, Odinaldo; Ventre, Carmine
2
2022
Emergent behaviours in multi-agent systems with evolutionary game theory. Zbl 07631897
Han, The Anh
2
2022
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
Perspectives on the system-level design of a safe autonomous driving stack. Zbl 07631894
Hawasly, Majd; Sadeghi, Jonathan; Antonello, Morris; Albrecht, Stefano V.; Redford, John; Ramamoorthy, Subramanian
1
2022
Resilience, reliability, and coordination in autonomous multi-agent systems. Zbl 07631898
Cardoso, Rafael C.; Logan, Brian; Meneguzzi, Felipe; Oren, Nir; Yun, Bruno
1
2022
Deep reinforcement learning for multi-agent interaction. Zbl 07631899
Ahmed, Ibrahim H.; Brewitt, Cillian; Carlucho, Ignacio; Christianos, Filippos; Dunion, Mhairi; Fosong, Elliot; Garcin, Samuel; Guo, Shangmin; Gyevnar, Balint; McInroe, Trevor; Papoudakis, Georgios; Rahman, Arrasy; Schäfer, Lukas; Tamborski, Massimiliano; Vecchio, Giuseppe; Wang, Cheng; Albrecht, Stefano V.
1
2022
Multi-agent systems for computational economics and finance. Zbl 07631900
Kampouridis, Michael; Kanellopoulos, Panagiotis; Kyropoulou, Maria; Melissourgos, Themistoklis; Voudouris, Alexandros A.
1
2022
Interaction-oriented software engineering: programming abstractions for autonomy and decentralization. Zbl 07631901
Chopra, Amit K.
1
2022
Agent-based modelling for Urban Analytics: state of the art and challenges. Zbl 07631902
Malleson, Nick; Birkin, Mark; Birks, Daniel; Ge, Jiaqi; Heppenstall, Alison; Manley, Ed; McCulloch, Josie; Ternes, Patricia
1
2022
Verifiable autonomy: from theory to applications. Zbl 07631904
Dennis, Louise; Dixon, Clare; Fisher, Michael
1
2022
Decision-making under uncertainty for multi-robot systems. Zbl 07631905
Lacerda, Bruno; Gautier, Anna; Rutherford, Alex; Stephens, Alex; Street, Charlie; Hawes, Nick
1
2022
From intelligent agents to trustworthy human-centred multiagent systems. Zbl 07631906
Divband, Soorati Mohammad; Gerding, Enrico H.; Marchioni, Enrico; Naumov, Pavel; Norman, Timothy J.; Ramchurn, Sarvapali D.; Rastegari, Bahar; Sobey, Adam; Stein, Sebastian; Tarpore, Danesh; Yazdanpanah, Vahid; Zhang, Jie
1
2022
The 10th IJCAR automated theorem proving system competition – CASC-J10. Zbl 1485.68287
Sutcliffe, Geoff
3
2021
Neuro-symbolic artificial intelligence. Zbl 1487.68188
Sarker, Md Kamruzzaman; Zhou, Lu; Eberhart, Aaron; Hitzler, Pascal
2
2021
Multiple analogical proportions. Zbl 1487.68220
Prade, Henri; Richard, Gilles
1
2021
The CADE-28 automated theorem proving system competition – CASC-28. Zbl 1487.68249
Sutcliffe, Geoff; Desharnais, Martin
1
2021
The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433
Sutcliffe, Geoff
10
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
2
2019
Algorithms for recursive delegation. Zbl 1464.68407
Afanador, Juan; Baptista, Murilo S.; Oren, Nir
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
5
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
12
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
20
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
2
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
14
2010
Implementing a fair monodic temporal logic prover. Zbl 1206.68283
Ludwig, Michel; Hustadt, Ullrich
9
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
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
Representation and monitoring of commitments and norms using OWL. Zbl 1216.68283
Fornara, Nicoletta; Colombetti, Marco
5
2010
Verifying agents with memory is harder than it seemed. Zbl 1216.68257
Bulling, Nils; Jamroga, Wojciech
4
2010
CTL-RP: A computation tree logic resolution prover. Zbl 1205.68365
Zhang, Lan; Hustadt, Ullrich; Dixon, Clare
2
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
Generalized learning automata for multi-agent reinforcement learning. Zbl 1216.68229
de Hauwere, Yann-Michaël; Vrancx, Peter; Nowé, Ann
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
Preferences of agents in decentralized task allocation. Zbl 1185.68531
Hoogendoorn, Mark; Gini, Maria
1
2009
Fast computation of query relaxations for knowledge-based recommenders. Zbl 1187.68595
Jannach, Dietmar
1
2009
The CADE-21 automated theorem proving system competition. Zbl 1147.68699
Sutcliffe, Geoff
5
2008
Tag recommendations in social bookmarking systems. Zbl 1184.68074
Jäschke, Robert; Marinho, Leandro; Hotho, Andreas; Schmidt-Thieme, Lars; Stumme, Gerd
1
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
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
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
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
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
...and 36 more Documents
all top 5

Cited by 1,142 Authors

30 Urban, Josef
15 Blanchette, Jasmin Christian
12 Kaliszyk, Cezary
12 Marques-Silva, João P.
12 Sutcliffe, Geoff
11 Gebser, Martin
11 Voronkov, Andrei
10 Schaub, Torsten H.
10 Tourret, Sophie
9 Jakubův, Jan
8 Dodaro, Carmine
8 Eiter, Thomas
8 Paulson, Lawrence Charles
8 Vukmirović, Petar
8 Weidenbach, Christoph
7 Benzmüller, Christoph Ewald
7 Otten, Jens
7 Reger, Giles
6 Bentkamp, Alexander
6 Böhme, Sascha
6 Dixon, Clare
6 Hustadt, Ullrich
6 Ignatyev, Alexey A.
6 Janota, Mikoláš
6 Law, Mark M.
6 Leone, Nicola
6 Maratea, Marco
6 Ricca, Francesco
6 Russo, Alessandra M.
6 Suda, Martin
6 Waldmann, Uwe
5 Barrett, Clark W.
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ří
4 Baioletti, Marco
4 Chvalovský, Karel
4 Cruanes, Simon
4 Düntsch, Ivo
4 Erdem, Esra
4 Fisher, Michael
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
4 Wojtczak, Dominik
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 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
3 Rawson, Michael
3 Romero, Javier
...and 1,042 more Authors
all top 5

Cited in 85 Journals

45 Artificial Intelligence
39 Journal of Automated Reasoning
34 Theory and Practice of Logic Programming
26 Annals of Mathematics and Artificial Intelligence
20 Constraints
11 AI Communications
11 Journal of Applied Logic
10 Information Sciences
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 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
4 Formal Methods in System Design
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

Citations by Year