DC FieldValueLanguage
dc.contributor.authorDoder, Draganen
dc.contributor.authorGrant, Johnen
dc.contributor.authorOgnjanović, Zoranen
dc.date.accessioned2020-02-18T20:06:28Z-
dc.date.available2020-02-18T20:06:28Z-
dc.date.issued2013-06-01en
dc.identifier.issn0955-792Xen
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/43-
dc.description.abstractSpatiotemporal databases can be used to efficiently store and retrieve information about objects moving in space and time. Probabilities are added to model the case where the locations are not known with certainty. A few years ago a new formalism was introduced to represent such information in the form of atomic formulas, each of which represents the probability (in the form of an interval because even the probabilities are not known precisely) that a particular object is in a particular location at a particular time. We extend this formalism to obtain several different probabilistic logics by adding logical operators. Furthermore, we axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and complete, and discuss decidability issues. While we relate these logics to previous axiomatizations of probabilistic logics, this article is self-contained: no prior knowledge of probabilistic logics is assumed.en
dc.publisherOxford University Press-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relationDevelopment of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education-
dc.relation.ispartofJournal of Logic and Computationen
dc.subjectprobabilistic logic | spatio-temporal reasoning | strong completenessen
dc.titleProbabilistic logics for objects located in space and timeen
dc.typeArticleen
dc.identifier.doi10.1093/logcom/exs054en
dc.identifier.scopus2-s2.0-84877980190en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage487-
dc.relation.lastpage515-
dc.relation.issue3-
dc.relation.volume23-
dc.description.rankM22-
item.cerifentitytypePublications-
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.fundingProgramNATIONAL HEART, LUNG, AND BLOOD INSTITUTE-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04-
crisitem.author.orcid0000-0003-2508-6480-

#### SCOPUSTM Citations

14
checked on Jun 7, 2023

#### Page view(s)

45
checked on Jun 8, 2023