## Found 456 Documents (Results 1–100)

### Logics with group announcements and distributed knowledge: completeness and expressive power. (English)Zbl 07557201

MSC:  03-XX 68-XX
Full Text:

Full Text:

MSC:  68M14
Full Text:

### 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
Full Text:

### Group belief. (English)Zbl 07451574

MSC:  03-XX 68-XX
Full Text:

### 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
Full Text:

### Inference approach based on Petri nets. (English)Zbl 1475.68369

MSC:  68T30 68Q85
Full Text:

Full Text:

MSC:  68-XX
Full Text:

Full Text:

Full Text:

### 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
Full Text:

### 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
Full Text:

### Argumentation based reinforcement learning for meta-knowledge extraction. (English)Zbl 1456.68169

MSC:  68T05 68T30 68T35
Full Text:

### Common knowledge equilibrium of Boolean securities in distributed information market. (English)Zbl 07323530

MSC:  91B24 91B44
Full Text:

MSC:  91E40
Full Text:

Full Text:

### 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).
Full Text:

### 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).
Full Text:

### 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
Full Text:

### 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
Full Text:

### 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
Full Text:

### 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
Full Text:

### Distributed representation of knowledge graphs with subgraph-aware proximity. (English)Zbl 1436.68334

MSC:  68T30 68R10
Full Text:

### Methods for domain specification of verification-oriented process ontology. (Russian. English summary)Zbl 07589539

MSC:  68Q60 68Q85 68T30
Full Text:

### 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
Full Text:

Full Text:

### 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
Full Text:

### Fuzzy spatio-temporal ontologies and formal construction based on fuzzy Petri nets. (English)Zbl 1427.68301

MSC:  68T30 68Q85 68T37
Full Text:

### 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
Full Text:

Full Text:

MSC:  03A99
Full Text:

### 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).
Full Text:

### 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).
Full Text:

### Acquiring and sharing tacit knowledge based on interval 2-tuple linguistic assessments and extended fuzzy Petri nets. (English)Zbl 1469.68113

MSC:  68T37 68Q85 68T30
Full Text:

### 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
Full Text:

### Known unknowns: time bounds and knowledge of ignorance. (English)Zbl 1437.03058

van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 187-206 (2018).
MSC:  03B42 03B80 03A10
Full Text:

### 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
Full Text:

### Knowledge reasoning over knowledge graph: a survey. (Chinese. English summary)Zbl 1424.68163

MSC:  68T30 68T37
Full Text:

### An algorithm for solving minimal cut set of causality diagram by Petri net model. (Chinese. English summary)Zbl 1424.68158

MSC:  68T27 68Q85 68T30
Full Text:

### Information elicitation for Bayesian auctions. (English)Zbl 1415.91135

Deng, Xiaotie (ed.), Algorithmic game theory. 11th international symposium, SAGT 2018, Beijing, China, September 11–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11059, 43-55 (2018).
MSC:  91B26
Full Text:

### Cloud data processing using granular based weighted concept lattice and Hamming distance. (English)Zbl 1402.68030

MSC:  68M14 68T30
Full Text:

### 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
Full Text:

Full Text:

### Distributed first order logic. (English)Zbl 1423.68491

MSC:  68T30 68T27
Full Text:

### 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).
Full Text:

### Distributed knowing whether (extended abstract). (English)Zbl 1495.03026

Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10455, 653-657 (2017).
MSC:  03B42
Full Text:

### Resolving distributed knowledge. (English)Zbl 1419.68103

MSC:  68T27 03B42 68T30
Full Text:

Full Text:

### 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
Full Text:

### 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).
Full Text:

Full Text:

### 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).
Full Text:

### 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
Full Text:

### Modeling ontology evolution via pi-calculus. (English)Zbl 1398.68525

MSC:  68T30 68Q55 68Q85
Full Text:

### 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
Full Text:

### 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
Full Text:

### 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

### 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).
Full Text:

### 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).
Full Text:

### 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
Full Text:

### 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
Full Text:

### 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).
Full Text:

Full Text:

### Standard and ordered zoom structures. (English)Zbl 1332.68047

MSC:  68Q05 68Q85 92C45
Full Text:

### Revision in networks of ontologies. (English)Zbl 1346.68191

MSC:  68T30 68T27
Full Text:

### 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
Full Text:

### Distributed evaluation of nonmonotonic multi-context systems. (English)Zbl 1328.68223

MSC:  68T35 68W15
Full Text:

Full Text:

### Reasoning dynamic fuzzy systems based on adaptive fuzzy higher order Petri nets. (English)Zbl 1355.68251

MSC:  68T37 68Q85 68T30
Full Text:

### Embedding relational databases in object ontologies: implementation issues. (Russian. English summary)Zbl 1343.68069

MSC:  68P15 68T30
Full Text:

### 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).
Full Text:

### Distributed knowledge justification logics. (English)Zbl 1344.03017

MSC:  03B42 03B45 68T27
Full Text:

### Beyond Lamport’s happened-before, on time bounds and the ordering of events in distributed systems. (English)Zbl 1295.68165

MSC:  68Q85 68M14
Full Text:

### 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).
Full Text:

MSC:  03B42
Full Text:

### Logic of non-monotonic interactive proofs. (English)Zbl 1303.68129

Lodaya, Kamal (ed.), Logic and its applications. 5th Indian conference, ICLA 2013, Chennai, India, January 10–12, 2013, Proceedings. Berlin: Springer (ISBN 978-3-642-36038-1/pbk). Lecture Notes in Computer Science 7750, 173-184 (2013).
MSC:  68T27 03B42 68T42
Full Text:

Full Text:

Full Text:

### Toward more localized local algorithms: removing assumptions concerning global knowledge. (English)Zbl 1284.68644

MSC:  68W15 05C15 05C78
Full Text:

### 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
Full Text:

### The many faces of closure and introspection. An ineractive perspective. (English)Zbl 1260.03005

MSC:  03A05 03B42
Full Text:

Full Text:

MSC:  68T50

### 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).
Full Text:

### 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
Full Text:

### 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
Full Text:

### Joint perception in agent communication. (English)Zbl 1274.68593

MSC:  68T42 68T30
Full Text:

### Generalized net model of the process of selection and usage of an intelligent e-learning system. (English)Zbl 1265.68264

MSC:  68T35 68Q85

### Achieving distributed control through model checking. (English)Zbl 1247.68185

MSC:  68Q85 68Q60 68M14
Full Text:

### 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
Full Text:

### 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).
Full Text:

### 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
Full Text:

Full Text:

### A modal type theory for formalizing trusted communications. (English)Zbl 1254.68247

MSC:  68T27 03B42 68T42
Full Text:

### 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).
Full Text:

### 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
Full Text:

### 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
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3