×

zbMATH — the first resource for mathematics

Found 374 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Doder, Dragan; Studer, Thomas
Probabilistic consensus of the blockchain protocol. (English) Zbl 07170156
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, 469-480 (2019).
MSC:  68T37
PDF BibTeX XML Cite
\textit{B. Marinković} et al., Lect. Notes Comput. Sci. 11726, 469--480 (2019; Zbl 07170156)
Full Text: DOI
Dautović, Šejla; Doder, Dragan
Probabilistic logic for reasoning about actions in time. (English) Zbl 07170149
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, 385-396 (2019).
MSC:  68T37
PDF BibTeX XML Cite
\textit{Š. Dautović} and \textit{D. Doder}, Lect. Notes Comput. Sci. 11726, 385--396 (2019; Zbl 07170149)
Full Text: DOI
Monvoisin, Mathilde; Leray, Philippe
Multi-task transfer learning for timescale graphical event models. (English) Zbl 07170143
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, 313-323 (2019).
MSC:  68T37
PDF BibTeX XML Cite
\textit{M. Monvoisin} and \textit{P. Leray}, Lect. Notes Comput. Sci. 11726, 313--323 (2019; Zbl 07170143)
Full Text: DOI
Oetsch, Johannes; Nieves, Juan-Carlos
Stable-ordered models for propositional theories with order operators. (English) Zbl 07169145
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, 794-802 (2019).
MSC:  68T27
PDF BibTeX XML Cite
\textit{J. Oetsch} and \textit{J.-C. Nieves}, Lect. Notes Comput. Sci. 11468, 794--802 (2019; Zbl 07169145)
Full Text: DOI
Qin, Xin; Deshmukh, Jyotirmoy V.
Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. (English) Zbl 07120166
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 266-267 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{X. Qin} and \textit{J. V. Deshmukh}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 266--267 (2019; Zbl 07120166)
Full Text: DOI
Ramasso, Emmanuel
A solution for the learning problem in evidential (partially) hidden Markov models based on conditional belief functions and EM. (English) Zbl 1452.68156
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 I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 299-310 (2016).
MSC:  68T05 62H22 68T37
PDF BibTeX XML Cite
\textit{E. Ramasso}, Commun. Comput. Inf. Sci. 610, 299--310 (2016; Zbl 1452.68156)
Full Text: DOI
Brenton, Christopher; Faber, Wolfgang; Batsakis, Sotiris
Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. (English) Zbl 1428.68282
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 4, 15 p. (2016).
MSC:  68T27 68N17
PDF BibTeX XML Cite
\textit{C. Brenton} et al., OASIcs -- OpenAccess Ser. Inform. 52, Article 4, 15 p. (2016; Zbl 1428.68282)
Full Text: DOI
Khan, Md. Aquil
Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory. (English) Zbl 1398.68542
Peters, James F. (ed.) et al., Transactions on Rough Sets XX. Berlin: Springer (ISBN 978-3-662-53610-0/pbk; 978-3-662-53611-7/ebook). Lecture Notes in Computer Science 10020. Journal Subline, 146-320 (2016).
MSC:  68T37 03B62 06E25 68T27
PDF BibTeX XML Cite
\textit{Md. A. Khan}, Lect. Notes Comput. Sci. 10020, 146--320 (2016; Zbl 1398.68542)
Full Text: DOI
Jakobsen, David; Øhrstrøm, Peter
The interpretation of branching time diagrams. (English) Zbl 1398.03022
Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 31-39 (2016).
MSC:  03A05 03B44 03B65
PDF BibTeX XML Cite
\textit{D. Jakobsen} and \textit{P. Øhrstrøm}, Lect. Notes Comput. Sci. 9717, 31--39 (2016; Zbl 1398.03022)
Full Text: DOI
Jobczyk, Krystian; Ligeza, Antoni; Kluza, Krzysztof
New integral approach to the specification of STPU-solutions. (English) Zbl 1358.68286
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 15th international conference, ICAISC 2016, Zakopane, Poland, June 12–16, 2016. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-39383-4/pbk; 978-3-319-39384-1/ebook). Lecture Notes in Computer Science 9693. Lecture Notes in Artificial Intelligence, 317-328 (2016).
MSC:  68T37 03B52 68T27
PDF BibTeX XML Cite
\textit{K. Jobczyk} et al., Lect. Notes Comput. Sci. 9693, 317--328 (2016; Zbl 1358.68286)
Full Text: DOI
Daykin, Jacqueline W.; Miller, Mirka; Ryan, Joe
Trends in temporal reasoning: constraints, graphs and posets. (English) Zbl 06585033
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-32858-4/pbk; 978-3-319-32859-1/ebook). Lecture Notes in Computer Science 9582, 290-304 (2016).
MSC:  68 65
PDF BibTeX XML Cite
\textit{J. W. Daykin} et al., Lect. Notes Comput. Sci. 9582, 290--304 (2016; Zbl 06585033)
Full Text: DOI
Banerjee, Mohua; Ju, Shier; Khan, Md. Aquil; Tang, Liping
Open world models: a view from rough set theory. (English) Zbl 1388.68261
Chakraborty, Mihir K. (ed.) et al., Facets of uncertainties and applications. ICFUA, Kolkata, India, December 2013. Proceedings of the conference. New Delhi: Springer (ISBN 978-81-322-2300-9/hbk; 978-81-322-2301-6/ebook). Springer Proceedings in Mathematics & Statistics 125, 77-86 (2015).
MSC:  68T37 68T27
PDF BibTeX XML Cite
\textit{M. Banerjee} et al., in: Facets of uncertainties and applications. ICFUA, Kolkata, India, December 2013. Proceedings of the conference. New Delhi: Springer. 77--86 (2015; Zbl 1388.68261)
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
Kong, Zhaodan; Jones, Austin; Medina Ayala, Ana; Aydin Gol, Ebru; Belta, Calin
Temporal logic inference for classification and prediction from data. (English) Zbl 1362.68266
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 273-282 (2014).
MSC:  68T27 03B44 68T05 68T37
PDF BibTeX XML Cite
\textit{Z. Kong} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 273--282 (2014; Zbl 1362.68266)
Full Text: DOI
Barták, Roman; Morris, Robert A.; Venable, K. Brent
An introduction to constraint-based temporal reasoning. (English) Zbl 1307.68002
Synthesis Lectures on Artificial Intelligence and Machine Learning 26. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-967-4/pbk; 978-1-60845-968-1/ebook). xiii, 107 p. (2014).
Reviewer: Jana Köhler (Luzern)
MSC:  68-02 68T20 68T27 68T37
PDF BibTeX XML Cite
\textit{R. Barták} et al., An introduction to constraint-based temporal reasoning. San Rafael, CA: Morgan \& Claypool Publishers (2014; Zbl 1307.68002)
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
Mansky, William; Gunter, Elsa L.
Using locales to define a rely-guarantee temporal logic. (English) Zbl 1360.68795
Beringer, Lennart (ed.) et al., Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32346-1/pbk). Lecture Notes in Computer Science 7406, 299-314 (2012).
MSC:  68T27 03B44 68T15 68T42
PDF BibTeX XML Cite
\textit{W. Mansky} and \textit{E. L. Gunter}, Lect. Notes Comput. Sci. 7406, 299--314 (2012; Zbl 1360.68795)
Full Text: DOI
Molinaro, Cristian; Sliva, Amy; Subrahmanian, V. S.
Abduction in annotated probabilistic temporal logic. (English) Zbl 1245.68056
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 240-250, electronic only (2011).
MSC:  68N17 03B48 68T37
PDF BibTeX XML Cite
\textit{C. Molinaro} et al., LIPIcs -- Leibniz Int. Proc. Inform. 11, 240--250 (2011; Zbl 1245.68056)
Full Text: DOI Link
Goertzel, Ben; Geisweiller, Nil; Coelho, Lúcio; Janičić, Predrag; Pennachin, Cassio
Real-world reasoning: toward scalable, uncertain spatiotemporal, contextual and causal inference. (English) Zbl 1246.68003
Atlantis Thinking Machines 2. Amsterdam: Atlantis Press (ISBN 978-94-91216-10-7/hbk; 978-94-91216-11-4/ebook). 279 p. (2011).
Reviewer: Jana Köhler (Luzern)
MSC:  68-01 68T27 68T30 68T37
PDF BibTeX XML Cite
\textit{B. Goertzel} et al., Real-world reasoning: toward scalable, uncertain spatiotemporal, contextual and causal inference. Amsterdam: Atlantis Press (2011; Zbl 1246.68003)
Full Text: DOI
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. (English) Zbl 1214.68125
Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011).
MSC:  68N19 68-01 68N30 68Q60 68Q85
PDF BibTeX XML Cite
\textit{W.-P. de Roever} et al., Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. Cambridge: Cambridge University Press (2011; Zbl 1214.68125)
Heimbürger, A. (ed.); Kiyoki, Y. (ed.); Tokuda, T. (ed.); Jaakkola, H. (ed.); Yoshida, N. (ed.)
Information modelling and knowledge bases XXII (EJC 2010). Papers based on the presentations at the European Japanese conference, Tallinn, Estonia, June 6–10, 2011. (English) Zbl 1208.68019
Frontiers in Artificial Intelligence and Applications 225. Amsterdam: IOS Press (ISBN 978-1-60750-689-8/hbk; 978-1-60750-690-4/ebook). x, 449 p. (2011).
MSC:  68-06 68P15 68P20 68T30 68T35 00B25
PDF BibTeX XML Cite
\textit{A. Heimbürger} (ed.) et al., Information modelling and knowledge bases XXII (EJC 2010). Papers based on the presentations at the European Japanese conference, Tallinn, Estonia, June 6--10, 2011. Amsterdam: IOS Press (2011; Zbl 1208.68019)
Full Text: Link
Orłowska, Ewa; Golińska-Pilarek, Joanna
Dual tableaux. Foundations, methodology, case studies. (English) Zbl 1210.03001
Trends in Logic–Studia Logica Library 33. Berlin: Springer (ISBN 978-94-007-0004-8/hbk; 978-94-007-0005-5/ebook). v, 562 p. (2011).
Reviewer: Branislav Boričić (Beograd)
MSC:  03-02 03Bxx 03F07
PDF BibTeX XML Cite
\textit{E. Orłowska} and \textit{J. Golińska-Pilarek}, Dual tableaux. Foundations, methodology, case studies. Berlin: Springer (2011; Zbl 1210.03001)
Full Text: DOI
Mazilescu, Vasile
Characterizing an extended fuzzy logic system with temporal attributes for real-time expert systems. (English) Zbl 1339.68247
Mastorakis, N. (ed.) et al., New aspects of systems theory and scientific computation. 10th WSEAS international conference on systems theory and scientific computation (ISTASC ’10), Taipei, Taiwan, August 20–22, 2010. Athens: WSEAS Press (ISBN 978-960-474-218-9/hbk; 978-960-474-219-6/cd-rom). Mathematics and Computers in Science and Engineering, 159-165 (2010).
MSC:  68T35 03B52 68T37
PDF BibTeX XML Cite
\textit{V. Mazilescu}, in: New aspects of systems theory and scientific computation. 10th WSEAS international conference on systems theory and scientific computation (ISTASC '10), Taipei, Taiwan, August 20--22, 2010. Athens: WSEAS Press. 159--165 (2010; Zbl 1339.68247)
Cui, Mei-hua; Xu, Luo-shan
Researches on \((n)\) truth degrees in modal logic. (English) Zbl 1260.03038
Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 321-330 (2010).
MSC:  03B45 03B44 68T37
PDF BibTeX XML Cite
\textit{M.-h. Cui} and \textit{L.-s. Xu}, Adv. Intell. Soft Comput. 82, 321--330 (2010; Zbl 1260.03038)
Full Text: DOI
Mazilescu, Vasile; Afanase, Constantin; Bărbută-Mişu, Nicoleta
Dynamic aspects for virtual organizations based on intelligent agent technology. (English) Zbl 1231.68253
Kallel, Ali (ed.) et al., Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS ’10), Kantaoui, Sousse, Tunia, May 3–6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-191-5/CD-ROM; 978-960-474-188-5/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks, 61-66 (2010).
MSC:  68T35 68T37 68T42
PDF BibTeX XML Cite
\textit{V. Mazilescu} et al., in: Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS '10), Kantaoui, Sousse, Tunia, May 3--6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 61--66 (2010; Zbl 1231.68253)
Guerram, Tahar; Maamri, Ramdane; Sahnoun, Zaidi
A multi agent based architecture to qualitative temporal constraint reasoning. (English) Zbl 1231.68036
Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 249-259 (2010).
MSC:  68M07
PDF BibTeX XML Cite
\textit{T. Guerram} et al., in: European computing conference. Proceedings of the 4th European computing conference (ECC'10), Bucarest, Romania, April 20--22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 249--259 (2010; Zbl 1231.68036)
Lu, Zhirui; Liu, Jun; Augusto, Juan C.; Wang, Hui
A many-valued temporal logic and reasoning framework for decision making. (English) Zbl 1216.68248
Ruan, Da (ed.), Computational intelligence in complex decision systems. Amsterdam: Atlantis Press; Hackensack, NJ: World Scientific (ISBN 978-90-78677-27-7/hbk). Atlantis Computational Intelligence Systems 2, 125-146 (2010).
MSC:  68T20 68T27 68T37
PDF BibTeX XML Cite
\textit{Z. Lu} et al., Atlantis Comput. Intell. Syst. 2, 125--146 (2010; Zbl 1216.68248)

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