×

zbMATH — the first resource for mathematics

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: 254 Publications (since 1996)
References Indexed: 24 Publications with 867 References.
all top 5

Authors

11 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 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 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
1 Bahamonde, Antonio
1 Bai, Yun
...and 464 more Authors

Publications by Year

Citations contained in zbMATH Open

102 Publications have been cited 471 times in 403 Documents Cited by Year
The design and implementation of VAMPIRE. Zbl 1021.68082
Riazanov, Alexandre; Voronkov, Andrei
63
2002
E – a brainiac theorem prover. Zbl 1020.68084
Schulz, Stephan
52
2002
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
45
2011
The state of CASC. Zbl 1112.68464
Sutcliffe, Geoff; Suttner, Christian
14
2006
Towards efficient MUS extraction. Zbl 1248.68450
Belov, Anton; Lynce, Inês; Marques-Silva, Joao
14
2012
Algorithms for computing backbones of propositional formulae. Zbl 1373.68379
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
11
2015
Restricting backtracking in connection calculi. Zbl 1205.68363
Otten, Jens
8
2010
Finding the most prominent group in complex networks. Zbl 1189.68087
Puzis, Rami; Elovici, Yuval; Dolev, Shlomi
7
2007
Evaluating and certifying QBFs: a comparison of state-of-the-art tools. Zbl 1186.68440
Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando
7
2009
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
The development of CASC. Zbl 1019.68101
Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian
7
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
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 phytography of WALDMEISTER. Zbl 1021.68083
Löchner, Bernd; Hillenbrand, Thomas
6
2002
Implementing a fair monodic temporal logic prover. Zbl 1206.68283
Ludwig, Michel; Hustadt, Ullrich
6
2010
How to share knowledge by gossiping. Zbl 1373.68392
Herzig, Andreas; Maffre, Faustine
6
2017
The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220
Sutcliffe, Geoff
5
2010
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
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
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
Function variables for constraint programming. Zbl 1159.68390
Hnich, Brahim
5
2003
SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver
5
2010
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
5
2007
A note on the utility of incremental learning. Zbl 0967.68087
Giraud-Carrier, Christophe
5
2000
The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367
Sutcliffe, Geoff
5
2016
The CADE-21 automated theorem proving system competition. Zbl 1147.68699
Sutcliffe, Geoff
4
2008
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
Extracting symbolic rules from trained neural network ensembles. Zbl 1102.68609
Zhou, Zhi-Hua; Jiang, Yuan; Chen, Shi-Fu
4
2002
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
Anytime AND/OR depth-first search for combinatorial optimization. Zbl 1250.90075
Otten, Lars; Dechter, Rina
4
2012
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
Combining approaches for solving satisfiability problems with qualitative preferences. Zbl 1296.68164
Di Rosa, Emanuele; Giunchiglia, Enrico
3
2013
Symmetry-breaking answer set solving. Zbl 1215.68212
Drescher, Christian; Tifrea, Oana; Walsh, Toby
3
2011
A clustering coefficient for weighted networks, with application to gene expression data. Zbl 1189.68084
Kalna, Gabriela; Higham, Desmond J.
3
2007
Construction of Boolean contact algebras. Zbl 1070.03042
Düntsch, Ivo; Winter, Michael
3
2004
A weighted CSP approach to cost-optimal planning. Zbl 1233.68205
Cooper, Martin C.; De Roquemaurel, Marie; Régnier, Pierre
3
2011
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
OMBO: An opponent modeling approach. Zbl 1200.68246
Ledezma, Agapito; Aler, Ricardo; Sanchis, Araceli; Borrajo, Daniel
3
2009
Quantitative disjunctive logic programming: Semantics and computation. Zbl 0967.68030
Mateis, Cristinel
3
2000
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
Challenging SMT solvers to verify neural networks. Zbl 1248.68462
Pulina, Luca; Tacchella, Armando
3
2012
Learning and using domain-specific heuristics in ASP solvers. Zbl 1215.68207
Balduccini, Marcello
2
2011
Integrating quantitative and qualitative fuzzy temporal constraints. Zbl 1098.68101
Badaloni, Silvana; Falda, Marco; Giacomin, Massimiliano
2
2004
Scheduling with uncertainty: a proactive approach using partial order schedules. Zbl 1161.68366
Policella, Nicola
2
2005
LRBNN: a lazy radial basis neural network model. Zbl 1129.68068
Valls, José M.; Galván, Inés M.; Isasi, Pedro
2
2007
Strong and weak points of the MUSCADET theorem prover – examples from CASC-JC. Zbl 1019.68102
Pastre, Dominique
2
2002
Using AI and machine learning to study expressive music performance: Project survey and first report. Zbl 0984.68537
Widmer, Gerhard
2
2001
Approximating most specific concepts in description logics with existential restrictions. Zbl 1013.68218
Küsters, Ralf; Molitor, Ralf
2
2002
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
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
Complexity results for restricted credulous default reasoning. Zbl 0967.68132
Zhao, Xishun; Ding, Decheng; Kleine Büning, Hans
2
2000
Verification of partial designs using incremental QBF. Zbl 1373.68382
Miller, Christian; Marin, Paolo; Becker, Bernd
2
2015
Solving permutation flowshop scheduling problems with a discrete differential evolution algorithm. Zbl 1373.68385
Santucci, Valentino; Baioletti, Marco; Milani, Alfredo
2
2016
Optimally solving permutation sorting problems with efficient partial expansion bidirectional heuristic search. Zbl 1373.68204
Lippi, Marco; Ernandes, Marco; Felner, Ariel
2
2016
Towards a theory of random walk planning: regress factors, fair homogeneous graphs and extensions. Zbl 1338.68245
Nakhost, Hootan; Müller, Martin
2
2014
The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433
Sutcliffe, Geoff
2
2019
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
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
Representation and monitoring of commitments and norms using OWL. Zbl 1216.68283
Fornara, Nicoletta; Colombetti, Marco
1
2010
A logical characterisation of ordered disjunction. Zbl 1218.68069
Cabalar, Pedro
1
2011
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
Collaborative filtering supporting web site navigation. Zbl 1062.68507
Greco, Gianluigi; Greco, Sergio; Zumpano, Ester
1
2004
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
Endurants and perdurants in directly depicting ontologies. Zbl 1098.68102
Bittner, Thomas; Donnelly, Maureen; Smith, Barry
1
2004
Tools for modeling and solving search problems. Zbl 1127.68365
East, Deborah; Iakhiaev, Mikhail; Mikitiuk, Artur; Truszczyński, Mirosław
1
2006
On the role of modeling causal independence for system model compilation with OBDDs. Zbl 1127.68077
Torta, Gianluca; Torasso, Pietro
1
2007
An upper bound on computing all \(X\)-minimal models. Zbl 1129.68083
Avin, Chen; Ben-Eliyahu-Zohary, Rachel
1
2007
Qualitative pattern matching with linguistic terms. Zbl 1086.68541
Loiseau, Yannick; Prade, Henri; Boughanem, Mohand
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
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
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
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
Scheduling social tournaments locally. Zbl 1146.90411
Dotú, Iván; Van Hentenryck, Pascal
1
2007
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
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
Duplication monotonicity in the allocation of indivisible goods. Zbl 1464.91055
Kuckuck, Benno; Rothe, Jörg
1
2019
The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433
Sutcliffe, Geoff
2
2019
Duplication monotonicity in the allocation of indivisible goods. Zbl 1464.91055
Kuckuck, Benno; Rothe, Jörg
1
2019
How to share knowledge by gossiping. Zbl 1373.68392
Herzig, Andreas; Maffre, Faustine
6
2017
The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367
Sutcliffe, Geoff
5
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
2
2016
Optimally solving permutation sorting problems with efficient partial expansion bidirectional heuristic search. Zbl 1373.68204
Lippi, Marco; Ernandes, Marco; Felner, Ariel
2
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
11
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
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
3
2013
Towards efficient MUS extraction. Zbl 1248.68450
Belov, Anton; Lynce, Inês; Marques-Silva, Joao
14
2012
Anytime AND/OR depth-first search for combinatorial optimization. Zbl 1250.90075
Otten, Lars; Dechter, Rina
4
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
45
2011
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
5
2011
Dynamic magic sets and super-coherent answer set programs. Zbl 1215.68211
Alviano, Mario; Faber, Wolfgang
4
2011
Symmetry-breaking answer set solving. Zbl 1215.68212
Drescher, Christian; Tifrea, Oana; Walsh, Toby
3
2011
A weighted CSP approach to cost-optimal planning. Zbl 1233.68205
Cooper, Martin C.; De Roquemaurel, Marie; Régnier, Pierre
3
2011
Finitely recursive programs: decidability and bottom-up computation. Zbl 1235.68223
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola
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
1
2011
Restricting backtracking in connection calculi. Zbl 1205.68363
Otten, Jens
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
Implementing a fair monodic temporal logic prover. Zbl 1206.68283
Ludwig, Michel; Hustadt, Ullrich
6
2010
The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220
Sutcliffe, Geoff
5
2010
SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver
5
2010
Verifying agents with memory is harder than it seemed. Zbl 1216.68257
Bulling, Nils; Jamroga, Wojciech
4
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
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
Representation and monitoring of commitments and norms using OWL. Zbl 1216.68283
Fornara, Nicoletta; Colombetti, Marco
1
2010
Evaluating and certifying QBFs: a comparison of state-of-the-art tools. Zbl 1186.68440
Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando
7
2009
Heuristics for dynamically adapting propagation in constraint satisfaction problems. Zbl 1185.90191
Stergiou, Kostas
5
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
OMBO: An opponent modeling approach. Zbl 1200.68246
Ledezma, Agapito; Aler, Ricardo; Sanchis, Araceli; Borrajo, Daniel
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
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
7
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
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
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
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.
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
On the role of modeling causal independence for system model compilation with OBDDs. Zbl 1127.68077
Torta, Gianluca; Torasso, Pietro
1
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
14
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
Scheduling with uncertainty: a proactive approach using partial order schedules. Zbl 1161.68366
Policella, Nicola
2
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
Endurants and perdurants in directly depicting ontologies. Zbl 1098.68102
Bittner, Thomas; Donnelly, Maureen; Smith, Barry
1
2004
Qualitative pattern matching with linguistic terms. Zbl 1086.68541
Loiseau, Yannick; Prade, Henri; Boughanem, Mohand
1
2004
Query rewriting with symmetric constraints. Zbl 1083.68053
Koch, Christoph
1
2004
Function variables for constraint programming. Zbl 1159.68390
Hnich, Brahim
5
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
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
Understanding intelligent agents: analysis and synthesis. Zbl 1083.68553
Fox, John; Beveridge, Martin; Glasspool, David
1
2003
The design and implementation of VAMPIRE. Zbl 1021.68082
Riazanov, Alexandre; Voronkov, Andrei
63
2002
E – a brainiac theorem prover. Zbl 1020.68084
Schulz, Stephan
52
2002
The development of CASC. Zbl 1019.68101
Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian
7
2002
A phytography of WALDMEISTER. Zbl 1021.68083
Löchner, Bernd; Hillenbrand, Thomas
6
2002
Extracting symbolic rules from trained neural network ensembles. Zbl 1102.68609
Zhou, Zhi-Hua; Jiang, Yuan; Chen, Shi-Fu
4
2002
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
Feature ranking in rough sets. Zbl 1089.68644
Hu, Keyun; Lu, Yuchang; Shi, Chunyi
2
2002
History-based diagnosis templates in the framework of the situation calculus. Zbl 1007.68178
Iwan, Gero
1
2002
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
Using AI and machine learning to study expressive music performance: Project survey and first report. Zbl 0984.68537
Widmer, Gerhard
2
2001
Implementing prioritized logic programming. Zbl 1007.68027
Zhang, Yan; Wu, Cheng-Min; Bai, Yun
1
2001
A note on the utility of incremental learning. Zbl 0967.68087
Giraud-Carrier, Christophe
5
2000
...and 2 more Documents
all top 5

Cited by 846 Authors

19 Urban, Josef
11 Marques-Silva, João P.
10 Kaliszyk, Cezary
10 Voronkov, Andrei
8 Blanchette, Jasmin Christian
8 Eiter, Thomas
7 Dodaro, Carmine
7 Maratea, Marco
7 Schaub, Torsten H.
7 Sutcliffe, Geoff
6 Böhme, Sascha
6 Gebser, Martin
6 Hustadt, Ullrich
6 Leone, Nicola
6 Paulson, Lawrence Charles
5 Benzmüller, Christoph Ewald
5 Dixon, Clare
5 Krennwallner, Thomas
5 Mencía, Carlos
5 Previti, Alessandro
5 Schellhorn, Gerhard
5 Schmidt, Renate A.
4 Barrett, Clark W.
4 Ignatyev, Alexey A.
4 Janota, Mikoláš
4 Kaminski, Roland
4 Kovács, Laura Ildikó
4 Nipkow, Tobias
4 Otten, Jens
4 Peñaloza, Rafael
4 Reif, Wolfgang
4 Ricca, Francesco
4 Stump, Aaron
4 Tinelli, Cesare
4 Vyskočil, Jiří
3 Alviano, Mario
3 Baumgartner, Peter
3 Davidović, Tatjana
3 Düntsch, Ivo
3 Erdem, Esra
3 Faber, Wolfgang
3 Gottlob, Georg
3 Herzig, Andreas
3 Hoder, Kryštof
3 Jakubův, Jan
3 Janhunen, Tomi
3 Järvisalo, Matti
3 Kalech, Meir
3 Kaminka, Gal A.
3 Kühlwein, Daniel
3 Law, Mark M.
3 Lombardi, Michele
3 Milano, Michela
3 Oddi, Angelo
3 Ranise, Silvio
3 Russo, Alessandra M.
3 Schulz, Stephan
3 Straccia, Umberto
3 Suda, Martin
3 Tofan, Bogdan
3 Tourret, Sophie
3 Waldmann, Uwe
3 Weidenbach, Christoph
3 Winter, Michael
2 Alsinet, Teresa
2 Amendola, Giovanni
2 Argelich, Josep
2 Asperti, Andrea
2 Baioletti, Marco
2 Bancerek, Grzegorz
2 Becker, Bernd
2 Béjar, Ramón
2 Ben-Eliyahu-Zohary, Rachel
2 Benini, Luca
2 Bentkamp, Alexander
2 Boutilier, Craig
2 Broda, Krysia B.
2 Brown, Chad Edward
2 Cabalar, Pedro
2 Carlsson, Mats
2 Cesta, Amedeo
2 Claessen, Koen
2 Comin, Carlo
2 Cooper, Martin C.
2 Cropper, Andrew
2 De Cock, Martine
2 de Moura, Leonardo
2 Dechter, Rina
2 Degtyarev, Anatoli Ivanovich
2 Déharbe, David
2 Demolombe, Robert
2 Diéguez, Martín
2 Dvořák, Wolfgang
2 Egly, Uwe
2 Fariñas del Cerro, Luis
2 Felner, Ariel
2 Fichte, Johannes Klaus
2 Fink, Michael
2 Fodor, Paul
2 Fontaine, Pascal
...and 746 more Authors
all top 5

Cited in 72 Journals

40 Artificial Intelligence
34 Journal of Automated Reasoning
29 Theory and Practice of Logic Programming
24 Annals of Mathematics and Artificial Intelligence
18 Constraints
11 Journal of Applied Logic
8 Information and Computation
7 Information Sciences
7 Theoretical Computer Science
7 International Journal of Approximate Reasoning
6 Machine Learning
6 ACM Transactions on Computational Logic
5 Formal Aspects of Computing
5 European Journal of Operational Research
4 Discrete Applied Mathematics
4 Fuzzy Sets and Systems
4 Journal of Symbolic Computation
4 Logical Methods in Computer Science
3 Journal of Computer and System Sciences
3 Annals of Operations Research
3 Mathematical Problems in Engineering
3 Fundamenta Informaticae
3 Mathematics in Computer Science
2 Information Processing Letters
2 Computers & Operations Research
2 AI Communications
2 Journal of Global Optimization
2 Formal Methods in System Design
2 Journal of Applied Non-Classical Logics
2 The Journal of Artificial Intelligence Research (JAIR)
2 Journal of Heuristics
2 Soft Computing
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 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 Journal of Statistical Computation and Simulation
1 Pattern Recognition
1 Open Economies Review
1 International Journal of Computer Vision
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 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

Citations by Year