Alex's KB
Search
Cerca
Tema scuro
Tema chiaro
Esplora
Etichetta: logica-primo-ordine
3 oggetti con questa etichetta.
25 nov 2025
Ragionamento non-monotono (KRR)
default-logic
logica-primo-ordine
ragionamento-non-monotono
25 nov 2025
Situation Calculus
situation-calculus
frame-problem
logica-primo-ordine
25 nov 2025
Logica del primo ordine (FOL)
logica-primo-ordine
logica-classica
conoscenza-dichiarativa