×

Found 18,745 Documents (Results 1–100)

The limits to gossip: second-order shared knowledge of all secrets is unsatisfiable. (English) Zbl 07691326

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 237-249 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

An integrated web platform for the Mizar Mathematical Library. (English) Zbl 07691295

Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 141-146 (2022).
MSC:  68Vxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

\(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge. (English. Russian original) Zbl 07675134

Dokl. Math. 106, No. 3, 429-435 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 507, 29-35 (2022).
MSC:  68Vxx 68Uxx 68-XX
PDF BibTeX XML Cite
Full Text: DOI

DeduDeep: an extensible framework for combining deep learning and ASP-based models. (English) Zbl 07671912

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 505-510 (2022).
MSC:  68Q80
PDF BibTeX XML Cite
Full Text: DOI

Towards provenance in heterogeneous knowledge bases. (English) Zbl 07671895

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 287-300 (2022).
MSC:  68Q80
PDF BibTeX XML Cite
Full Text: DOI

IASCAR: incremental answer set counting by anytime refinement. (English) Zbl 07671890

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 217-230 (2022).
MSC:  68Q80
PDF BibTeX XML Cite
Full Text: DOI

An epistemic interpretation of tensor disjunction. (English) Zbl 07668123

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 719-739 (2022).
MSC:  03B42 03B55
PDF BibTeX XML Cite
Full Text: arXiv

Relevant reasoners in a classical world. (English) Zbl 07668122

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 697-717 (2022).
MSC:  03B42 03B47
PDF BibTeX XML Cite
Full Text: arXiv

An analytic proof system for common knowledge logic over S5. (English) Zbl 07668120

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 659-679 (2022).
MSC:  03F03 03B42 03B45
PDF BibTeX XML Cite

A new hope. (English) Zbl 07668105

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 349-369 (2022).
MSC:  03B42 68T42
PDF BibTeX XML Cite

Gradient methods for optimizing metaparameters in the knowledge distillation problem. (English. Russian original) Zbl 1506.68092

Autom. Remote Control 83, No. 10, 1544-1554 (2022); translation from Avtom. Telemekh. 2022, No. 10, 67-79 (2022).
MSC:  68T05 68T07 90C90
PDF BibTeX XML Cite
Full Text: DOI

Dealing with large volumes of complex relational data using RCA. (English) Zbl 07631917

Missaoui, Rokia (ed.) et al., Complex data analytics with formal concept analysis. Cham: Springer. 105-134 (2022).
MSC:  68T09 68T30
PDF BibTeX XML Cite
Full Text: DOI

Towards the evaluation of action reversibility in STRIPS using domain generators. (English) Zbl 07630648

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 226-236 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Properties of system W and its relationships to other inductive inference operators. (English) Zbl 07630647

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 206-225 (2022).
PDF BibTeX XML Cite
Full Text: DOI

The fault-tolerant cluster-sending problem. (English) Zbl 07630645

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 168-186 (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Approximate keys and functional dependencies in incomplete databases with limited domains. (English) Zbl 07630644

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 147-167 (2022).
PDF BibTeX XML Cite
Full Text: DOI

The implication problem for functional dependencies and variants of marginal distribution equivalences. (English) Zbl 07630643

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 130-146 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Can you answer while you wait? (English) Zbl 07630642

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 111-129 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Statistics of RDF store for querying knowledge graphs. (English) Zbl 07630641

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 93-110 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Database repair via event-condition-action rules in dynamic logic. (English) Zbl 07630640

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 75-92 (2022).
PDF BibTeX XML Cite
Full Text: DOI

A graph based semantics for logical functional diagrams in power plant controllers. (English) Zbl 07630639

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 55-74 (2022).
PDF BibTeX XML Cite
Full Text: DOI

On the expressive power of message-passing neural networks as global feature map transformers. (English) Zbl 07630637

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 20-34 (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On sampling representatives of relational schemas with a functional dependency. (English) Zbl 07630636

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 1-19 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Graph-based representation and reasoning. 27th international conference on conceptual structures, ICCS 2022, Münster, Germany, September 12–15, 2022. Proceedings. (English) Zbl 07630177

Lecture Notes in Computer Science 13403. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-16662-4/pbk; 978-3-031-16663-1/ebook). xi, 129 p. (2022).
MSC:  68-06 68T30 00B25
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

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