A First-order Logic for Reasoning about Knowledge and Probability

Резултати

Назив:	A First-order Logic for Reasoning about Knowledge and Probability
Аутори:	Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan
Година:	2020
Публикација:	ACM Transactions on Computational Logic
ISSN:	1529-3785 ACM Transactions on Computational Logic Претражи идентификатор
Издавач:	Association for Computing Machinery
Тип резултата:	Научни чланак
Колација:	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
Пројекат:	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
М-категорија:	21M21 - Водећи међународни часопис категорије M21

10
SCOPUS^TM

2
OpenCitations

8
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.