Konev, Boris.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Frontiers of Combining Systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings /
by:
SpringerLink (Online service); Reger, Giles.; Konev, Boris.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
by:
SpringerLink (Online service); Console, Marco.; Konev, Boris.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Mathematical logic.
Computer organization.
Artificial intelligence
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Logic in AI.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Semantic Web
Computer and Information Systems Applications.