×

Found 617 Documents (Results 1–100)

100
MathJax

Modelling reflective equilibrium with belief revision theory. (English) Zbl 07503167

Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 65-80 (2021).
MSC:  03A05
PDF BibTeX XML Cite

Trust is all you need: from belief revision to information revision. (English) Zbl 07437033

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 50-65 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

The theory of topic-sensitive intentional modals. (English) Zbl 07307073

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 31-55 (2019).
PDF BibTeX XML Cite

Defining selection functions. (English) Zbl 07307071

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 1-12 (2019).
PDF BibTeX XML Cite

Decrement operators in belief change. (English) Zbl 07170138

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 251-262 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI arXiv

Direct and binary direct bases for one-set updates of a closure system. (English) Zbl 07165995

Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11511, 55-72 (2019).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Elementary iterated revision and the Levi Identity. (English) Zbl 07160598

Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 15-28 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Belief change. Introduction and overview. (English) Zbl 1458.03001

SpringerBriefs in Intelligent Systems. Artificial Intelligence, Multiagent Systems, and Cognitive Robotics. Cham: Springer (ISBN 978-3-319-60533-3/pbk; 978-3-319-60535-7/ebook). ix, 125 p. (2018).
MSC:  03-02 03B42 68T27
PDF BibTeX XML Cite
Full Text: DOI

Contraction of combined normative sets. (English) Zbl 1418.03055

Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 247-261 (2018).
MSC:  03B42 03B62
PDF BibTeX XML Cite

Dynamic preference logic as a logic of belief change. (English) Zbl 06858846

Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 185-200 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Postulates for revocation schemes. (English) Zbl 1444.68039

Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 232-252 (2017).
MSC:  68M25 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Evidence logics with relational evidence. (English) Zbl 06810770

Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10455, 17-32 (2017).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Complexity of model checking for cardinality-based belief revision operators. (English) Zbl 06769615

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 387-397 (2017).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Belief revision and the EM algorithm. (English) Zbl 1455.68204

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 279-290 (2016).
MSC:  68T35 68T37
PDF BibTeX XML Cite
Full Text: DOI HAL

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software