Martinez, Maria Vanina.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
A general framework for reasoning on inconsistency
by:
SpringerLink (Online service); Martinez, Maria Vanina.
(Language materials, printed)
Subjects
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 Science Logic and Foundations of Programming.
Computer and Information Systems Applications.
Artificial Intelligence (incl. Robotics)
Computer logic
Artificial intelligence
Inconsistency (Logic)
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Database management