Filters








14 Hits in 3.4 sec

Circular (Yet Sound) Proofs [chapter]

Albert Atserias, Massimo Lauria
2019 Lecture Notes in Computer Science  
"Theory and Applications of Satisfiability Testing-SAT 2019, 22nd International Conference: SAT 2019, Lisbon, Portugal, July 9-12, 2019: proceedings". Berlín: Springer, 2019, p. 1-18.  ...  One last aspect of the equivalence between Circular Resolution and Sherali-Adams concerns the theory of SAT-solving.  ... 
doi:10.1007/978-3-030-24258-9_1 fatcat:qzclgx5oyjgt7bviyim3koz4vu

Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)

Carsten Fuhs, Philipp Rümmer, Renate Schmidt, Cesare Tinelli, Michael Wagner
2020 Dagstuhl Reports  
Seminar September 8-13, 2019 -http://www.dagstuhl.de/19371 License Creative Commons BY 3.0 Unported license © Carsten Fuhs, Philipp Rümmer, Renate Schmidt, and Cesare Tinelli This report contains the program  ...  - License Creative Commons BY 3.0 Unported license © SAT 2019 -22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, Lecture Notes in Computer Science, Vol. 11628  ...  , Porto, Portugal, October 7-11, 2019, Proceedings, Lecture Notes in Computer Science, Vol. 11800, pp. 319-336, Springer, 2019.  ... 
doi:10.4230/dagrep.9.9.23 dblp:journals/dagstuhl-reports/FuhsRST19 fatcat:j6moci5zgvgjzgpsqblemwsrlm

Dagstuhl Reports, Volume 9, Issue 9, September 2019, Complete Issue

2020
Dagstuhl Reports, Volume 9, Issue 9, September 2019, Complete Issue  ...  - License Creative Commons BY 3.0 Unported license © SAT 2019 -22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, Lecture Notes in Computer Science, Vol. 11628  ...  , Porto, Portugal, October 7-11, 2019, Proceedings, Lecture Notes in Computer Science, Vol. 11800, pp. 319-336, Springer, 2019.  ... 
doi:10.4230/dagrep.9.9 fatcat:yxieovrp4zbxvhjyyiah6znqxm

Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue

2020
Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue  ...  Prague, Czech Republic, July 13-17, 2019, pp. 907-915, 2019.  ...  , p. 1146, 2019.  ... 
doi:10.4230/dagrep.9.10 fatcat:4dvf4zjt4nhafhwb4ot23au3ua

Challenges, risks and threats for security in Europe : 11th Network Europe Conference Warsaw 19th - 22nd May 2019

Viorel Cibotaru, Attila Vincze, Przemyslaw Saganek, Jelena Ceranic, Aleksei V Dolzhikov, Alena F Douhan, Darina Dvornichenko, Vadym Barskyy, Itay Fischhendler, Verena Murschetz, Jürgen Scheffran, Tobias Baumgartner (+1 others)
2019
If this strength can increase due to the EU instruments, EU-NATO Member States can only be sat- isfied. As M.  ...  /press-releases/2019/03/17/dec-I.  ... 
doi:10.5167/uzh-198887 fatcat:etu6hwo4ergd3mwn35otjl4vni

Algorithmic Fairness Datasets: the Story so Far [article]

Alessandro Fabris, Stefano Messina, Gianmaria Silvello, Gian Antonio Susto
2022 arXiv   pre-print
In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, Association for Computational Linguistics, Lisbon, Portugal, pp 1102-1108, DOI 10.18653/v1/D15-1130, URL https  ...  Importantly, some states require all students to take ACT or SAT tests, while others do not.  ...  The 2019 version (UCI Machine Learning Repository, 2019) associated with the erratum (Grömping, 2019) is recommended.  ... 
arXiv:2202.01711v2 fatcat:5hf4a42pubc5vnt7tw3al4m5bq

Online Handbook of Argumentation for AI: Volume 1 [article]

OHAAI Collaboration: Federico Castagna, Timotheus Kampik, Atefeh Keshavarzi Zafarghandi, Mickaël Lafages, Jack Mumford, Christos T. Rodosthenous, Samy Sá, Stefan Sarkadi, Joseph Singleton, Kenneth Skiba, Andreas Xydis
2020 arXiv   pre-print
In Levi, G. and Martelli, M., editors, Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pages 234-254. MIT Press. [Lloyd, 1987] Lloyd, J.  ...  In Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on, volume 1, pages 215-218. IEEE.  ... 
arXiv:2006.12020v1 fatcat:nm44du33f5dhlluueq7srbbvzi

Fragments in Connection and Algorithmic Rule: Encoding the Urban Image in Motion

Christiane Wagner
2022 Zenodo  
, Portugal.  ...  In the year 2019, the Overshoot Day was July 29th. However, in 2020 the date fell back to August 22nd due to restrictions imposed by the Covid-19 pandemic.  ... 
doi:10.5281/zenodo.6503017 fatcat:iwebxttjgbcc5joe7bsmcmbcfe

Algorithmic Fairness Datasets: the Story so Far [article]

Alessandro Fabris, Stefano Messina, Gianmaria Silvello, Gian Antonio Susto
2022
Importantly, some states require all students to take ACT or SAT tests, while others do not.  ...  In: Proceedings of the 22Nd International Conference on World Wide Web, pp 89-90 Pfohl S, Marafino B, Coulet A, Rodriguez F, Palaniappan L, Shah NH (2019) Creating fair models of atherosclerotic cardiovascular  ...  The 2019 version (UCI Machine Learning Repository, 2019) associated with the erratum (Grömping, 2019) is recommended.  ... 
doi:10.48550/arxiv.2202.01711 fatcat:mav36x3w5namjhurzpevtsmsju

COMPLETE EDITION (v.1, n.2, JAN-DEC 2012) - BRAZILIAN FOREIGN POLICY AND SOUTH-SOUTH COOPERATION

Austral Brazilian Journal of Strategy & International Relations
2012 Austral  
Agricultural Outlook 2010-2019. OCDE, 2010.  ...  And, humbly, Bush went at our table, greeted us and sat with us. There was nothing unusual. What would have been unusual was standing up as people usually did.  ... 
doi:10.22456/2238-6912.32662 fatcat:vpc7hpd3xnasheu4tyr6xeef5y

Authorship and Research Acknowledgements 7 Section 1 Overview and Key Findings by Nic Newman 8 Section 2 Analysis by Country 30 Section 4 Essays 106

Nic Newman, Richard Fletcher, David Levy, Rasmus Kleis Nielsen
2016 unpublished
Gustavo Cardoso and Ana Pinto Martinho ISCTE, University Institute of Lisbon PORTUGAL The news media environment in Portugal is characterised by a high reliance on television news sources, a weakening  ...  pid=65 AD BLOCKER use ad blockers. (=22nd/26 countries) 31% under 35.  ... 
fatcat:vtjadv45zbcrjbtidqcsj63gyq

A study of the internal dispute resolution regime of the OSCE

Jonathan Giles Hazard
2020 unpublished
Lisbon Document 1996, Lisbon Summit Declaration, Fifth OSCE Summit of Heads of State or Government, Lisbon, DOC.S/1/96 of 2-3 December 1996, at 11 ('Freedom of the . (A. Bloed ed), xix. 490 See C.  ...  PC.DEC/1211 of 7 July 2016). 958 See Secretary General Lamberto Zannier Address to the Plenary Session of the 22nd Annual Session of the OSCE Parliamentary Assembly Istanbul (29 June 2013).  ... 
doi:10.25365/thesis.62554 fatcat:vuzfp6yzobe3fbs6tvlg3tj22m

Extracting perceived landscape properties from text sources

Olga Koblet
2020
Lapalme, Evaluating Variants of the Lesk Approach for Disambiguating Words, in Conference on Language Resources and Evaluation, pp. 633-636, Lisbon, Portugal, 2004.  ...  Adams, Extracting Place Emotions from Travel Blogs, in AGILE 2015, Lecture Notes in Geoinformation and Cartography, pp. 1-5, Lisbon, Portugal, 2015. Bayas, J. C.  ... 
doi:10.5167/uzh-193201 fatcat:nojlrh7vlnfybnvv5sx6lpzkfq

Peace, Land, and Bread: A Scholarly Journal of Revolutionary Theory and Practice #3

Ben Stahnke, Taylor Genovese, Christian Noakes, Samuel Parry, Amal Samaha, Jackson Albert Mann, Lucas Huang, Mark LaRubio, Sergio Dias Branco, Jarrod Grammel, Ethan Deere, Joe Dwyer (+23 others)
2021 figshare.com  
Whilst in Liverpool, he was a 'Unite the Union' activist and sat on the North-West Young Mem- bers Committee.  ...  Given the general conservatism of Irish society, it was not a label that sat easy for many republicans of this period.  ... 
doi:10.6084/m9.figshare.13577717.v1 fatcat:cwyycd7vmfcytpsfz5o6vsyora