Konev, Boris.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Frontiers of combining systems13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
by:
(1998 :); Konev, Boris.; Reger, Giles.; SpringerLink (Online service)
(Electronic resources)
Reasoning web. declarative artificial intelligence: knowledge, rules, logic19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
by:
(1998 :); Console, Marco.; Konev, Boris.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Artificial intelligence
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Logic in AI.
Computer and Information Systems Applications.
Semantic Web
Computer science
Artificial Intelligence.
Logic, Symbolic and mathematical
Computer Systems Organization and Communication Networks.