×

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

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

Publications by Year

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.68138
Leite, João Alexandre
7
2003
Qualitative spatial reasoning: theory and practice: application to robot navigation. Zbl 0923.68115
Escrig, M. Teresa; Toledo, Francisco
7
1998
Conditional and preferential logics. Proof methods and theorem proving. Zbl 1210.03025
Pozzato, 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.68376
Knobbe, 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.68685
van Otterlo, Martijn
3
2009
A class of algorithms for distributed constraint optimization. Zbl 1180.90355
Petcu, Adrian
3
2009
Constraint solving over multi-valued logics. Application to digital circuits. Zbl 1033.68096
Azevedo, Francisco
3
2003
Adaptive stream mining: Pattern learning and mining from evolving data streams. Zbl 1204.68153
Bifet, Albert
2
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
2
2010
Fuzzy clustering via proportional membership model. Zbl 1084.68118
Nascimento, Susana
2
2005
Reusable components for knowledge modelling. Case studies in parametric design problem solving. Zbl 0963.68569
Motta, 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.68559
Tyugu, E.
1
2007
An inductive logic programming approach to statistical relational learning. Zbl 1111.68103
Kersting, 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.68097
Valente, André
1
1995
Explorations in intelligent tutoring and help. Zbl 0862.68108
Winkels, 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.68166
de 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.68098
Turchetti, 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.03025
Pozzato, Gian Luca
5
2010
Adaptive stream mining: Pattern learning and mining from evolving data streams. Zbl 1204.68153
Bifet, Albert
2
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
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.68685
van Otterlo, Martijn
3
2009
A class of algorithms for distributed constraint optimization. Zbl 1180.90355
Petcu, 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.68559
Tyugu, E.
1
2007
Multi-relational data mining. Zbl 1138.68376
Knobbe, A. J.
3
2006
An inductive logic programming approach to statistical relational learning. Zbl 1111.68103
Kersting, 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.68118
Nascimento, 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.68098
Turchetti, Claudio
1
2004
Evolving knowledge bases. Specification and semantics. Zbl 1056.68138
Leite, João Alexandre
7
2003
Constraint solving over multi-valued logics. Application to digital circuits. Zbl 1033.68096
Azevedo, 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.68569
Motta, E.
2
1999
Qualitative spatial reasoning: theory and practice: application to robot navigation. Zbl 0923.68115
Escrig, 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.68166
de Koning, Kees
1
1997
Advances in inductive logic programming. Zbl 0845.68002
1
1996
Legal knowledge engineering: a modelling approach. Zbl 0845.68097
Valente, 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.68108
Winkels, 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 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

Citations by Year