S. Planes
AuthID: R-006-VP1
1
TITLE: On Logic-Based Explainability with Partially Specified Inputs
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
INDEXED IN: 
DBLP
DBLP2
TITLE: Auditing static machine learning anti-Malware tools against metamorphic attacks Full Text
AUTHORS: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 102
AUTHORS: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 102
3
TITLE: Maximal falsifiability. Definitions, algorithms and applications Full Text
AUTHORS: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, ISSUE: 2
AUTHORS: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, ISSUE: 2
4
TITLE: Interspecific Hybridization in Pilot Whales and Asymmetric Genetic Introgression in Northern Globicephala melas under the Scenario of Global Warming Full Text
AUTHORS: Laura Miralles; Marc Oremus; Monica A Silva; Serge Planes; Eva Garcia Vazquez;
PUBLISHED: 2016, SOURCE: PLOS ONE, VOLUME: 11, ISSUE: 8
AUTHORS: Laura Miralles; Marc Oremus; Monica A Silva; Serge Planes; Eva Garcia Vazquez;
PUBLISHED: 2016, SOURCE: PLOS ONE, VOLUME: 11, ISSUE: 8
5
TITLE: Iterative and core-guided MaxSAT solving: A survey and assessment Full Text
AUTHORS: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
AUTHORS: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
6
TITLE: Maximal Falsifiability - Definitions, Algorithms, and Applications
AUTHORS: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
AUTHORS: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
7
TITLE: The science of European marine reserves: Status, efficacy, and future needs Full Text
AUTHORS: Phillip B Fenberg; Jennifer E Caselle; Joachim Claudet; Michaela Clemence; Steven D Gaines; Jose A Antonio Garcia Charton; Emanuel J Goncalves ; Kirsten Grorud Colvert; Paolo Guidetti; Stuart R Jenkins; Peter J S Jones; Sarah E Lester; Rob McAllen; Even Moland; Serge Planes; Thomas K Sorensen;
PUBLISHED: 2012, SOURCE: MARINE POLICY, VOLUME: 36, ISSUE: 5
AUTHORS: Phillip B Fenberg; Jennifer E Caselle; Joachim Claudet; Michaela Clemence; Steven D Gaines; Jose A Antonio Garcia Charton; Emanuel J Goncalves ; Kirsten Grorud Colvert; Paolo Guidetti; Stuart R Jenkins; Peter J S Jones; Sarah E Lester; Rob McAllen; Even Moland; Serge Planes; Thomas K Sorensen;
PUBLISHED: 2012, SOURCE: MARINE POLICY, VOLUME: 36, ISSUE: 5
8
TITLE: Larger female fish contribute disproportionately more to self-replenishment
AUTHORS: Beldade, R ; Holbrook, SJ; Schmitt, RJ; Planes, S; Malone, D; Bernardi, G;
PUBLISHED: 2012, SOURCE: PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, VOLUME: 279, ISSUE: 1736
AUTHORS: Beldade, R ; Holbrook, SJ; Schmitt, RJ; Planes, S; Malone, D; Bernardi, G;
PUBLISHED: 2012, SOURCE: PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, VOLUME: 279, ISSUE: 1736
9
TITLE: Iterative SAT Solving for Minimum Satisfiability
AUTHORS: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI) in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, VOLUME: 1
AUTHORS: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI) in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, VOLUME: 1
10
TITLE: Marine reserves: Fish life history and ecological traits matter
AUTHORS: Claudet, J; Osenberg, CW; Domenici, P; Badalamenti, F; Milazzo, M; Falcon, JM; Bertocci, I ; Benedetti Cecchi, L; Garcia Charton, JA; Goni, R; Borg, JA; Forcada, A; de Lucia, GA; Perez Ruzafa, A; Afonso, P ; Brito, A; Guala, I; Le Direach, L; Sanchez Jerez, P; Somerfield, PJ; ...More
PUBLISHED: 2010, SOURCE: ECOLOGICAL APPLICATIONS, VOLUME: 20, ISSUE: 3
AUTHORS: Claudet, J; Osenberg, CW; Domenici, P; Badalamenti, F; Milazzo, M; Falcon, JM; Bertocci, I ; Benedetti Cecchi, L; Garcia Charton, JA; Goni, R; Borg, JA; Forcada, A; de Lucia, GA; Perez Ruzafa, A; Afonso, P ; Brito, A; Guala, I; Le Direach, L; Sanchez Jerez, P; Somerfield, PJ; ...More
PUBLISHED: 2010, SOURCE: ECOLOGICAL APPLICATIONS, VOLUME: 20, ISSUE: 3
