×

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/
Documents Indexed: 260 Publications (since 1996)
References Indexed: 29 Publications with 1,092 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 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 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 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 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 Ardissono, Liliana
1 Armengol, Joaquim
1 Asín Achá, Roberto
1 Asín, Achá Roberto
1 Asín, Roberto
1 Avin, Chen
1 Babbar-Sebens, Meghna
1 Badami, Mahsa
1 Bădică, Amelia
1 Bădică, Costin
...and 475 more Authors

Publications by Year

Citations contained in zbMATH Open

110 Publications have been cited 554 times in 472 Documents Cited by Year
E – a brainiac theorem prover. Zbl 1020.68084
Schulz, Stephan
67
2002
The design and implementation of VAMPIRE. Zbl 1021.68082
Riazanov, Alexandre; Voronkov, Andrei
65
2002
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
48
2011
Towards efficient MUS extraction. Zbl 1248.68450
Belov, Anton; Lynce, Inês; Marques-Silva, Joao
17
2012
The state of CASC. Zbl 1112.68464
Sutcliffe, Geoff; Suttner, Christian
15
2006
Algorithms for computing backbones of propositional formulae. Zbl 1373.68379
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
13
2015
Restricting backtracking in connection calculi. Zbl 1205.68363
Otten, Jens
12
2010
How to share knowledge by gossiping. Zbl 1373.68392
Herzig, Andreas; Maffre, Faustine
9
2017
Implementing a fair monodic temporal logic prover. Zbl 1206.68283
Ludwig, Michel; Hustadt, Ullrich
8
2010
Finding the most prominent group in complex networks. Zbl 1189.68087
Puzis, Rami; Elovici, Yuval; Dolev, Shlomi
8
2007
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
A phytography of WALDMEISTER. Zbl 1021.68083
Löchner, Bernd; Hillenbrand, Thomas
8
2002
Interactive verification of concurrent systems using symbolic execution. Zbl 1205.68217
Bäumler, Simon; Balser, Michael; Nafz, Florian; Reif, Wolfgang; Schellhorn, Gerhard
7
2010
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
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
A note on the utility of incremental learning. Zbl 0967.68087
Giraud-Carrier, Christophe
7
2000
The development of CASC. Zbl 1019.68101
Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian
7
2002
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
6
2007
The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367
Sutcliffe, Geoff
6
2016
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
6
2011
Extracting symbolic rules from trained neural network ensembles. Zbl 1102.68609
Zhou, Zhi-Hua; Jiang, Yuan; Chen, Shi-Fu
6
2002
Function variables for constraint programming. Zbl 1159.68390
Hnich, Brahim
6
2003
The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433
Sutcliffe, Geoff
6
2019
Combining approaches for solving satisfiability problems with qualitative preferences. Zbl 1296.68164
Di Rosa, Emanuele; Giunchiglia, Enrico
5
2013
SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver
5
2010
Symmetry-breaking answer set solving. Zbl 1215.68212
Drescher, Christian; Tifrea, Oana; Walsh, Toby
5
2011
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
Heuristics for dynamically adapting propagation in constraint satisfaction problems. Zbl 1185.90191
Stergiou, Kostas
5
2009
The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220
Sutcliffe, Geoff
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
Anytime AND/OR depth-first search for combinatorial optimization. Zbl 1250.90075
Otten, Lars; Dechter, Rina
5
2012
OMBO: An opponent modeling approach. Zbl 1200.68246
Ledezma, Agapito; Aler, Ricardo; Sanchis, Araceli; Borrajo, Daniel
4
2009
An application of automated reasoning in natural language question answering. Zbl 1205.68360
Furbach, Ulrich; Glöckner, Ingo; Pelzer, Björn
4
2010
Automated theorem proving in quasigroup and loop theory. Zbl 1204.68181
Phillips, J. D.; Stanovský, David
4
2010
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
4
2007
Neighbourhood SAC: extensions and new algorithms. Zbl 1373.68388
Wallace, Richard J.
4
2016
Dynamic magic sets and super-coherent answer set programs. Zbl 1215.68211
Alviano, Mario; Faber, Wolfgang
4
2011
The CADE-21 automated theorem proving system competition. Zbl 1147.68699
Sutcliffe, Geoff
4
2008
A clustering coefficient for weighted networks, with application to gene expression data. Zbl 1189.68084
Kalna, Gabriela; Higham, Desmond J.
4
2007
Representation and monitoring of commitments and norms using OWL. Zbl 1216.68283
Fornara, Nicoletta; Colombetti, Marco
4
2010
Verifying agents with memory is harder than it seemed. Zbl 1216.68257
Bulling, Nils; Jamroga, Wojciech
4
2010
Challenging SMT solvers to verify neural networks. Zbl 1248.68462
Pulina, Luca; Tacchella, Armando
4
2012
Hierarchical invention of theorem proving strategies. Zbl 1462.68213
Jakubův, Jan; Urban, Josef
4
2018
The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220
Sutcliffe, Geoff
4
2018
Finitely recursive programs: decidability and bottom-up computation. Zbl 1235.68223
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola
3
2011
On stability and convergence of the population-dynamics in differential evolution. Zbl 1200.68185
Dasgupta, Sambarta; Das, Swagatam; Biswas, Arijit; Abraham, Ajith
3
2009
On the role of modeling causal independence for system model compilation with OBDDs. Zbl 1127.68077
Torta, Gianluca; Torasso, Pietro
3
2007
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
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
Solving permutation flowshop scheduling problems with a discrete differential evolution algorithm. Zbl 1373.68385
Santucci, Valentino; Baioletti, Marco; Milani, Alfredo
3
2016
A weighted CSP approach to cost-optimal planning. Zbl 1233.68205
Cooper, Martin C.; De Roquemaurel, Marie; Régnier, Pierre
3
2011
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
Construction of Boolean contact algebras. Zbl 1070.03042
Düntsch, Ivo; Winter, Michael
3
2004
Scheduling with uncertainty: a proactive approach using partial order schedules. Zbl 1161.68366
Policella, Nicola
3
2005
Towards a theory of random walk planning: regress factors, fair homogeneous graphs and extensions. Zbl 1338.68245
Nakhost, Hootan; Müller, Martin
2
2014
Subterm contextual rewriting. Zbl 1206.68164
Weidenbach, Christoph; Wischnewski, Patrick
2
2010
CTL-RP: A computation tree logic resolution prover. Zbl 1205.68365
Zhang, Lan; Hustadt, Ullrich; Dixon, Clare
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
LRBNN: a lazy radial basis neural network model. Zbl 1129.68068
Valls, José M.; Galván, Inés M.; Isasi, Pedro
2
2007
Verification of partial designs using incremental QBF. Zbl 1373.68382
Miller, Christian; Marin, Paolo; Becker, Bernd
2
2015
Optimally solving permutation sorting problems with efficient partial expansion bidirectional heuristic search. Zbl 1373.68204
Lippi, Marco; Ernandes, Marco; Felner, Ariel
2
2016
Learning and using domain-specific heuristics in ASP solvers. Zbl 1215.68207
Balduccini, Marcello
2
2011
A logical characterisation of ordered disjunction. Zbl 1218.68069
Cabalar, Pedro
2
2011
Complexity results for restricted credulous default reasoning. Zbl 0967.68132
Zhao, Xishun; Ding, Decheng; Kleine Büning, Hans
2
2000
Feature ranking in rough sets. Zbl 1089.68644
Hu, Keyun; Lu, Yuchang; Shi, Chunyi
2
2002
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
Strong and weak points of the MUSCADET theorem prover – examples from CASC-JC. Zbl 1019.68102
Pastre, Dominique
2
2002
Integrating quantitative and qualitative fuzzy temporal constraints. Zbl 1098.68101
Badaloni, Silvana; Falda, Marco; Giacomin, Massimiliano
2
2004
Approximating most specific concepts in description logics with existential restrictions. Zbl 1013.68218
Küsters, Ralf; Molitor, Ralf
2
2002
Duplication monotonicity in the allocation of indivisible goods. Zbl 1464.91055
Kuckuck, Benno; Rothe, Jörg
2
2019
Collaborative filtering supporting web site navigation. Zbl 1062.68507
Greco, Gianluigi; Greco, Sergio; Zumpano, Ester
1
2004
Tag recommendations in social bookmarking systems. Zbl 1184.68074
Jäschke, Robert; Marinho, Leandro; Hotho, Andreas; Schmidt-Thieme, Lars; Stumme, Gerd
1
2008
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
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
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
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
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
A compressed generalized hypertree decomposition-based solving technique for non-binary constraint satisfaction problems. Zbl 1373.68369
Amroun, Kamal; Habbas, Zineb; Aggoune-Mtalaa, Wassila
1
2016
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
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
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
A heuristic for learning decision trees and pruning them into classification rules. Zbl 1159.68534
Ranilla, José; Luaces, Oscar; Bahamonde, Antonio
1
2003
ClusDM: A multiple criteria decision method for heterogeneous data sets. Zbl 1159.68570
Valls, Aïda
1
2003
The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433
Sutcliffe, Geoff
6
2019
Duplication monotonicity in the allocation of indivisible goods. Zbl 1464.91055
Kuckuck, Benno; Rothe, Jörg
2
2019
Hierarchical invention of theorem proving strategies. Zbl 1462.68213
Jakubův, Jan; Urban, Josef
4
2018
The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220
Sutcliffe, Geoff
4
2018
How to share knowledge by gossiping. Zbl 1373.68392
Herzig, Andreas; Maffre, Faustine
9
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
6
2016
Neighbourhood SAC: extensions and new algorithms. Zbl 1373.68388
Wallace, Richard J.
4
2016
Solving permutation flowshop scheduling problems with a discrete differential evolution algorithm. Zbl 1373.68385
Santucci, Valentino; Baioletti, Marco; Milani, Alfredo
3
2016
Optimally solving permutation sorting problems with efficient partial expansion bidirectional heuristic search. Zbl 1373.68204
Lippi, Marco; Ernandes, Marco; Felner, Ariel
2
2016
The CADE-25 automated theorem proving system competition – CASC-25. Zbl 1373.68368
Sutcliffe, Geoff; Urban, Josef
1
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
1
2016
Algorithms for computing backbones of propositional formulae. Zbl 1373.68379
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
13
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
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
5
2013
Towards efficient MUS extraction. Zbl 1248.68450
Belov, Anton; Lynce, Inês; Marques-Silva, Joao
17
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
4
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
48
2011
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
6
2011
Symmetry-breaking answer set solving. Zbl 1215.68212
Drescher, Christian; Tifrea, Oana; Walsh, Toby
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 weighted CSP approach to cost-optimal planning. Zbl 1233.68205
Cooper, Martin C.; De Roquemaurel, Marie; Régnier, Pierre
3
2011
Learning and using domain-specific heuristics in ASP solvers. Zbl 1215.68207
Balduccini, Marcello
2
2011
A logical characterisation of ordered disjunction. Zbl 1218.68069
Cabalar, Pedro
2
2011
Restricting backtracking in connection calculi. Zbl 1205.68363
Otten, Jens
12
2010
Implementing a fair monodic temporal logic prover. Zbl 1206.68283
Ludwig, Michel; Hustadt, Ullrich
8
2010
Interactive verification of concurrent systems using symbolic execution. Zbl 1205.68217
Bäumler, Simon; Balser, Michael; Nafz, Florian; Reif, Wolfgang; Schellhorn, Gerhard
7
2010
SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver
5
2010
The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220
Sutcliffe, Geoff
5
2010
An application of automated reasoning in natural language question answering. Zbl 1205.68360
Furbach, Ulrich; Glöckner, Ingo; Pelzer, Björn
4
2010
Automated theorem proving in quasigroup and loop theory. Zbl 1204.68181
Phillips, J. D.; Stanovský, David
4
2010
Representation and monitoring of commitments and norms using OWL. Zbl 1216.68283
Fornara, Nicoletta; Colombetti, Marco
4
2010
Verifying agents with memory is harder than it seemed. Zbl 1216.68257
Bulling, Nils; Jamroga, Wojciech
4
2010
Subterm contextual rewriting. Zbl 1206.68164
Weidenbach, Christoph; Wischnewski, Patrick
2
2010
CTL-RP: A computation tree logic resolution prover. Zbl 1205.68365
Zhang, Lan; Hustadt, Ullrich; Dixon, Clare
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
5
2009
OMBO: An opponent modeling approach. Zbl 1200.68246
Ledezma, Agapito; Aler, Ricardo; Sanchis, Araceli; Borrajo, Daniel
4
2009
On stability and convergence of the population-dynamics in differential evolution. Zbl 1200.68185
Dasgupta, Sambarta; Das, Swagatam; Biswas, Arijit; Abraham, Ajith
3
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
4
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
8
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
6
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
4
2007
A clustering coefficient for weighted networks, with application to gene expression data. Zbl 1189.68084
Kalna, Gabriela; Higham, Desmond J.
4
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
15
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
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
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
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
3
2004
Integrating quantitative and qualitative fuzzy temporal constraints. Zbl 1098.68101
Badaloni, Silvana; Falda, Marco; Giacomin, Massimiliano
2
2004
Collaborative filtering supporting web site navigation. Zbl 1062.68507
Greco, Gianluigi; Greco, Sergio; Zumpano, Ester
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
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
Function variables for constraint programming. Zbl 1159.68390
Hnich, Brahim
6
2003
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
Understanding intelligent agents: analysis and synthesis. Zbl 1083.68553
Fox, John; Beveridge, Martin; Glasspool, David
1
2003
A heuristic for learning decision trees and pruning them into classification rules. Zbl 1159.68534
Ranilla, José; Luaces, Oscar; Bahamonde, Antonio
1
2003
ClusDM: A multiple criteria decision method for heterogeneous data sets. Zbl 1159.68570
Valls, Aïda
1
2003
E – a brainiac theorem prover. Zbl 1020.68084
Schulz, Stephan
67
2002
The design and implementation of VAMPIRE. Zbl 1021.68082
Riazanov, Alexandre; Voronkov, Andrei
65
2002
A phytography of WALDMEISTER. Zbl 1021.68083
Löchner, Bernd; Hillenbrand, Thomas
8
2002
The development of CASC. Zbl 1019.68101
Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian
7
2002
Extracting symbolic rules from trained neural network ensembles. Zbl 1102.68609
Zhou, Zhi-Hua; Jiang, Yuan; Chen, Shi-Fu
6
2002
...and 10 more Documents
all top 5

Cited by 973 Authors

24 Urban, Josef
12 Marques-Silva, João P.
11 Kaliszyk, Cezary
11 Voronkov, Andrei
10 Blanchette, Jasmin Christian
10 Sutcliffe, Geoff
8 Eiter, Thomas
7 Dodaro, Carmine
7 Gebser, Martin
7 Maratea, Marco
7 Schaub, Torsten H.
6 Böhme, Sascha
6 Hustadt, Ullrich
6 Jakubův, Jan
6 Leone, Nicola
6 Otten, Jens
6 Paulson, Lawrence Charles
6 Reger, Giles
5 Barrett, Clark W.
5 Bentkamp, Alexander
5 Benzmüller, Christoph Ewald
5 Dixon, Clare
5 Ignatyev, Alexey A.
5 Krennwallner, Thomas
5 Mencía, Carlos
5 Previti, Alessandro
5 Schellhorn, Gerhard
5 Schmidt, Renate A.
5 Suda, Martin
5 Tinelli, Cesare
5 Tourret, Sophie
5 Vukmirović, Petar
4 Erdem, Esra
4 Herzig, Andreas
4 Janota, Mikoláš
4 Järvisalo, Matti
4 Kaminski, Roland
4 Kovács, Laura Ildikó
4 Nipkow, Tobias
4 Peñaloza, Rafael
4 Reif, Wolfgang
4 Ricca, Francesco
4 Schulz, Stephan
4 Stump, Aaron
4 Vyskočil, Jiří
4 Weidenbach, Christoph
4 Wojtczak, Dominik
3 Alviano, Mario
3 Apt, Krzysztof Rafal
3 Baioletti, Marco
3 Baumgartner, Peter
3 Becker, Bernd
3 Brown, Chad Edward
3 Chvalovský, Karel
3 Cruanes, Simon
3 Davidović, Tatjana
3 Düntsch, Ivo
3 Faber, Wolfgang
3 Felner, Ariel
3 Frisch, Alan M.
3 Furbach, Ulrich
3 Gottlob, Georg
3 Heule, Marijn J. H.
3 Hoder, Kryštof
3 Janhunen, Tomi
3 Kalech, Meir
3 Kaminka, Gal A.
3 Kühlwein, Daniel
3 Law, Mark M.
3 Lombardi, Michele
3 Miguel, Ian
3 Milani, Alfredo
3 Milano, Michela
3 Oddi, Angelo
3 Olšák, Miroslav
3 Ranise, Silvio
3 Rawson, Michael
3 Russo, Alessandra M.
3 Santucci, Valentino
3 Straccia, Umberto
3 Tofan, Bogdan
3 Waldmann, Uwe
3 Widmer, Gerhard
3 Winter, Michael
2 Alsinet, Teresa
2 Amendola, Giovanni
2 Argelich, Josep
2 Asperti, Andrea
2 Bancerek, Grzegorz
2 Béjar, Ramón
2 Ben-Eliyahu-Zohary, Rachel
2 Benini, Luca
2 Bibel, Wolfgang
2 Bifet, Albert
2 Bogaerts, Bart
2 Boutilier, Craig
2 Broda, Krysia B.
2 Cabalar, Pedro
2 Carlsson, Mats
2 Cesta, Amedeo
...and 873 more Authors
all top 5

Cited in 78 Journals

43 Artificial Intelligence
34 Journal of Automated Reasoning
30 Theory and Practice of Logic Programming
25 Annals of Mathematics and Artificial Intelligence
18 Constraints
11 Journal of Applied Logic
9 Information Sciences
8 Information and Computation
8 International Journal of Approximate Reasoning
7 Theoretical Computer Science
7 Machine Learning
6 European Journal of Operational Research
6 ACM Transactions on Computational Logic
5 Formal Aspects of Computing
5 Logical Methods in Computer Science
4 Discrete Applied Mathematics
4 Fuzzy Sets and Systems
4 Journal of Symbolic Computation
4 AI Communications
4 Fundamenta Informaticae
3 Journal of Computer and System Sciences
3 Computers & Operations Research
3 Annals of Operations Research
3 Formal Methods in System Design
3 The Journal of Artificial Intelligence Research (JAIR)
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 Journal of Global Optimization
2 Journal of Applied Non-Classical Logics
2 International Journal of Computer Vision
2 Journal of Heuristics
2 Journal of Scheduling
2 Computational Intelligence
2 Optimization Letters
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 Science of Computer Programming
1 Social Choice and Welfare
1 Journal of Computer Science and Technology
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 Theory of Computing Systems
1 Discrete Dynamics in Nature and Society
1 Electronic Commerce Research
1 Natural Computing
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 The Review of Symbolic Logic
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