DC FieldValueLanguage
dc.contributor.authorDautović, Šejlaen
dc.contributor.authorDoder, Draganen
dc.date.accessioned2020-04-27T10:33:21Z-
dc.date.available2020-04-27T10:33:21Z-
dc.date.issued2019-01-01en
dc.identifier.isbn978-3-030-29764-0en
dc.identifier.issn0302-9743en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/638-
dc.description.abstractIn this paper, we develop a probabilistic logic for reasoning about preconditions, postconditions and execution of actions in time. The language of our logic allows statements like “precondition of the action A will hold in the next moment” and uncertain information like “probability that the precondition of A will hold in the next moment is at least one half.” We axiomatize this logic, provide corresponding semantics built on branching-time temporal models, and prove that the axiomatization is sound and strongly complete.en
dc.publisherSpringer Link-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relationANR-11-LABX-0040-CIMI-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.subjectAction | Probabilistic logic | Temporal logicen
dc.titleProbabilistic logic for reasoning about actions in timeen
dc.typeConference Paperen
dc.relation.conference15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019-
dc.identifier.doi10.1007/978-3-030-29765-7_32en
dc.identifier.scopus2-s2.0-85072851973en
dc.relation.firstpage385en
dc.relation.lastpage396en
dc.relation.volume11726 LNAIen
dc.description.rankM33-
item.fulltextNo Fulltext-
item.openairetypeConference Paper-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.orcid0000-0002-2108-3314-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
Show simple item record

Page view(s)

33
checked on Jan 31, 2025

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.