Frontiers in Artificial Intelligence and Applications Short Title: Front. Artif. Intell. Appl. Publisher: IOS Press, Amsterdam ISSN: 0922-6389; 1879-8314/e Online: http://www.iospress.nl/bookserie/frontiers-in-artificial-intelligence-and-applications/https://ebooks.iospress.nl/bookseries/frontiers-in-artificial-intelligence-and-applications Comments: Book series Documents Indexed: 173 Publications (since 1988) all top 5 Latest Volumes 336 (2021) 326 (2020) 325 (2020) 305 (2018) 287 (2016) 285 (2016) 284 (2016) 266 (2014) 264 (2014) 263 (2014) 258 (2014) 245 (2012) 242 (2012) 241 (2012) 227 (2011) 226 (2011) 225 (2011) 222 (2011) 221 (2010) 220 (2010) 219 (2010) 217 (2010) 216 (2010) 215 (2010) 213 (2010) 212 (2010) 211 (2010) 210 (2010) 209 (2010) 208 (2010) 207 (2010) 206 (2010) 204 (2009) 202 (2009) 194 (2009) 193 (2009) 192 (2009) 191 (2009) 190 (2009) 187 (2009) 186 (2009) 185 (2009) 184 (2008) 183 (2008) 182 (2008) 179 (2008) 178 (2008) 176 (2008) 173 (2008) 172 (2008) 171 (2008) 168 (2008) 167 (2008) 166 (2008) 163 (2007) 161 (2007) 159 (2007) 157 (2007) 155 (2007) 154 (2007) 150 (2006) 148 (2006) 147 (2006) 146 (2006) 145 (2006) 144 (2006) 142 (2006) 141 (2006) 140 (2006) 136 (2006) 132 (2005) 131 (2005) 130 (2005) 129 (2005) 128 (2005) 126 (2005) 124 (2005) 121 (2005) 119 (2005) 118 (2005) 117 (2005) 115 (2005) 113 (2004) 112 (2004) 111 (2004) 110 (2004) 109 (2004) 108 (2004) 105 (2004) 104 (2003) 103 (2003) 102 (2004) 101 (2003) 100 (2003) 98 (2003) 96 (2003) 95 (2003) 94 (2003) 93 (2003) 91 (2003) ...and 71 more Volumes all top 5 Authors / Editors 23 Jaakkola, Hannu 18 Kangassalo, Hannu 8 Kiyoki, Yasushi 7 Fujita, Hamido 7 Kawaguchi, Eiji 6 Abe, Jair Minoro 6 Ohsuga, Setsuo 4 da Silva Filho, João Inácio 4 Jain, Lakhmi C. 4 Tokuda, Takahiro 3 Abraham, Ajith 3 Bassis, Simone 3 De Raedt, Luc 3 Goertzel, Ben 3 Lambert-Torres, Germano 3 van Maaren, Hans 3 Walsh, Toby 3 Yoshida, Naofumi 2 Aguiló, Isabel 2 Apolloni, Bruno 2 Baroni, Pietro 2 Biere, Armin 2 Breuker, Joost 2 Caplinskas, Albertas 2 Cerutti, Federico 2 Doherty, Patrick 2 Escrig, Maria Teresa 2 Ghallab, Malik 2 Heule, Marijn J. H. 2 Hori, Koichi 2 Howlett, Robert J. 2 Johannesson, Paul 2 Kersting, Kristian 2 Kitahashi, Tadahiro 2 Koppen, Mario 2 Mejri, Mohamed 2 Mohammadian, Masoud 2 Morabito, Carlo Francesco 2 Perini, Anna 2 Prakken, Henry 2 Radeva, Petia 2 Rozman, Ivan 2 Staab, Steffen 2 Stender, Joachim 2 Tyugu, Ènn Kharal’dovich 2 van Harmelen, Frank 2 Vitrià, Jordi 2 Wang, Pei 2 Wangler, Benkt 2 Welzer, Tatjana 2 Winkels, Radboud 2 Zaraté, Pascale 1 Aamodt, Agnar 1 Adam, Frédéric 1 Addis, Tom 1 Ågotnes, Thomas 1 Aguilar, Josep 1 Ala-Siuru, P. 1 Albert, Alain 1 Almeida, Luís B. 1 Alquézar, René 1 Alsinet, Teresa 1 Angulo, Cecilio 1 Appolloni, B. 1 Azevedo, Francisco 1 Baba, Norio 1 Bäckström, Christer 1 Bao, Feng 1 Bao, Jie 1 Barro, Senén 1 Bārzdiņš, Jānis M. 1 Belaud, Jean Pierre 1 Bench-Capon, Trevor J. M. 1 Bennett, Brandon 1 Besnard, Philippe 1 Bessiere, Christian 1 Bhattacharya, Maumita 1 Bifet, Albert 1 Bistarelli, Stefano 1 Blay-Fornarino, M. 1 Borrajo, Daniel 1 Bouquet, Paolo 1 Brewska, Gerhard 1 Budzyńska, Katarzyna 1 Bugarín, Alberto 1 Buitelaar, P. 1 Camilleri, Guy 1 Castillo, Luis 1 Catala, Alejandro 1 Cesta, Amedeo 1 Ceusters, Werner 1 Chailloux, Jérôme 1 Charrel, Pierre-Jean 1 Chella, Antonio 1 Chen, Xing 1 Cimiano, Philipp 1 Coelho, Helder 1 Coradeschi, Silvia 1 Cortés, Ulises 1 Cruvinel, Paulo Estevão ...and 200 more Authors all top 5 Fields 172 Computer science (68-XX) 101 General and overarching topics; collections (00-XX) 7 Mathematical logic and foundations (03-XX) 6 Biology and other natural sciences (92-XX) 5 Operations research, mathematical programming (90-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 37 Publications have been cited 239 times in 235 Documents Cited by ▼ Year ▼ Handbook of satisfiability. Zbl 1183.68568 160 2009 Evolving knowledge bases. Specification and semantics. Zbl 1056.68138Leite, João Alexandre 7 2003 Qualitative spatial reasoning: theory and practice: application to robot navigation. Zbl 0923.68115Escrig, M. Teresa; Toledo, Francisco 7 1998 Conditional and preferential logics. Proof methods and theorem proving. Zbl 1210.03025Pozzato, Gian Luca 5 2010 SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028 5 2000 CommonKADS library for expertise modelling. Reusable problem solving components. Zbl 0876.68100 4 1994 Norms, logics and information systems. New studies in deontic logic and computer science. Selected papers of the 4th \(\Delta\)EON workshop, Bologna, Italy, January 8–10, 1998. Zbl 0918.00016 4 1999 Multi-relational data mining. Zbl 1138.68376Knobbe, A. J. 3 2006 Ontology learning and population: Bridging the gap between text and knowledge. Zbl 1147.68622 3 2008 The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains. Zbl 1185.68685van Otterlo, Martijn 3 2009 A class of algorithms for distributed constraint optimization. Zbl 1180.90355Petcu, Adrian 3 2009 Constraint solving over multi-valued logics. Application to digital circuits. Zbl 1033.68096Azevedo, Francisco 3 2003 Adaptive stream mining: Pattern learning and mining from evolving data streams. Zbl 1204.68153Bifet, Albert 2 2010 Uncertainty treatment using paraconsistent logic. Introducing paraconsistent artificial neural networks. Zbl 1207.68394da Silva Filho, João Inácio; Lambert-Torres, Germano; Abe, Jair Minoro 2 2010 Fuzzy clustering via proportional membership model. Zbl 1084.68118Nascimento, Susana 2 2005 Reusable components for knowledge modelling. Case studies in parametric design problem solving. Zbl 0963.68569Motta, E. 2 1999 Active mining. New directions of data mining. Zbl 1058.68048 2 2002 Parallel genetic algorithms. Theory & applications. Incl. 1 disk. Zbl 0853.68004 2 1993 Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001 2 2021 Algorithms and architectures of artificial intelligence. Zbl 1153.68559Tyugu, E. 1 2007 An inductive logic programming approach to statistical relational learning. Zbl 1111.68103Kersting, Kristian 1 2006 Computational models of argument (COMMA 2010). Proceedings of 3rd conference, Desanzano del Garda, Italy, September 2010. Zbl 1198.68234 1 2010 ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Zbl 1207.68003 1 2010 ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Zbl 1296.68011 1 2014 Planning, scheduling and constraint satisfaction: from theory to practice. Selected papers of the workshop on constraint satisfaction techniques for planning and scheduling problems and the workshop on planning and scheduling: bridging theory to practice, August 23, 2004, as part of the 16th European conference on artificial intelligence 2004 (ECAI 2004), August 22–27, 2004, Valencia, Spain. Zbl 1083.68598 1 2005 Advances in inductive logic programming. Zbl 0845.68002 1 1996 Genetic algorithms in optimisation, simulation and modelling. Zbl 0828.68080 1 1994 Legal knowledge engineering: a modelling approach. Zbl 0845.68097Valente, André 1 1995 Explorations in intelligent tutoring and help. Zbl 0862.68108Winkels, Radboud 1 1992 Spatiotemporal models in biological and artificial systems. Workshop, Sintra, Portugal, November 6–8, 1996. Zbl 0878.68009 1 1997 Model-based reasoning about learner behaviour. Zbl 0913.68166de Koning, Kees 1 1997 Computational models of argument. Proceedings of COMMA 2008. 2nd international conference on computational models of argument, Toulouse, France, May 28–30, 2008. Zbl 1151.68570 1 2008 SCAI ’89. Artificial intelligence ’89, Scandinavian conference. Proceedings of the SCAI ’89, Tampere, Finland, 13-15 June 1989. Zbl 0853.68006 1 1989 Annotation for the semantic web. Zbl 1046.68128 1 2003 Stochastic models of neural networks. Zbl 1058.68098Turchetti, Claudio 1 2004 Computational models of argument. Proceedings of the 1st conference, COMMA 2006, Liverpool, UK, September 11–12, 2006. Zbl 1400.68021 1 2006 Computational models of argument. Proceedings of the 4th conference, COMMA 2012, Vienna, Austria, September 10–12, 2012. Zbl 1401.68011 1 2012 Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001 2 2021 ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Zbl 1296.68011 1 2014 Computational models of argument. Proceedings of the 4th conference, COMMA 2012, Vienna, Austria, September 10–12, 2012. Zbl 1401.68011 1 2012 Conditional and preferential logics. Proof methods and theorem proving. Zbl 1210.03025Pozzato, Gian Luca 5 2010 Adaptive stream mining: Pattern learning and mining from evolving data streams. Zbl 1204.68153Bifet, Albert 2 2010 Uncertainty treatment using paraconsistent logic. Introducing paraconsistent artificial neural networks. Zbl 1207.68394da Silva Filho, João Inácio; Lambert-Torres, Germano; Abe, Jair Minoro 2 2010 Computational models of argument (COMMA 2010). Proceedings of 3rd conference, Desanzano del Garda, Italy, September 2010. Zbl 1198.68234 1 2010 ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Zbl 1207.68003 1 2010 Handbook of satisfiability. Zbl 1183.68568 160 2009 The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains. Zbl 1185.68685van Otterlo, Martijn 3 2009 A class of algorithms for distributed constraint optimization. Zbl 1180.90355Petcu, Adrian 3 2009 Ontology learning and population: Bridging the gap between text and knowledge. Zbl 1147.68622 3 2008 Computational models of argument. Proceedings of COMMA 2008. 2nd international conference on computational models of argument, Toulouse, France, May 28–30, 2008. Zbl 1151.68570 1 2008 Algorithms and architectures of artificial intelligence. Zbl 1153.68559Tyugu, E. 1 2007 Multi-relational data mining. Zbl 1138.68376Knobbe, A. J. 3 2006 An inductive logic programming approach to statistical relational learning. Zbl 1111.68103Kersting, Kristian 1 2006 Computational models of argument. Proceedings of the 1st conference, COMMA 2006, Liverpool, UK, September 11–12, 2006. Zbl 1400.68021 1 2006 Fuzzy clustering via proportional membership model. Zbl 1084.68118Nascimento, Susana 2 2005 Planning, scheduling and constraint satisfaction: from theory to practice. Selected papers of the workshop on constraint satisfaction techniques for planning and scheduling problems and the workshop on planning and scheduling: bridging theory to practice, August 23, 2004, as part of the 16th European conference on artificial intelligence 2004 (ECAI 2004), August 22–27, 2004, Valencia, Spain. Zbl 1083.68598 1 2005 Stochastic models of neural networks. Zbl 1058.68098Turchetti, Claudio 1 2004 Evolving knowledge bases. Specification and semantics. Zbl 1056.68138Leite, João Alexandre 7 2003 Constraint solving over multi-valued logics. Application to digital circuits. Zbl 1033.68096Azevedo, Francisco 3 2003 Annotation for the semantic web. Zbl 1046.68128 1 2003 Active mining. New directions of data mining. Zbl 1058.68048 2 2002 SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028 5 2000 Norms, logics and information systems. New studies in deontic logic and computer science. Selected papers of the 4th \(\Delta\)EON workshop, Bologna, Italy, January 8–10, 1998. Zbl 0918.00016 4 1999 Reusable components for knowledge modelling. Case studies in parametric design problem solving. Zbl 0963.68569Motta, E. 2 1999 Qualitative spatial reasoning: theory and practice: application to robot navigation. Zbl 0923.68115Escrig, M. Teresa; Toledo, Francisco 7 1998 Spatiotemporal models in biological and artificial systems. Workshop, Sintra, Portugal, November 6–8, 1996. Zbl 0878.68009 1 1997 Model-based reasoning about learner behaviour. Zbl 0913.68166de Koning, Kees 1 1997 Advances in inductive logic programming. Zbl 0845.68002 1 1996 Legal knowledge engineering: a modelling approach. Zbl 0845.68097Valente, André 1 1995 CommonKADS library for expertise modelling. Reusable problem solving components. Zbl 0876.68100 4 1994 Genetic algorithms in optimisation, simulation and modelling. Zbl 0828.68080 1 1994 Parallel genetic algorithms. Theory & applications. Incl. 1 disk. Zbl 0853.68004 2 1993 Explorations in intelligent tutoring and help. Zbl 0862.68108Winkels, Radboud 1 1992 SCAI ’89. Artificial intelligence ’89, Scandinavian conference. Proceedings of the SCAI ’89, Tampere, Finland, 13-15 June 1989. Zbl 0853.68006 1 1989 all cited Publications top 5 cited Publications all top 5 Cited by 556 Authors 15 Marques-Silva, João P. 7 Ignatyev, Alexey A. 7 Semenov, Aleksandr Anatol’evich 6 Biere, Armin 6 Janota, Mikoláš 6 Järvisalo, Matti 6 Schaub, Torsten H. 5 Heule, Marijn J. H. 5 Mencía, Carlos 5 Seidl, Martina 5 Weidenbach, Christoph 4 Ábrahám, Erika 4 Hoos, Holger H. 4 Kochemazov, Stepan 4 Kullmann, Oliver 4 Marić, Filip 4 Sebastiani, Roberto 4 Zaikin, Oleg Sergeevich 3 Davenport, James Harold 3 England, Matthew 3 Fleury, Mathias 3 Griggio, Alberto 3 Jabbour, Said 3 Kotsireas, Ilias S. 3 Leite, João 3 Saïs, Lakhdar 3 Sturm, Thomas 3 Szeider, Stefan 3 Woltran, Stefan 2 Arif, M. Fareed 2 Azevedo, Francisco 2 Banbara, Mutsunori 2 Becker, Bernd 2 Blanchette, Jasmin Christian 2 Bright, Curtis 2 Broersen, Jan M. 2 Buss, Sam 2 Chen, Jian-er 2 Cimatti, Alessandro 2 Cocco, Simona 2 Fontaine, Pascal 2 Gabbay, Dov M. 2 Ganesh, Vijay 2 Gebser, Martin 2 Giunchiglia, Enrico 2 Guller, Dušan 2 Hamadi, Youssef 2 Hyttinen, Antti 2 Kauers, Manuel 2 Kaufmann, Benjamin 2 Koutras, Costas D. 2 Kremer, Gereon 2 Kröning, Daniel 2 Leyton-Brown, Kevin 2 Lindauer, Marius 2 Lonsing, Florian 2 Maratea, Marco 2 Marti, Johannes 2 Monasson, Rémi 2 Morgado, António 2 Nadel, Alexander 2 Nightingale, Peter W. 2 Ordyniak, Sebastian 2 Otpuschennikov, Ilya V. 2 Otpushchennikov, Il’ya Vladimirovich 2 Passerini, Andrea 2 Peñaloza, Rafael 2 Pinosio, Riccardo 2 Previti, Alessandro 2 Raddaoui, Badran 2 Rantsoudis, Christos 2 Ricca, Francesco 2 Ryvchin, Vadim 2 Sahai, Tuhin 2 Schulte, Oliver 2 Simari, Guillermo Ricardo 2 Slota, Martin 2 Soeken, Mathias 2 Soh, Takehide 2 Suda, Martin 2 Thimm, Matthias 2 Tinelli, Cesare 2 Tompits, Hans 2 Trentin, Patrick 2 van der Torre, Leendert W. N. 2 Wallner, Johannes Peter 2 Wang, Jianxin 2 Xu, Chao 1 Abbott, John A. 1 Abe, Hidenao 1 Abe, Jair Minoro 1 Águila, I. M. 1 Akgün, Özgür 1 Al-Yahya, Tasniem Nasser 1 Alagi, Gábor 1 Alcazar, José Perez 1 Alferes, José Júlio 1 Aliane, Hassina 1 Alves Rocha, Thiago 1 Amadini, Roberto ...and 456 more Authors all top 5 Cited in 72 Journals 30 Artificial Intelligence 11 Journal of Automated Reasoning 8 Theoretical Computer Science 8 Annals of Mathematics and Artificial Intelligence 8 Theory and Practice of Logic Programming 6 Machine Learning 5 Constraints 4 Journal of Symbolic Computation 4 International Journal of Approximate Reasoning 3 Information Sciences 3 New Generation Computing 3 Journal of Heuristics 3 ACM Transactions on Computational Logic 3 Journal of Satisfiability, Boolean Modeling and Computation 2 Acta Informatica 2 Fuzzy Sets and Systems 2 Journal of Computer and System Sciences 2 Studia Logica 2 Journal of Computer Science and Technology 2 Algorithmica 2 International Journal of Intelligent Systems 2 Formal Aspects of Computing 2 Annals of Operations Research 2 Automation and Remote Control 2 Mathematical Problems in Engineering 2 Logical Methods in Computer Science 1 Communications on Pure and Applied Mathematics 1 Discrete Applied Mathematics 1 International Journal of Heat and Mass Transfer 1 Journal of Statistical Physics 1 Computing 1 The Journal of Symbolic Logic 1 SIAM Journal on Computing 1 Synthese 1 Cybernetics and Systems 1 Order 1 Computers & Operations Research 1 Asymptotic Analysis 1 Japan Journal of Industrial and Applied Mathematics 1 Computational Geometry 1 International Journal of Algebra and Computation 1 Communications in Statistics. Simulation and Computation 1 Bulletin of the American Mathematical Society. New Series 1 Computational Complexity 1 Archives of Control Sciences 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 Journal of Applied Non-Classical Logics 1 Advances in Applied Clifford Algebras 1 Top 1 The Journal of Artificial Intelligence Research (JAIR) 1 Applied Mathematical Finance 1 Doklady Mathematics 1 Nonlinear Dynamics 1 Data Mining and Knowledge Discovery 1 Journal of Applied Statistics 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 4OR 1 ACM Journal of Experimental Algorithmics 1 Fuzzy Optimization and Decision Making 1 Journal of Statistical Mechanics: Theory and Experiment 1 New Mathematics and Natural Computation 1 Mathematics in Computer Science 1 Statistical Analysis and Data Mining 1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 1 Journal of Theoretical Biology 1 Frontiers of Computer Science 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 DML. Discrete Mathematics Letters all top 5 Cited in 28 Fields 197 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 28 Operations research, mathematical programming (90-XX) 11 Combinatorics (05-XX) 9 Statistics (62-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Information and communication theory, circuits (94-XX) 4 Biology and other natural sciences (92-XX) 3 General and overarching topics; collections (00-XX) 3 Convex and discrete geometry (52-XX) 2 History and biography (01-XX) 2 Partial differential equations (35-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Probability theory and stochastic processes (60-XX) 2 Classical thermodynamics, heat transfer (80-XX) 2 Geophysics (86-XX) 2 Systems theory; control (93-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Measure and integration (28-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Citations by Year