語系
Ortiz, Magdalena.
概要
作品: | 0 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Web reasoning and rule systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
Ortiz, Magdalena.; Schlobach, Stefan.; SpringerLink (Online service)
(書目-電子資源)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
JELIA (Conference) (2023 :); Gaggl, Sarah.; Martinez, Maria Vanina.; Ortiz, Magdalena.; SpringerLink (Online service)
(書目-電子資源)
主題
Data structures (Computer science)
Mathematical Logic and Formal Languages.
Artificial intelligence
Software engineering
Computer and Information Systems Applications.
Semantic Web
Logic programming
Information Systems Applications (incl. Internet)
Database Management.
Computation by Abstract Devices.
Programming Techniques.
Information Storage and Retrieval.
Computer logic
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Rule-based programming
Data Mining and Knowledge Discovery.
Database management
Computer science
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science.
Logic, Symbolic and mathematical