×

Found 456 Documents (Results 1–100)

On Artemov and Protopopescu’s intuitionistic epistemic logic expanded with distributed knowledge. (English) Zbl 07547772

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 216-231 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Publicly verifiable zero knowledge from (collapsing) blockchains. (English) Zbl 1479.94252

Garay, Juan A. (ed.), Public-key cryptography – PKC 2021. 24th IACR international conference on practice and theory of public key cryptography, virtual event, May 10–13, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12711, 469-498 (2021).
MSC:  94A60 68M14 68P25
PDF BibTeX XML Cite
Full Text: DOI

Group belief. (English) Zbl 07578357

Dastani, Mehdi (ed.) et al., Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12061, 3-21 (2020).
MSC:  03B70 68T27
PDF BibTeX XML Cite
Full Text: DOI

Simpler completeness proofs for modal logics with intersection. (English) Zbl 07437027

Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 259-276 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Strongly minimal MapReduce algorithms: a terasort case study. (English) Zbl 07266059

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 301-317 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Logic-based approach to incremental monitoring and optimization on strongly distributed data streams. (English) Zbl 07266056

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 242-262 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Craig interpolation of epistemic logics with distributed knowledge. (English) Zbl 1496.03073

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 211-221 (2020).
MSC:  03B42 03C40
PDF BibTeX XML Cite
Full Text: DOI

A non-interactive shuffle argument with low trust assumptions. (English) Zbl 1457.94087

Jarecki, Stanislaw (ed.), Topics in cryptology – CT-RSA 2020. The cryptographers’ track at the RSA conference 2020, San Francisco, CA, USA, February 24–28, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12006, 667-692 (2020).
MSC:  94A60 68M14 68P25
PDF BibTeX XML Cite
Full Text: DOI

A dynamic epistemic logic analysis of the equality negation task. (English) Zbl 1496.03072

Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 53-70 (2020).
MSC:  03B42 03B70 68M14
PDF BibTeX XML Cite
Full Text: DOI arXiv

A multi-agent platform to support knowledge based modelling in engineering design. (English) Zbl 1436.90170

Bennis, Fouad (ed.) et al., Nature-inspired methods for metaheuristics optimization. Algorithms and applications in science and engineering. Cham: Springer. Model. Optim. Sci. Technol. 16, 245-263 (2020).
MSC:  90C59
PDF BibTeX XML Cite
Full Text: DOI

Effects of topology knowledge and relay depth on asynchronous appoximate consensus. (English) Zbl 07561442

Cao, Jiannong (ed.) et al., 22nd international conference on principles of distributed systems, OPODIS 2018, December 17–19, 2018, Hong Kong, China. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 125, Article 14, 16 p. (2019).
MSC:  68M14 68M20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Group announcement logic with distributed knowledge. (English) Zbl 07160604

Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 98-111 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Dynamic epistemic logic with communication actions. (English) Zbl 1433.68419

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 67-82 (2019).
MSC:  68T27 03B42 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

The role of a-priori information in networks of rational agents. (English) Zbl 07561257

Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 5, 18 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 07447735

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 73-87 (2018).
PDF BibTeX XML Cite
Full Text: Link

Updating probabilistic knowledge on condition/event nets using Bayesian networks. (English) Zbl 07378571

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Pointwise intersection in neighbourhood modal logic. (English) Zbl 1418.03107

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 591-610 (2018).
MSC:  03B45 03B42
PDF BibTeX XML Cite
Full Text: arXiv

Petri nets over ontological graphs: conception and application for modelling tasks of robots. (English) Zbl 1489.68276

Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10313, 207-214 (2017).
MSC:  68T30 68Q85 68T40
PDF BibTeX XML Cite
Full Text: DOI

Reliable communication via semilattice properties of partial knowledge. (English) Zbl 1496.68048

Klasing, Ralf (ed.) et al., Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10472, 367-380 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Distributed and parallel computation of the canonical direct basis. (English) Zbl 1489.68278

Bertet, Karell (ed.) et al., Formal concept analysis. 14th international conference, ICFCA 2017, Rennes, France, June 13–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10308, 228-241 (2017).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

Introduction to data science. A Python approach to concepts, techniques and applications. With contributions from Jordi Vitrià, Eloi Puertas Petia Radeva, Oriol Pujol, Sergio Escalera, Francesc Dantí and Lluís Garrido. (English) Zbl 1365.62003

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-50016-4/pbk; 978-3-319-50017-1/ebook). xiv, 218 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Worlds of events: deduction with partial knowledge about causality. (English) Zbl 1433.68421

Bartoletti, Massimo (ed.) et al., Proceedings of the 9th interaction and concurrency experience workshop, ICE’16, Heraklion, Greece, June 8–9, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 223, 113-127 (2016).
PDF BibTeX XML Cite
Full Text: arXiv Link

Local planning of multiparty interactions with bounded horizons. (English) Zbl 1427.68024

Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 199-216 (2016).
MSC:  68M14 68M20 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Flexible generalized fuzzy Petri nets for rule-based systems. (English) Zbl 1398.68522

Martín-Vide, Carlos (ed.) et al., Theory and practice of natural computing. 5th international conference, TPNC 2016, Sendai, Japan, December 12–13, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-49000-7/pbk; 978-3-319-49001-4/ebook). Lecture Notes in Computer Science 10071, 196-207 (2016).
MSC:  68T30 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Modified generalized weighted fuzzy Petri net in intuitionistic fuzzy environment. (English) Zbl 1398.68527

Flores, Víctor (ed.) et al., Rough sets. International joint conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47159-4/pbk; 978-3-319-47160-0/ebook). Lecture Notes in Computer Science 9920. Lecture Notes in Artificial Intelligence, 342-351 (2016).
MSC:  68T37 68Q85
PDF BibTeX XML Cite
Full Text: DOI

A canonical model construction for intuitionistic distributed knowledge. (English) Zbl 1400.03031

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 420-434 (2016).
MSC:  03B42 03B20
PDF BibTeX XML Cite

Brief announcement: Reliable message transmission under partial knowledge and general adversaries. (English) Zbl 1373.68118

Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 203-205 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Unbeatable set consensus via topological and combinatorial reasoning. (English) Zbl 1373.68081

Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 107-116 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

MiMC: efficient encryption and cryptographic hashing with minimal multiplicative complexity. (English) Zbl 1404.94035

Cheon, Jung Hee (ed.) et al., Advances in cryptology – ASIACRYPT 2016. 22nd international conference on the theory and application of cryptology and information security, Hanoi, Vietnam, December 4–8, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-53886-9/pbk; 978-3-662-53887-6/ebook). Lecture Notes in Computer Science 10031, 191-219 (2016).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI Link

Pay-as-you-go data integration: experiences and recurring themes. (English) Zbl 1428.68080

Freivalds, Rūsiņš Mārtiņš (ed.) et al., SOFSEM 2016: theory and practice of computer science. 42nd international conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 23–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9587, 81-92 (2016).
MSC:  68M14 68P15 68T35
PDF BibTeX XML Cite
Full Text: DOI

Modified generalised fuzzy Petri nets for rule-based systems. (English) Zbl 1444.68246

Yao, Yiyu (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 15th international conference, RSFDGrC 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9437, 196-206 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Cluster computing in zero knowledge. (English) Zbl 1371.68257

Oswald, Elisabeth (ed.) et al., Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-46802-9/pbk; 978-3-662-46803-6/ebook). Lecture Notes in Computer Science 9057, 371-403 (2015).
MSC:  68T15 62H30 68Q85 68T30
PDF BibTeX XML Cite
Full Text: DOI

Distributed computing building blocks for rational agents. (English) Zbl 1321.68097

Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 406-415 (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

What do we need to know to elect in networks with unknown participants? (English) Zbl 1416.68022

Halldórsson, Magnús M. (ed.), Structural information and communication complexity. 21st international colloquium, SIROCCO 2014, Takayama, Japan, July 23–25, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8576, 279-294 (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

An epistemic perspective on consistency of concurrent computations. (English) Zbl 1390.68491

D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 212-226 (2013).
MSC:  68Q85 03B42 68Q10
PDF BibTeX XML Cite
Full Text: DOI arXiv

The marriage of bisimulations and Kripke logical relations. (English) Zbl 1321.68198

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 59-72 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

Together, is anything possible? A look at collective commitments for agents. (English) Zbl 1281.68214

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 476-480, electronic only (2012).
MSC:  68T42 68M14
PDF BibTeX XML Cite
Full Text: DOI

Randomized projective methods for the construction of binary sparse vector representations. (English. Russian original) Zbl 1276.68144

Cybern. Syst. Anal. 48, No. 1, 146-156 (2012); translation from Kibern. Sist. Anal. 2012, No. 1, 175-187 (2012).
MSC:  68T30 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Distributed formal concept analysis algorithms based on an iterative MapReduce framework. (English) Zbl 1360.68825

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 292-308 (2012).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Combining epistemic logic and Hennessy-Milner logic. (English) Zbl 1354.68255

Constable, Robert L. (ed.) et al., Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29484-6/pbk). Lecture Notes in Computer Science 7230, 219-243 (2012).
PDF BibTeX XML Cite
Full Text: DOI HAL

A distributed logic for networked cyber-physical systems. (English) Zbl 1353.68265

Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 190-205 (2012).
MSC:  68T27 68T40
PDF BibTeX XML Cite
Full Text: DOI

An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes. (English) Zbl 1347.68225

van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 229-243 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. (English) Zbl 1321.68048

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 231-238 (2011).
MSC:  68M12 68M14 68R10
PDF BibTeX XML Cite
Full Text: DOI Link

Toward more localized local algorithms, removing assumptions concerning global knowledge. (English) Zbl 1321.68475

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 49-58 (2011).
MSC:  68W15 05C15 05C85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software