×

zbMATH — the first resource for mathematics

Found 598 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Berto, Francesco
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 (ISBN 978-1-84890-307-4/pbk). 31-55 (2019).
MSC:  03A05 03B42 03B45 03B65
PDF BibTeX XML Cite
\textit{F. Berto}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 31--55 (2019; Zbl 07307073)
Andreas, Holger; Günther, Mario
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 (ISBN 978-1-84890-307-4/pbk). 1-12 (2019).
MSC:  03A05 03B42 03B45 03B65
PDF BibTeX XML Cite
\textit{H. Andreas} and \textit{M. Günther}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 1--12 (2019; Zbl 07307071)
Sauerwald, Kai; Beierle, Christoph
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 (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 251-262 (2019).
MSC:  68T37
PDF BibTeX XML Cite
\textit{K. Sauerwald} and \textit{C. Beierle}, Lect. Notes Comput. Sci. 11726, 251--262 (2019; Zbl 07170138)
Full Text: DOI
Girlando, Marianna; Lellmann, Björn; Olivetti, Nicola
Nested sequents for the logic of conditional belief. (English) Zbl 07169140
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 709-725 (2019).
MSC:  68T27
PDF BibTeX XML Cite
\textit{M. Girlando} et al., Lect. Notes Comput. Sci. 11468, 709--725 (2019; Zbl 07169140)
Full Text: DOI
Baumann, Ringo; Linker, Felix
AGM meets abstract argumentation: contraction for dung frameworks. (English) Zbl 07169097
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 41-57 (2019).
MSC:  68T27
PDF BibTeX XML Cite
\textit{R. Baumann} and \textit{F. Linker}, Lect. Notes Comput. Sci. 11468, 41--57 (2019; Zbl 07169097)
Full Text: DOI
Adaricheva, Kira; Ninesling, Taylor
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 (ISBN 978-3-030-21461-6/pbk; 978-3-030-21462-3/ebook). Lecture Notes in Computer Science 11511. Lecture Notes in Artificial Intelligence, 55-72 (2019).
MSC:  68T30
PDF BibTeX XML Cite
\textit{K. Adaricheva} and \textit{T. Ninesling}, Lect. Notes Comput. Sci. 11511, 55--72 (2019; Zbl 07165995)
Full Text: DOI
Chandler, Jake; Booth, Richard
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 (ISBN 978-3-662-60291-1/pbk; 978-3-662-60292-8/ebook). Lecture Notes in Computer Science 11813, 15-28 (2019).
MSC:  68T27
PDF BibTeX XML Cite
\textit{J. Chandler} and \textit{R. Booth}, Lect. Notes Comput. Sci. 11813, 15--28 (2019; Zbl 07160598)
Full Text: DOI
Fermé, Eduardo; Hansson, Sven Ove
Belief change. Introduction and overview. (English) Zbl 07116283
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).
Reviewer: David Makinson (London)
MSC:  03-02 03B42 68T27
PDF BibTeX XML Cite
\textit{E. Fermé} and \textit{S. O. Hansson}, Belief change. Introduction and overview. Cham: Springer (2018; Zbl 07116283)
Full Text: DOI
Maranhão, Juliano; Gonçalves de Souza, Edelcio
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
\textit{J. Maranhão} and \textit{E. Gonçalves de Souza}, in: Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3--6, 2018. Proceedings. London: College Publications. 247--261 (2018; Zbl 1418.03055)
Souza, Marlo; Moreira, Álvaro; Vieira, Renata
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 (ISBN 978-3-319-73578-8/pbk; 978-3-319-73579-5/ebook). Lecture Notes in Computer Science 10669, 185-200 (2018).
MSC:  03B70
PDF BibTeX XML Cite
\textit{M. Souza} et al., Lect. Notes Comput. Sci. 10669, 185--200 (2018; Zbl 06858846)
Full Text: DOI
Cramer, Marcos; Casini, Giovanni
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
\textit{M. Cramer} and \textit{G. Casini}, Lect. Notes Comput. Sci. 10204, 232--252 (2017; Zbl 1444.68039)
Full Text: DOI
Georgatos, Konstantinos
Multi-agent belief revision using multisets. (English) Zbl 06810800
Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55664-1/pbk; 978-3-662-55665-8/ebook). Lecture Notes in Computer Science 10455, 466-479 (2017).
MSC:  68T27
PDF BibTeX XML Cite
\textit{K. Georgatos}, Lect. Notes Comput. Sci. 10455, 466--479 (2017; Zbl 06810800)
Full Text: DOI
Přenosil, Adam
Contradictory information as a basis for rational belief. (English) Zbl 06810779
Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55664-1/pbk; 978-3-662-55665-8/ebook). Lecture Notes in Computer Science 10455, 151-165 (2017).
MSC:  68T27
PDF BibTeX XML Cite
\textit{A. Přenosil}, Lect. Notes Comput. Sci. 10455, 151--165 (2017; Zbl 06810779)
Full Text: DOI
Baltag, Alexandru; Occhipinti, Andrés
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 (ISBN 978-3-662-55664-1/pbk; 978-3-662-55665-8/ebook). Lecture Notes in Computer Science 10455, 17-32 (2017).
MSC:  68T27
PDF BibTeX XML Cite
\textit{A. Baltag} and \textit{A. Occhipinti}, Lect. Notes Comput. Sci. 10455, 17--32 (2017; Zbl 06810770)
Full Text: DOI
Creignou, Nadia; Ktari, Raïda; Papini, Odile
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 (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 387-397 (2017).
MSC:  68T37
PDF BibTeX XML Cite
\textit{N. Creignou} et al., Lect. Notes Comput. Sci. 10369, 387--397 (2017; Zbl 06769615)
Full Text: DOI
Couso, Inés; Dubois, Didier
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
\textit{I. Couso} and \textit{D. Dubois}, Commun. Comput. Inf. Sci. 611, 279--290 (2016; Zbl 1455.68204)
Full Text: DOI
Moguillansky, Martín O.
A study of argument acceptability dynamics through core and remainder sets. (English) Zbl 06582811
Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-30023-8/pbk; 978-3-319-30024-5/ebook). Lecture Notes in Computer Science 9616, 3-23 (2016).
MSC:  68P15 68T27 68T35 68U35
PDF BibTeX XML Cite
\textit{M. O. Moguillansky}, Lect. Notes Comput. Sci. 9616, 3--23 (2016; Zbl 06582811)
Full Text: DOI
Ruttkamp-Bloem, Emma; Casini, Giovanni; Meyer, Thomas
A non-classical logical foundation for naturalised realism. (English) Zbl 1383.03013
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 249-266 (2015).
MSC:  03A10 03B70 03B42 68T27
PDF BibTeX XML Cite
\textit{E. Ruttkamp-Bloem} et al., in: The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2014. London: College Publications. 249--266 (2015; Zbl 1383.03013)

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