×

Found 122 Documents (Results 1–100)

100
MathJax

Tight state-restoration soundness in the algebraic group model. (English) Zbl 1487.94116

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12827, 64-93 (2021).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Common knowledge and the knowledge account of assertion. (English) Zbl 1429.03072

Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 253-278 (2016).
MSC:  03B42 03A05
PDF BibTeX XML Cite
Full Text: DOI

Selected results and related issues of confidentiality-preserving controlled interaction execution. (English) Zbl 1475.68427

Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9616, 211-234 (2016).
MSC:  68U35 68M25
PDF BibTeX XML Cite
Full Text: DOI

Philosophy and logic of quantum physics. An investigation of the metaphysical and logical implications of quantum physics. (English) Zbl 1396.81004

Philosophische Grundlagen der Wissenschaften und ihrer Anwendungen 5. Frankfurt am Main: Peter Lang (ISBN 978-3-631-66725-5/hbk; 978-3-653-06286-1/ebook). 134 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Paraconsistent justification logic: a starting point. (English) Zbl 1385.03009

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 513-532 (2014).
MSC:  03B42 03B53
PDF BibTeX XML Cite

Reasoning on secrecy constraints under uncertainty to classify possible actions. (English) Zbl 1407.68494

Beierle, Christoph (ed.) et al., Foundations of information and knowledge systems. 8th international symposium, FoIKS 2014, Bordeaux, France, March 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8367, 97-116 (2014).
MSC:  68T42
PDF BibTeX XML Cite
Full Text: DOI

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

The knowledge and quality monitoring systems of mathematical education. (English) Zbl 1298.97056

Burenkov, V. I. (ed.) et al., Progress in analysis. Proceedings of the 8th congress of the International Society for Analysis, its Applications, and Computation (ISAAC), Moscow, Russia, August 22–27, 2011. Volume 3. Moscow: Peoples’ Friendship University of Russia (ISBN 978-5-209-04597-7/hbk). 155-162 (2012).
MSC:  97D60
PDF BibTeX XML Cite

A new method of requirements engineering process design. (English) Zbl 1157.68353

Sahni, S. (ed.), Advances in computer science and technology. Proceedings of the 4th IASTED international conference (ACST 2008), Langkawi, Malaysia, April 2–4, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-730-7/CD-ROM). 85-90 (2008).
MSC:  68N99
PDF BibTeX XML Cite

Epistemic models, logical monotony and substructural logics. (English) Zbl 1121.03008

van Benthem, Johan (ed.) et al., The age of alternative logics. Assessing philosophy of logic and mathematics today. Based on the conference on philosophical insights into logic and mathematics, Nancy, France, September 30–October 4, 2002. Dordrecht: Springer (ISBN 978-1-4020-5011-4/hbk; 978-1-4020-5012-7/e-book). Logic, Epistemology, and the Unity of Science 3, 11-23 (2006).
MSC:  03A05 03B42 03B47
PDF BibTeX XML Cite

Fuzzy interval matrices, neutrosophic interval matrices and their applications. (English) Zbl 1104.65046

Phoenix, AZ: Hexis (ISBN 1-59973-003-0/pbk). 303 p. (2006).
PDF BibTeX XML Cite
Full Text: arXiv

KXtractor: An effective biomedical information extraction technique based on mixture hidden Markov models. (English) Zbl 1133.92304

Zelikovsky, Alexander (ed.), Transactions on Computational Systems Biology II. Berlin: Springer (ISBN 978-3-540-29401-6/pbk). Lecture Notes in Computer Science 3680. Lecture Notes in Bioinformatics. Journal Subline, 68-81 (2005).
PDF BibTeX XML Cite
Full Text: DOI

Commonsense as motion. The dynamics of reasoning with partial information. (English) Zbl 0969.03045

Faller, Martina (ed.) et al., Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. CSLI Lect. Notes. 91, 3-26 (2000).
MSC:  03B60 68T30 68T27
PDF BibTeX XML Cite

Belief reconstruction in cooperative dialogues. (English) Zbl 0927.03033

Giunchiglia, Fausto (ed.), Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA ’98. Sozopol, Bulgaria, September 21–23, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1480, 254-266 (1998).
MSC:  03B42 68T27 03B70
PDF BibTeX XML Cite

Belief change rules in ordinal and numerical uncertainty theories. (English) Zbl 0928.03018

Dubois, Didier (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 3: Belief change. Dordrecht: Kluwer Academic Publishers. 311-392 (1998).
MSC:  03B42 68T30 68T35
PDF BibTeX XML Cite

Conditionals and the Ramsey test. (English) Zbl 0937.03025

Dubois, Didier (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 3: Belief change. Dordrecht: Kluwer Academic Publishers. 147-188 (1998).
PDF BibTeX XML Cite

Design and implementation of diagnostic strategies using modal logic. (English) Zbl 1427.68292

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 104-118 (1996).
MSC:  68T27 03B45 68T30
PDF BibTeX XML Cite
Full Text: DOI

Practical reasoning with procedural knowledge (a logic of BDI agents with know-how). (English) Zbl 1419.68138

Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 663-678 (1996).
MSC:  68T27 68T30 68T42
PDF BibTeX XML Cite
Full Text: DOI

A resolution-based proof method for temporal logics of knowledge and belief. (English) Zbl 1422.03020

Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 178-192 (1996).
MSC:  03B35 03B42 03B44
PDF BibTeX XML Cite
Full Text: DOI Link

Doxastic normality logic: A qualitative probabilistic modal framework of defaults and belief. (English) Zbl 0939.03034

Fuhrmann, André (ed.) et al., Logic, action, and information. Essays on logic in philosophy and artificial intelligence. Based on a meeting held in autumn 1992 in Konstanz, Germany. Berlin: Walter de Gruyter. 152-171 (1996).
MSC:  03B60 03B42 68T27
PDF BibTeX XML Cite

Some thoughts about the foundations of statistics. (English) Zbl 0819.62002

Morgenthaler, Stephan (ed.) et al., New directions in statistical data analysis and robustness. Proceedings of a workshop, held at the Centro Stefano Franscini in Ascona, Switzerland, from June 28-July 4, 1992. Basel: Birkhäuser. Monte Verità, Proceedings of the Centro Stefano Franscini Ascona. 125-137 (1993).
MSC:  62A01
PDF BibTeX XML Cite

The dynamics of belief systems: Foundations versus coherence theories. (English) Zbl 0832.90146

Bicchieri, Cristina (ed.) et al., Knowledge, belief and strategic interaction. Papers presented at the workshop, held in Castiglioncello, Italy, June 1989. Cambridge: Cambridge University Press. Cambridge Studies in Probability, Induction, and Decision Theory. 377-396 (1992).
MSC:  91A99
PDF BibTeX XML Cite

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

all top 3

Software