The following pages link to Artur S. d'Avila Garcez (Q870252):
Displayed 18 items.
- (Q197049) (redirect page) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- (Q2269512) (redirect page) (← links)
- Logical modes of attack in argumentation networks (Q2269513) (← links)
- A neural cognitive model of argumentation with application to legal inference and decision making (Q2447172) (← links)
- Abductive reasoning in neural-symbolic systems (Q2460297) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- Logic tensor networks (Q2667828) (← links)
- (Q3007255) (← links)
- Value-based Argumentation Frameworks as Neural-symbolic Learning Systems (Q3371153) (← links)
- Neural-Symbolic Cognitive Reasoning (Q3514914) (← links)
- (Q4806970) (← links)
- (Q4997237) (← links)
- Learning and Reasoning with Logic Tensor Networks (Q5215371) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311236) (← links)
- A Connectionist Computational Model for Epistemic and Temporal Reasoning (Q5476690) (← links)
- New Computational Paradigms (Q5717032) (← links)
- Symbolic knowledge extraction from trained neural networks: A sound approach (Q5940782) (← links)