×

Found 387 Documents (Results 1–100)

100
MathJax
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. Lect. Notes Comput. Sci. 11726, 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 Link
  • logo of hbz
  • logo of WorldCat
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. Lect. Notes Comput. Sci. 11726, 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
  • logo of hbz
  • logo of WorldCat
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. Lect. Notes Comput. Sci. 11726, 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 HAL
  • logo of hbz
  • logo of WorldCat
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. Lect. Notes Comput. Sci. 11468, 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
  • logo of hbz
  • logo of WorldCat
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). 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
  • logo of hbz
  • logo of WorldCat
Gardy, Patrick; Bouyer, Patricia; Markey, Nicolas

Dependences in strategy logic. (English) Zbl 07228425

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 34, 15 p. (2018).
MSC:  68Q60 03B44 68Q25 68T42
PDF BibTeX XML Cite
\textit{P. Gardy} et al., LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 34, 15 p. (2018; Zbl 07228425)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
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 HAL
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
Daykin, Jacqueline W.; Miller, Mirka; Ryan, Joe

Trends in temporal reasoning: constraints, graphs and posets. (English) Zbl 1460.68100

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. Lect. Notes Comput. Sci. 9582, 290-304 (2016).
MSC:  68T27 06A07 68R07 68R10
PDF BibTeX XML Cite
\textit{J. W. Daykin} et al., Lect. Notes Comput. Sci. 9582, 290--304 (2016; Zbl 1460.68100)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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., Springer Proc. Math. Stat. 125, 77--86 (2015; Zbl 1388.68261)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat

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