Martinez, Maria Vanina.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
A general framework for reasoning on inconsistency
by:
SpringerLink (Online service); Martinez, Maria Vanina.
(書目-語言資料,印刷品)
主題
Computer logic.
Formal Languages and Automata Theory.
Logic, Symbolic and mathematical
Logic design.
Software engineering
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Database Management.
Data Mining and Knowledge Discovery.
Computer and Information Systems Applications.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer logic
Inconsistency (Logic)
Artificial Intelligence.
Database management
Special Purpose and Application-Based Systems.