Ortiz, Magdalena.
概要
作品: | 3 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Web Reasoning and Rule Systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings /
by:
Schlobach, Stefan.; SpringerLink (Online service); Ortiz, Magdalena.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Web reasoning and rule systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Schlobach, Stefan.; SpringerLink (Online service); Ortiz, Magdalena.
(書目-語言資料,印刷品)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
Ortiz, Magdalena.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Gaggl, Sarah.; Martinez, Maria Vanina.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal Languages and Automata Theory.
Data structures (Computer science)
Rule-based programming
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Semantic Web
Logic programming
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages.
Computer science
Computer and Information Systems Applications.
Application software.
Computer logic
Artificial intelligence
Information storage and retrieval.
Database management.
Data mining.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Database management
Logic, Symbolic and mathematical
Information Storage and Retrieval.
Computers.
Software engineering
Database Management.
Data Mining and Knowledge Discovery.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.