A First-order Logic for Reasoning about Knowledge and Probability

Rezultati

Naziv:	A First-order Logic for Reasoning about Knowledge and Probability
Autori:	Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan
Godina:	2020
Publikacija:	ACM Transactions on Computational Logic
ISSN:	1529-3785 ACM Transactions on Computational Logic Pretraži identifikator
Izdavač:	Association for Computing Machinery
Tip rezultata:	Naučni članak
Kolacija:	vol. 21 br. 2 str. 1-30
DOI:	10.1145/3359752
WoS-ID:	000535132200009
Scopus-ID:	2-s2.0-85082382863
URI:	https://enauka.gov.rs/handle/123456789/578192 http://researchrepository.mi.sanu.ac.rs/handle/123456789/1753
Projekat:	Mathematical Modelas and Optimization Methods on Large-Scale Systems Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
M-kategorija:	21M21 - Vodeći međunarodni časopis kategorije M21

10
SCOPUS^TM

2
OpenCitations

8
WEB OF SCIENCE^TM

Alt metrika

Dimensions

Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.