×

Found 4,843 Documents (Results 1–100)

Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. (English) Zbl 07832243

Lecture Notes in Computer Science 14589. Cham: Springer (ISBN 978-3-031-56939-5/pbk; 978-3-031-56940-1/ebook). xxi, 402 p. (2024).
PDFBibTeX XMLCite
Full Text: DOI

Mathematics and ChatGPT. A rendezvous at the foot of the technological singularity. (Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität.) (German) Zbl 1532.68003

Berlin: Springer Spektrum (ISBN 978-3-662-68208-1/pbk; 978-3-662-68209-8/ebook). xiv, 290 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Advances in databases and information systems. 27th European conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023. Proceedings. (English) Zbl 1527.68005

Lecture Notes in Computer Science 13985. Cham: Springer (ISBN 978-3-031-42913-2/pbk; 978-3-031-42914-9/ebook). xxii, 254 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

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

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

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

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

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

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

Advances in databases and information systems. 26th European conference, ADBIS 2022, Turin, Italy, September 5–8, 2022. Proceedings. (English) Zbl 1503.68014

Lecture Notes in Computer Science 13389. Cham: Springer (ISBN 978-3-031-15739-4/pbk; 978-3-031-15740-0/ebook). xxiii, 408 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. (English) Zbl 1499.68028

Lecture Notes in Computer Science 13388. Cham: Springer (ISBN 978-3-031-11320-8/pbk; 978-3-031-11321-5/ebook). xviii, 237 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Advances in databases and information systems. 25th European conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021. Proceedings. (English) Zbl 1486.68012

Lecture Notes in Computer Science 12843. Cham: Springer (ISBN 978-3-030-82471-6/pbk; 978-3-030-82472-3/ebook). xxi, 289 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bat algorithm with applications to signal, speech, and image processing – a review. (English) Zbl 1459.94042

Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 133-153 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Goal-driven structured argumentation for patient management in a multimorbidity setting. (English) Zbl 1535.68366

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, 166-183 (2020).
PDFBibTeX XMLCite
Full Text: DOI Link

Auction description language (ADL): general framework for representing auction-based markets. (English) Zbl 1464.68388

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 825-832 (2020).
MSC:  68T35 91B26
PDFBibTeX XMLCite
Full Text: DOI

Consolidating modal knowledge bases. (English) Zbl 1464.68386

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 648-655 (2020).
MSC:  68T35 03B45 68T27
PDFBibTeX XMLCite
Full Text: DOI

Development of customized scripts. (English) Zbl 07364705

Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 139-174 (2020).
MSC:  68T35 78A55
PDFBibTeX XMLCite
Full Text: DOI

Advances in databases and information systems. 24th European conference, ADBIS 2020, Lyon, France, August 25–27, 2020. Proceedings. (English) Zbl 1464.68007

Lecture Notes in Computer Science 12245. Cham: Springer (ISBN 978-3-030-54831-5/pbk; 978-3-030-54832-2/ebook). xx, 219 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Event sequence interpretation of structural geomodels: a knowledge-based approach for extracting tectonic sequences. (English) Zbl 07266060

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, 318-333 (2020).
PDFBibTeX XMLCite
Full Text: DOI

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

On the dynamics of structured argumentation: modeling changes in default justification logic. (English) Zbl 07266055

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, 222-241 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Game Description Logic with Integers: a GDL numerical extension. (English) Zbl 07266053

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, 191-210 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parameterised complexity of model checking and satisfiability in propositional dependence logic. (English) Zbl 07266051

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, 157-174 (2020).
PDFBibTeX XMLCite
Full Text: DOI Link

Measuring inconsistency in a general information space. (English) Zbl 07266050

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, 140-156 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Towards probabilistic reasoning in type theory – the intersection type case. (English) Zbl 07266049

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, 122-139 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Diversity, dependence and independence. (English) Zbl 07266048

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, 106-121 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proper hierarchies in polylogarithmic time and absence of complete problems. (English) Zbl 07266047

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, 90-105 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

ASPARTIX-V19 – an answer-set programming based system for abstract argumentation. (English) Zbl 07266046

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, 79-89 (2020).
PDFBibTeX XMLCite
Full Text: DOI Link

Social consolidations: rational belief in a many-valued logic of evidence and peerhood. (English) Zbl 07266045

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, 58-78 (2020).
PDFBibTeX XMLCite
Full Text: DOI Link

On matrices and \(K\)-relations. (English) Zbl 07266044

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, 42-57 (2020).
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

all top 3

Software