×

zbMATH — the first resource for mathematics

Found 49 Documents (Results 1–49)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Fuenmayor, David; Benzmüller, Christoph
Computational hermeneutics: an integrated approach for the logical analysis of natural-language arguments. (English) Zbl 07229671
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 (ISBN 978-981-13-7790-7/hbk; 978-981-13-7793-8/pbk; 978-981-13-7791-4/ebook). Logic in Asia: Studia Logica Library, 187-207 (2019).
MSC:  03-06
PDF BibTeX XML Cite
\textit{D. Fuenmayor} and \textit{C. Benzmüller}, in: 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. 187--207 (2019; Zbl 07229671)
Full Text: DOI
Li, Ming; Vitányi, Paul M. B.
An introduction to Kolmogorov complexity and its applications. 4th revised and enhanced edition. (English) Zbl 1423.68005
Texts in Computer Science. Cham: Springer (ISBN 978-3-030-11297-4/hbk; 978-3-030-11298-1/ebook). xxii, 834 p. (2019).
Reviewer: Ludwig Staiger (Halle/Saale)
MSC:  68-01 68-02 68Q30
PDF BibTeX XML Cite
\textit{M. Li} and \textit{P. M. B. Vitányi}, An introduction to Kolmogorov complexity and its applications. 4th revised and enhanced edition. Cham: Springer (2019; Zbl 1423.68005)
Full Text: DOI
Bacci, Giorgio; Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
An algebraic theory of Markov processes. (English) Zbl 1453.08002
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 679-688 (2018).
MSC:  08B05 08C15 08A70 18C15 68Q87
PDF BibTeX XML Cite
\textit{G. Bacci} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 679--688 (2018; Zbl 1453.08002)
Full Text: DOI
Zhong, Yu-Bin; Deng, Yuan-Zhi; Liu, Zeng-Liang; Yuan, Xue-Hai
Probability distribution of T-system based on B-P and L-S implication. (English) Zbl 1368.68304
Cao, Bing-Yuan (ed.) et al., International conference on oriental thinking and fuzzy logic. Celebration of the 50th anniversary in the era of complex systems and big data, Dalian, China, August 17–20, 2015. Cham: Springer (ISBN 978-3-319-30873-9/pbk; 978-3-319-30874-6/ebook). Advances in Intelligent Systems and Computing 443, 391-403 (2016).
MSC:  68T37 60A86 60E05
PDF BibTeX XML Cite
\textit{Y.-B. Zhong} et al., Adv. Intell. Syst. Comput. 443, 391--403 (2016; Zbl 1368.68304)
Full Text: DOI
Bodirsky, Manuel
The complexity of constraint satisfaction problems (invited talk). (English) Zbl 1355.68111
Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 2-9 (2015).
MSC:  68Q25 08A70
PDF BibTeX XML Cite
\textit{M. Bodirsky}, LIPIcs -- Leibniz Int. Proc. Inform. 30, 2--9 (2015; Zbl 1355.68111)
Full Text: DOI
Gaines, Brian R.
Universal logic as a science of patterns. (English) Zbl 1372.03025
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 145-189 (2015).
MSC:  03B22 03A05
PDF BibTeX XML Cite
\textit{B. R. Gaines}, in: The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer. 145--189 (2015; Zbl 1372.03025)
Full Text: DOI
Mesiar, Radko; Stupňanová, Andrea
Copula-based generalizations of OWA operators. (English) Zbl 1415.68238
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 280-288 (2014).
MSC:  68T37
PDF BibTeX XML Cite
\textit{R. Mesiar} and \textit{A. Stupňanová}, Commun. Comput. Inf. Sci. 444, 280--288 (2014; Zbl 1415.68238)
Full Text: DOI
Bodirsky, Manuel; Wrona, Michal
Equivalence constraint satisfaction problems. (English) Zbl 1252.03087
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 122-136, electronic only (2012).
MSC:  03C15 03B44 03C05 05D10 68Q15 68Q25
PDF BibTeX XML Cite
\textit{M. Bodirsky} and \textit{M. Wrona}, LIPIcs -- Leibniz Int. Proc. Inform. 16, 122--136 (2012; Zbl 1252.03087)
Full Text: DOI
Evers, Sander; Lucas, Peter J. F.
Marginalization without summation. Exploiting determinism in factor algebra. (English) Zbl 1341.68251
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 251-262 (2011).
MSC:  68T37 08A70 60E05 62C10 62F15
PDF BibTeX XML Cite
\textit{S. Evers} and \textit{P. J. F. Lucas}, Lect. Notes Comput. Sci. 6717, 251--262 (2011; Zbl 1341.68251)
Full Text: DOI
Chen, Zhicheng; Mao, Mingyi; He, Huacan; Yang, Weikang
Generalized t-norm and fractional “AND” operation model. (English) Zbl 1196.03040
Wang, Guoyin (ed.) et al., Rough sets and knowledge technology. First international conference, RSKT 2006, Chongqing, China, July 24–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36297-5/pbk). Lecture Notes in Computer Science 4062. Lecture Notes in Artificial Intelligence, 586-591 (2006).
MSC:  03B52 68T37
PDF BibTeX XML Cite
\textit{Z. Chen} et al., Lect. Notes Comput. Sci. 4062, 586--591 (2006; Zbl 1196.03040)
Full Text: DOI
Janicki, Ryszard
Towards a mereological system for direct products and relations. (English) Zbl 1013.03076
Alpigini, James J. (ed.) et al., Rough sets and current trends in computing. 3rd international conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2475, 113-122 (2002).
MSC:  03G25 68T37 03G15 68P15 08A70 68Q60
PDF BibTeX XML Cite
\textit{R. Janicki}, Lect. Notes Comput. Sci. 2475, 113--122 (2002; Zbl 1013.03076)
Full Text: Link
Manca, Vincenzo; Salibra, Antonino; Scollo, Giuseppe
On the expressiveness of equational type logic. (English) Zbl 0768.08003
The unified computation laboratory: modelling, specifications, and tools, Proc. Conf., Stirling/UK 1990, Inst. Math. Appl. Conf. Ser., New Ser. 35, 85-100 (1992).
MSC:  08A70 08B05 68T15 08A55 68Q65 18A15 08C10 68Q42 03B20
PDF BibTeX XML Cite
\textit{V. Manca} et al., in: The unified computation laboratory: modelling, specifications, and tools. Based on proceedings of a conference, organized by the Institute of Mathematics and its Applications, held at the University of Stirling, UK, in July 1990. Oxford: Clarendon Press. 85--100 (1992; Zbl 0768.08003)

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
all top 3
Software