3 events with tag "reasoning"
1662
ID: 434
Arnauld and Nicole publish 'La Logique ou l'Art de Penser' (Port-Royal Logic), influential logic textbook bridging scholastic and modern logic
ID: 434
2004
ID: 4512
OWL-DL decidable ontology language - guaranteed reasoning termination for knowledge representation
ID: 4512
2023
ID: 3383
GPT-4 demonstrates advanced mathematical reasoning capabilities
ID: 3383