Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
assertion (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
13
Look more..
(1/14)
Export
export all inquiry results
(13)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
An automatic approach to evaluate assertions' quality based on data-mining metrics
Ghasempouri, Tara
;
Niazmand, Behrad
;
Raik, Jaan
Proceedings 2nd IEEE International Test Conference in Asia : ITC-Asia 2018, 15-17 August 2018, Harbin, China
2018
/
p. 61-66 : ill
https://doi.org/10.1109/ITC-Asia.2018.00021
book article
2
journal article EST
/
journal article ENG
Assertion and denial : a contribution from logical notations
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
Journal of applied logic
2017
/
p. 1-22 : ill
https://doi.org/10.1016/j.jal.2017.01.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
3
journal article
Assertions and hypotheses : a logical framework for their opposition relations
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Logic journal of the IGPL
2017
/
p. 131-144 : ill
https://doi.org/10.1093/jigpal/jzw036
journal article
4
book article EST
/
book article ENG
Assertive and existential graphs : a comparison
Pietarinen, Ahti-Veikko
;
Chiffi, Daniele
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 565-581
https://doi.org/10.1007/978-3-319-91376-6_51
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
5
journal article EST
/
journal article ENG
Assertive graphs
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Journal of applied non-classical logics
2018
/
p. 72–91
https://doi.org/10.1080/11663081.2017.1418101
Journal metrics at Scopus
Aricle at Scopus
journal article EST
/
journal article ENG
6
journal article EST
/
journal article ENG
Logical investigations on assertion and denial
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Journal of applied logic
2017
/
p. S1-S2
https://doi.org/10.1016/j.jal.2017.11.003
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
7
journal article EST
/
journal article ENG
On assertion and denial in the logic for pragmatics
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Journal of applied logic
2017
/
p. S97-S107 : ill
https://doi.org/10.1016/j.jal.2017.11.002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
8
journal article EST
/
journal article ENG
Peirce on assertion : preface to the symposium
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Transactions of the Charles S. Peirce Society : a quarterly journal in American philosophy
2021
/
p. 205−209
https://doi.org/10.2979/trancharpeirsoc.57.2.03
https://www.muse.jhu.edu/article/811506
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
9
journal article EST
/
journal article ENG
Some logical notations for pragmatic assertions
Carrara, Massimiliano
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Logique et Analyse
2020
/
p. 297-315
https://doi.org/10.2143/LEA.251.0.3288642
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
10
journal article
Some preliminars on assertion and denial
Buekens, Filip
;
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Logique et analyse
2017
/
p. 203-207
https://doi.org/10.2143/LEA.239.0.3237150
journal article
11
journal article EST
/
journal article ENG
The logical burdens of proof : assertion and hypothesis
Chiffi, Daniele
;
Schang, Fabien
Logic and logical philosophy
2017
/
p. 509-530 : ill
https://doi.org/10.12775/LLP.2017.006
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
12
journal article
We don’t know we don’t know : asserting ignorance
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
;
Pietarinen, Ahti-Veikko
Synthese
2021
/
p. 3565–3580
https://doi.org/10.1007/s11229-019-02300-y
journal article
13
journal article
We don't know we don't know : asserting ignorance
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
;
Pietarinen, Ahti-Veikko
Knowing the Unknown : Philosophical Perspectives on Ignorance; Synthese
2019
/
15 p
https://doi.org/10.1007/s11229-019-02300-y
journal article
Number of records 13, displaying
1 - 13
keyword
14
1.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2.
assertion
3.
assertion candidate
4.
assertion checkers
5.
Assertion Minimization
6.
Assertion Mining
7.
assertion qualification
8.
assertion sign
9.
assertion-based verification
10.
automatic assertion mining
11.
Husserl on inclusion and assertion
12.
Peirce on inclusion and assertion
13.
Security Assertion Mining
14.
sheet of assertion
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT