Personal information

Probabilistic logics, Temporal logics, Completeness, Decidability

Activities

Employment (1)

Matematicki institut Srpske akademije nauka i umetnosti: Beograd, Beograd, RS

2017-10 to present | Research assistant (Mathematical Institute )
Employment
Source: Self-asserted source
Šejla Dautović Kapetanović

Education and qualifications (1)

Univerzitet u Beogradu Matematicki Fakultet: Beograd, Beograd, RS

2016 to 2022 | PhD (Mathematics )
Education
Source: Self-asserted source
Šejla Dautović Kapetanović

Works (9)

Reasoning about knowledge and conditional probability

International Journal of Approximate Reasoning
2023-12 | Journal article | Author
Part of ISSN: 0888-613X
Contributors: Šejla Dautović Kapetanović; Dragan Doder; Zoran Ognjanović
Source: Self-asserted source
Šejla Dautović Kapetanović
grade
Preferred source (of 2)‎

A Probabilistic Logic Between $$LPP_1$$ and $$LPP_2$$

Logica Universalis
2022-06 | Journal article
Part of ISSN: 1661-8297
Part of ISSN: 1661-8300
Contributors: Šejla Dautović
Source: Self-asserted source
Šejla Dautović Kapetanović
grade
Preferred source (of 2)‎

An Epistemic Probabilistic Logic with Conditional Probabilities

Logics in Artificial Intelligence
2021 | Conference paper
Part of ISBN: 9783030757748
Part of ISBN: 9783030757755
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Šejla Dautović; Dragan Doder; Zoran Ognjanović
Source: Self-asserted source
Šejla Dautović Kapetanović
grade
Preferred source (of 2)‎

Logics for reasoning about degrees of confirmation

Journal of Logic and Computation
2021-12-22 | Journal article
Part of ISSN: 0955-792X
Part of ISSN: 1465-363X
Contributors: Šejla DautoviĆ; Dragan Doder; Zoran OgnjanoviĆ
Source: Self-asserted source
Šejla Dautović Kapetanović
grade
Preferred source (of 2)‎

Fuzzy logic and enriched categories

Iranian Journal of Fuzzy Systems
2021-06 | Journal article
Contributors: S. Dautovic; M. Zekic
Source: Self-asserted source
Šejla Dautović Kapetanović
grade
Preferred source (of 2)‎

Reasoning About Degrees of Confirmation

Lecture Notes in Computer Science
2020 | Book chapter
Part of ISBN: 9783030446376
Part of ISBN: 9783030446383
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Šejla Dautović; Dragan Doder; Zoran Ognjanović
Source: Self-asserted source
Šejla Dautović Kapetanović
grade
Preferred source (of 2)‎

Intuitionistic unprovability

Matematicki Vesnik
2019 | Journal article
EID:

2-s2.0-85066980345

Part of ISSN: 24060682 00255165
Contributors: Dautović, Š.; Zekić, M.
Source: Self-asserted source
Šejla Dautović Kapetanović via Scopus - Elsevier

Probabilistic Logic for Reasoning About Actions in Time

Lecture Notes in Computer Science
2019 | Book chapter
Part of ISBN: 9783030297640
Part of ISBN: 9783030297657
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Šejla Dautović; Dragan Doder
Source: Self-asserted source
Šejla Dautović Kapetanović
grade
Preferred source (of 2)‎

Intuitionistic unprovability

Matematički Vesnik
2019-01-01 | Journal article
Contributors: Šejla Dautović Kapetanović; Mladen Zekić
Source: Self-asserted source
Šejla Dautović Kapetanović