Ortiz, Magdalena.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Web reasoning and rule systems10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
(1998 :); Ortiz, Magdalena.; Schlobach, Stefan.; SpringerLink (Online service)
(書目-電子資源)
Logics in artificial intelligence18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(1998 :); Gaggl, Sarah.; Martinez, Maria Vanina.; Ortiz, Magdalena.; SpringerLink (Online service)
(書目-電子資源)
Foundations of information and knowledge systems13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024 : proceedings /
by:
(1998 :); Meier, Arne.; Ortiz, Magdalena.; SpringerLink (Online service)
(書目-電子資源)
主題
Data structures (Computer science)
Mathematical Logic and Formal Languages.
Artificial intelligence
Software engineering
Computer and Information Systems Applications.
Logic in AI.
Programming Language.
Semantic Web
Logic programming
Information Systems Applications (incl. Internet)
Database Management.
Computation by Abstract Devices.
Programming Techniques.
Computer systems
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
Knowledge Based Systems.