×

Found 5,087 Documents (Results 1–100)

100
MathJax

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

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).
PDF BibTeX XML Cite
Full Text: DOI

Bayesian networks. With examples in R. 2nd edition. (English) Zbl 1475.62005

Chapman & Hall/CRC Texts in Statistical Science Series. Boca Raton, FL: CRC Press (ISBN 978-0-367-36651-3/hbk; 978-0-429-34743-6/ebook). xv, 258 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Intelligent system for planning group actions of unmanned aircraft in observing mobile objects on the ground in the specified area. (English. Russian original) Zbl 1476.93120

J. Comput. Syst. Sci. Int. 60, No. 3, 379-395 (2021); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2021, No. 3, 39-56 (2021).
MSC:  93C85 93C42
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI

An approach to intelligent control of complex industrial processes: an example of ferrous metal industry. (English. Russian original) Zbl 1454.93056

Autom. Remote Control 81, No. 10, 1856-1864 (2020); translation from Avtom. Telemekh. 2020, No. 10, 137-148 (2020).
MSC:  93B30 93C95
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
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

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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

Normal forms of conditional knowledge bases respecting entailments and renamings. (English) Zbl 1456.68184

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, 22-41 (2020).
MSC:  68T27 68T30 68T35
PDF BibTeX XML Cite
Full Text: DOI

Functional dependencies in incomplete databases with limited domains. (English) Zbl 1456.68028

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, 1-21 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Knowledge graphs for eXplainable artificial intelligence. Foundations, applications and challenges. (English) Zbl 1434.68034

Studies on the Semantic Web 47. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (ISBN 978-1-64368-080-4/pbk; 978-1-64368-081-1/ebook). vii, 592 p. (2020).
PDF BibTeX XML Cite

Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. (English) Zbl 1435.68031

Lecture Notes in Computer Science 12012. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). xviii, 335 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Artificial intelligence agents in the knowledge databases of onboard real-time advisory expert systems for the typical situations of the functioning of an anthropocentric object. (English. Russian original) Zbl 1476.68256

J. Comput. Syst. Sci. Int. 58, No. 6, 932-944 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2019, No. 6, 90-102 (2019).
MSC:  68T35 68U35
PDF BibTeX XML Cite
Full Text: DOI

Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. (English) Zbl 1433.68035

Communications in Computer and Information Science 1134. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). xiv, 211 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

A quantum-inspired classical algorithm for recommendation systems. (English) Zbl 1433.68436

Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 217-228 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Inspection and selection of representations. (English) Zbl 1428.68293

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 227-242 (2019).
MSC:  68T35 68T30
PDF BibTeX XML Cite
Full Text: DOI Link

Advances in databases and information systems. 23rd European conference, ADBIS 2019, Bled, Slovenia, September 8–11, 2019. Proceedings. (English) Zbl 1419.68021

Lecture Notes in Computer Science 11695. Cham: Springer (ISBN 978-3-030-28729-0/pbk; 978-3-030-28730-6/ebook). xxiii, 457 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

Counting and conjunctive queries in the lifted junction tree algorithm. (English) Zbl 1462.68135

Croitoru, Madalina (ed.) et al., Graph structures for knowledge representation and reasoning. 5th international workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10775, 54-72 (2018).
MSC:  68R10 68T35 68W40
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

Classification

all top 3

Software