Martinez, Maria Vanina.
Overview
| Works: | 2 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
A general framework for reasoning on inconsistency
by:
SpringerLink (Online service); Martinez, Maria Vanina.
(Language materials, printed)
Subjects
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