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)

Citations contained in zbMATH Open

37 Publications have been cited 239 times in 235 Documents Cited by Year
Handbook of satisfiability. Zbl 1183.68568
2009
Evolving knowledge bases. Specification and semantics. Zbl 1056.68138
Leite, João Alexandre
2003
Qualitative spatial reasoning: theory and practice: application to robot navigation. Zbl 0923.68115
Escrig, M. Teresa; Toledo, Francisco
1998
Conditional and preferential logics. Proof methods and theorem proving. Zbl 1210.03025
Pozzato, Gian Luca
2010
SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028
2000
CommonKADS library for expertise modelling. Reusable problem solving components. Zbl 0876.68100
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
1999
Multi-relational data mining. Zbl 1138.68376
Knobbe, A. J.
2006
Ontology learning and population: Bridging the gap between text and knowledge. Zbl 1147.68622
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.68685
van Otterlo, Martijn
2009
A class of algorithms for distributed constraint optimization. Zbl 1180.90355
2009
Constraint solving over multi-valued logics. Application to digital circuits. Zbl 1033.68096
Azevedo, Francisco
2003
Adaptive stream mining: Pattern learning and mining from evolving data streams. Zbl 1204.68153
Bifet, Albert
2010
Uncertainty treatment using paraconsistent logic. Introducing paraconsistent artificial neural networks. Zbl 1207.68394
da Silva Filho, João Inácio; Lambert-Torres, Germano; Abe, Jair Minoro
2010
Fuzzy clustering via proportional membership model. Zbl 1084.68118
Nascimento, Susana
2005
Reusable components for knowledge modelling. Case studies in parametric design problem solving. Zbl 0963.68569
Motta, E.
1999
Active mining. New directions of data mining. Zbl 1058.68048
2002
Parallel genetic algorithms. Theory & applications. Incl. 1 disk. Zbl 0853.68004
1993
Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001
2021
Algorithms and architectures of artificial intelligence. Zbl 1153.68559
Tyugu, E.
2007
An inductive logic programming approach to statistical relational learning. Zbl 1111.68103
Kersting, Kristian
2006
Computational models of argument (COMMA 2010). Proceedings of 3rd conference, Desanzano del Garda, Italy, September 2010. Zbl 1198.68234
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
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
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
2005
Advances in inductive logic programming. Zbl 0845.68002
1996
Genetic algorithms in optimisation, simulation and modelling. Zbl 0828.68080
1994
Legal knowledge engineering: a modelling approach. Zbl 0845.68097
Valente, André
1995
Explorations in intelligent tutoring and help. Zbl 0862.68108
1992
Spatiotemporal models in biological and artificial systems. Workshop, Sintra, Portugal, November 6–8, 1996. Zbl 0878.68009
1997
Model-based reasoning about learner behaviour. Zbl 0913.68166
de Koning, Kees
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
2008
SCAI ’89. Artificial intelligence ’89, Scandinavian conference. Proceedings of the SCAI ’89, Tampere, Finland, 13-15 June 1989. Zbl 0853.68006
1989
Annotation for the semantic web. Zbl 1046.68128
2003
Stochastic models of neural networks. Zbl 1058.68098
Turchetti, Claudio
2004
Computational models of argument. Proceedings of the 1st conference, COMMA 2006, Liverpool, UK, September 11–12, 2006. Zbl 1400.68021
2006
Computational models of argument. Proceedings of the 4th conference, COMMA 2012, Vienna, Austria, September 10–12, 2012. Zbl 1401.68011
2012
Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001
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
2014
Computational models of argument. Proceedings of the 4th conference, COMMA 2012, Vienna, Austria, September 10–12, 2012. Zbl 1401.68011
2012
Conditional and preferential logics. Proof methods and theorem proving. Zbl 1210.03025
Pozzato, Gian Luca
2010
Adaptive stream mining: Pattern learning and mining from evolving data streams. Zbl 1204.68153
Bifet, Albert
2010
Uncertainty treatment using paraconsistent logic. Introducing paraconsistent artificial neural networks. Zbl 1207.68394
da Silva Filho, João Inácio; Lambert-Torres, Germano; Abe, Jair Minoro
2010
Computational models of argument (COMMA 2010). Proceedings of 3rd conference, Desanzano del Garda, Italy, September 2010. Zbl 1198.68234
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
2010
Handbook of satisfiability. Zbl 1183.68568
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.68685
van Otterlo, Martijn
2009
A class of algorithms for distributed constraint optimization. Zbl 1180.90355
2009
Ontology learning and population: Bridging the gap between text and knowledge. Zbl 1147.68622
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
2008
Algorithms and architectures of artificial intelligence. Zbl 1153.68559
Tyugu, E.
2007
Multi-relational data mining. Zbl 1138.68376
Knobbe, A. J.
2006
An inductive logic programming approach to statistical relational learning. Zbl 1111.68103
Kersting, Kristian
2006
Computational models of argument. Proceedings of the 1st conference, COMMA 2006, Liverpool, UK, September 11–12, 2006. Zbl 1400.68021
2006
Fuzzy clustering via proportional membership model. Zbl 1084.68118
Nascimento, Susana
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
2005
Stochastic models of neural networks. Zbl 1058.68098
Turchetti, Claudio
2004
Evolving knowledge bases. Specification and semantics. Zbl 1056.68138
Leite, João Alexandre
2003
Constraint solving over multi-valued logics. Application to digital circuits. Zbl 1033.68096
Azevedo, Francisco
2003
Annotation for the semantic web. Zbl 1046.68128
2003
Active mining. New directions of data mining. Zbl 1058.68048
2002
SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028
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
1999
Reusable components for knowledge modelling. Case studies in parametric design problem solving. Zbl 0963.68569
Motta, E.
1999
Qualitative spatial reasoning: theory and practice: application to robot navigation. Zbl 0923.68115
Escrig, M. Teresa; Toledo, Francisco
1998
Spatiotemporal models in biological and artificial systems. Workshop, Sintra, Portugal, November 6–8, 1996. Zbl 0878.68009
1997
Model-based reasoning about learner behaviour. Zbl 0913.68166
de Koning, Kees
1997
Advances in inductive logic programming. Zbl 0845.68002
1996
Legal knowledge engineering: a modelling approach. Zbl 0845.68097
Valente, André
1995
CommonKADS library for expertise modelling. Reusable problem solving components. Zbl 0876.68100
1994
Genetic algorithms in optimisation, simulation and modelling. Zbl 0828.68080
1994
Parallel genetic algorithms. Theory & applications. Incl. 1 disk. Zbl 0853.68004
1993
Explorations in intelligent tutoring and help. Zbl 0862.68108
1992
SCAI ’89. Artificial intelligence ’89, Scandinavian conference. Proceedings of the SCAI ’89, Tampere, Finland, 13-15 June 1989. Zbl 0853.68006
1989
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)