Martinez, Maria Vanina.
概要
| 作品: | 2 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Scalable uncertainty management = 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024 : proceedings /
by:
Sanfilippo, Giuseppe.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Destercke, Sébastien.; Martinez, Maria Vanina.
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Gupta, Gopal.; SpringerLink (Online service); Martinez, Maria Vanina.; Dodaro, Carmine.
(書目-語言資料,印刷品)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
Ortiz, Magdalena.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gaggl, Sarah.; SpringerLink (Online service); Martinez, Maria Vanina.
(書目-語言資料,印刷品)
A general framework for reasoning on inconsistency
by:
SpringerLink (Online service); Martinez, Maria Vanina.
(書目-語言資料,印刷品)
主題
Computer System Implementation.
Computer logic.
Formal Languages and Automata Theory.
Computer Communication Networks.
Nonmonotonic reasoning
Mathematics of Computing.
Computer Science.
Programming Techniques.
Compilers and Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Logic programming
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.
Machine Learning.
Uncertainty (Information theory)
Logic, Symbolic and mathematical
Computer Application in Administrative Data Processing.
Logic design.
Software engineering