Languages
Konev, Boris.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Frontiers of combining systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
by:
FroCoS (Symposium) (2021 :); Konev, Boris.; Reger, Giles.; SpringerLink (Online service)
(Electronic resources)
Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
by:
Summer School on Reasoning Web (2023 :); 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.