A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Circular (Yet Sound) Proofs
[chapter]
2019
Lecture Notes in Computer Science
Preserved Fulltext
"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)
2020
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2022
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
, 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]
2022
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2012
Austral
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
figshare.com
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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