×

Found 860 Documents (Results 1–100)

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

Evolutionary game theory. (English) Zbl 1455.91045

Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 573-608 (2020).
MSC:  91A22
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).
MSC:  03B42
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).
MSC:  03B42
PDF BibTeX XML Cite

Abstract argumentation in dynamic logic: representation, reasoning and change. (English) Zbl 07229670

Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 153-185 (2019).
MSC:  68T27 03B70
PDF BibTeX XML Cite
Full Text: DOI

Addressing circular definitions via systems of proofs. (English) Zbl 1469.03011

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 75-100 (2019).
MSC:  03A05 03F03
PDF BibTeX XML Cite
Full Text: DOI Link

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

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software