×

Found 411 Documents (Results 1–100)

Spatial and timing properties in highway traffic. (English) Zbl 07719828

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 114-131 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A one-pass tree-shaped tableau for defeasible LTL. (English) Zbl 07744959

Combi, Carlo (ed.) et al., 28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 206, Article 16, 18 p. (2021).
MSC:  03B44 68Q60 68T27
PDFBibTeX XMLCite
Full Text: DOI

A neuro-symbolic approach to structured event recognition. (English) Zbl 07744954

Combi, Carlo (ed.) et al., 28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 206, Article 11, 14 p. (2021).
MSC:  03B44 68Q60 68T27
PDFBibTeX XMLCite
Full Text: DOI

Axiomatizing norms across time and the ‘paradox of the court’. (English) Zbl 07655708

Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 201-218 (2021).
PDFBibTeX XMLCite

On the decidability of a fragment of preferential LTL. (English) Zbl 07760489

Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 19, 19 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Dynamic branching in qualitative constraint networks via counting local models. (English) Zbl 07760482

Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 12, 15 p. (2020).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI

On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning. (English) Zbl 1515.68308

Gamper, Johann (ed.) et al., 26th international symposium on temporal representation and reasoning, TIME 2019. Málaga, Spain, October 16–19, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 147, Article 14, 17 p. (2019).
MSC:  68T27 68T20
PDFBibTeX XMLCite
Full Text: DOI

Granular spatial calculi of relative directions or movements with parallelism: consistent account (short paper). (English) Zbl 1493.68351

Timpf, Sabine (ed.) et al., 14th international conference on spatial information theory, COSIT 2019, Regensburg, Germany, September 9–13, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 142, Article 28, 9 p. (2019).
MSC:  68T30 68T27 68U05
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI Link

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI HAL

Stable-ordered models for propositional theories with order operators. (English) Zbl 1525.68174

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 03B44 68T30
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

Temporal reasoning with layered preferences. (English) Zbl 1518.68345

Ceci, Michelangelo (ed.) et al., Foundations of intelligent systems. 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11177, 367-376 (2018).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Learning qualitative constraint networks. (English) Zbl 1487.68216

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 19, 13 p. (2018).
MSC:  68T20 68T05
PDFBibTeX XMLCite
Full Text: DOI

A temporal logic for modelling activities of daily living. (English) Zbl 1487.68218

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 17, 15 p. (2018).
MSC:  68T27 03B44 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Dependences in strategy logic. (English) Zbl 1484.68101

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Collective singleton-based consistency for qualitative constraint networks. (English) Zbl 1515.68293

Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 19, 17 p. (2017).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI HAL

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
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

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