Efficient decision procedure for Belief modality

Adomas Birštunas

doi:10.15388/LMR.2005.26673

Straipsniai

Adomas Birštunas

Vilniaus universitetas

Publikuota 2005-12-18

https://doi.org/10.15388/LMR.2005.26673

PDF (anglų)

##submission.howToCite##

Birštunas, A. (2005) „Efektyvi sprendimo procedūra modaliniam operatoriui Belief“, Lietuvos matematikos rinkinys, 45(spec.), p. 321–325. doi:10.15388/LMR.2005.26673.

##submission.howToCite.downloadCitation##

Santrauka

Pateiktas sprendimo radimo algoritmas BDI logikos formulių klasei, kuris naudoja efektyvų ciklų radimo mechanizmą modaliniam operatoriui Belief.

PDF (anglų)

##submission.license.cc.by4.footer##

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##

Adomas Birštunas, Elena Reivytytė, Loginio išvedimo paieška su prielaidų atsekamumu , Lietuvos matematikos rinkinys: T 62 (2021): A serija
Adomas Birštunas, Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime , Lietuvos matematikos rinkinys: T 48 (2008)
Adomas Birštunas, Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime su until operatoriumi , Lietuvos matematikos rinkinys: T 50 (2009)
Adomas Birštunas, Efektyvus ciklų radimas multimodalinei KD45n logikai , Lietuvos matematikos rinkinys: T 47 (2007)
Kostas Ragauskas, Adomas Birštunas, Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas , Lietuvos matematikos rinkinys: T 65 (2024): A serija
Adomas Birštunas, Stanislovas Norgėla, Atvirkštinis metodas teiginių modalumo logikai S4 , Lietuvos matematikos rinkinys: T 43 (2003)
Adomas Birstunas, Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui , Lietuvos matematikos rinkinys: T 46 (2006)