Otsing - TalTech teadusportaal

kuva

reasta

176

artikkel kogumikus

The extended Gabbay-Woods schema and scientific practicesChiffi, Daniele; Pietarinen, Ahti-VeikkoNatural arguments : a tribute to John Woods2019 / p. 331–348 https://www.collegepublications.co.uk/tributes/?00040 https://www.academia.edu/38335940/The_Extended_Gabbay-Woods_Schema_and_Scientific_Practices

artikkel kogumikus

177

artikkel ajakirjas EST / artikkel ajakirjas ENG

The logical burdens of proof : assertion and hypothesisChiffi, Daniele; Schang, FabienLogic and logical philosophy2017 / p. 509-530 : ill https://doi.org/10.12775/LLP.2017.006 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

178

artikkel ajakirjas

The making of "What the Tortoise said to Achilles" : Lewis Carroll's logical investigations towards a workable theory of hypotheticalsMoktefi, Amirouche; Abeles, Francine F.The Carrollian : the Lewis Carroll journal2016 / p. 14-47 : ill

artikkel ajakirjas

179

artikkel kogumikus

The prototype of system for discovering of inference rulesMatsak, ErikaProceedings of the 2007 International Conference on Artificial Intelligence : Las Vegas, Nevada, 25-28 June. 22007 / p. 489-492

artikkel kogumikus

180

artikkel kogumikus

The social shaping of modern logicMoktefi, AmiroucheNatural arguments : a tribute to John Woods2019 / p. 503-520 https://www.collegepublications.co.uk/tributes/?00040 https://www.academia.edu/38720002/The_Social_Shaping_of_Modern_Logic

artikkel kogumikus

181

artikkel kogumikus

Thoughts, things and logical guidanceBobrova, Angelina; Pietarinen, Ahti-VeikkoPeirce and Husserl : mutual insights on logic, mathematics and cognition2019 / p. 43-58 https://doi.org/10.1007/978-3-030-25800-9_3

artikkel kogumikus

182

artikkel ajakirjas EST / artikkel ajakirjas ENG

To Peirce Hintikka's thoughtsPietarinen, Ahti-VeikkoLogica Universalis2019 / p. 241–262 https://doi.org/10.1007/s11787-018-0203-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

183

artikkel kogumikus

To Peirce Hintikka's Thoughts [Online resource]Pietarinen, Ahti-VeikkoHandbook of the 6th World Congress and School on Universal Logic2018 / p. 152 http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

artikkel kogumikus

184

artikkel kogumikus

Towards efficient subsumptionTammet, TanelAutomated Deduction - CADE 15 : proceedings : 15th International Conference on Automated Deduction : Lindau, Germany, July 5-10, 19981998 / p. 427-441 https://link.springer.com/chapter/10.1007/BFb0054276

artikkel kogumikus

185

artikkel ajakirjas

Truth valued computing processes and process calculus: a formalism for describing programming logicKracht, WilhelmTallinna Tehnikaülikooli Toimetised1990 / lk. 55-94: ill

artikkel ajakirjas

186

artikkel kogumikus

A tutorial on design obfuscation : from transistors to systemsPagliarini, Samuel Nascimento2021 IEEE 22nd Latin American Test Symposium (LATS), Punta del Este, Uruguay, 27-29 October 20212021 / 3 p. : ill https://doi.org/10.1109/LATS53581.2021.9651741

artikkel kogumikus

187

artikkel kogumikus EST / artikkel kogumikus ENG

Two cognitive systems, two implications, and selection tasksBobrova, Angelina; Pietarinen, Ahti-VeikkoSoftware Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers2020 / p. 195 - 205 https://doi.org/10.1007/978-3-030-57506-9_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

188

artikkel kogumikus

Two dogmas of diagrammatic reasoning : a view from existential graphsPietarinen, Ahti-Veikko; Bellucci, FrancescoPeirce on perception and reasoning : from icons to logic2017 / p. 160-180

artikkel kogumikus

189

artikkel kogumikus EST / artikkel kogumikus ENG

Two implications and dual-process theories of reasoningBobrova, Angelina; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 239-243 https://doi.org/10.1007/978-3-030-54249-8_19 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

190

artikkel ajakirjas

Tõene või väärMeos, IndrekHorisont2005 / 6, lk. 53 https://artiklid.elnet.ee/record=b2030431*est

artikkel ajakirjas

191

artikkel ajakirjas

Varjatud eeldustest meie arutlustesMeos, IndrekHorisont2003 / 1, lk. 51 https://artiklid.elnet.ee/record=b1011521*est

artikkel ajakirjas

192

artikkel ajakirjas

We don’t know we don’t know : asserting ignoranceCarrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro; Pietarinen, Ahti-VeikkoSynthese2021 / p. 3565–3580 https://doi.org/10.1007/s11229-019-02300-y

artikkel ajakirjas

193

artikkel ajakirjas

We don't know we don't know : asserting ignoranceCarrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro; Pietarinen, Ahti-VeikkoKnowing the Unknown : Philosophical Perspectives on Ignorance; Synthese2019 / 15 p https://doi.org/10.1007/s11229-019-02300-y

artikkel ajakirjas

194

artikkel kogumikus EST / artikkel kogumikus ENG

A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 Conference Proceedings at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

195

artikkel kogumikus

Web-based tool for FSM encoding targeting low-power FPGA implementationMihhailov, Dmitri; Sudnitsõn, Aleksander; Tarletski, Konstantin2010 27th International Conference on Microelectronics : MIEL 2010 : Niš, Serbia, 16-19 May 2010 : proceedings2010 / p. 349-352 https://ieeexplore.ieee.org/document/5490468

artikkel kogumikus

196

artikkel kogumikus EST / artikkel kogumikus ENG

Venn diagrams with “Most”: a natural logic approachLiu, Xinwen; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 264−268 : ill https://doi.org/10.1007/978-3-030-86062-2_27 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

197

raamat

Versus. 120, Peirceana three. Sull'iconismo = On iconism2015 http://versus.dfc.unibo.it/arc2b.php?numero=120

raamat

198

artikkel kogumikus

What makes symbolic logic "symbolic"?Moktefi, Amirouche15th Congress of Logic, Methodology and Philosophy of Science CLMPS 2015 : University of Helsinki, 3-8 August 2015 : book of abstracts2015 / p. 156-157 http://clmps.helsinki.fi/materials/CLMPS_LC_book%20of%20abstracts%2029.7.2015.pdf

artikkel kogumikus

199

raamat

"What the Tortoise said to Achilles" : Lewis Carroll's paradox of inference2016

raamat

200

artikkel ajakirjas

What the Tortoise said to Achilles : a selective bibliographyImholtz, Clare; Moktefi, AmiroucheThe Carrollian : the Lewis Carroll journal2016 / p. 125-136

artikkel ajakirjas

loogika (märksõna)

teaviku laadid

märksõna 13