Towards reasoning about the past in neural-symbolic systems

CEUR Workshop Proceedings

Volumn 230, Issue , 2007, Pages

  Borges, Rafael V ^a   Lamb, Luís C ^a   Garcez, Artur S D'Avila ^b  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INDUCTIVE LEARNING; INTEGRATED LEARNING; LOGIC PROGRAMMING SYSTEMS; LOGICAL OPERATORS; NEURAL-SYMBOLIC SYSTEMS; REASONING SYSTEM; TEMPORAL ASPECTS; TEMPORAL KNOWLEDGE REPRESENTATION;

KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING;

ARTIFICIAL INTELLIGENCE;

EID: 84884661439     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. K. R. Apt and D. Pedreschi. Reasoning about termination of pure prolog programs. Information and Computation, 106:109-157, 1993.
2. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, and Richard Owens. Metatem: An introduction. Formal Asp. Comput., 7(5):533-549, 1995.
3. A. S. d'Avila Garcez, K. Broda, and D. M. Gabbay. Neural-Symbolic Learning Systems: Foundations and Applications. Perspectives in Neural Computing. Springer-Verlag, 2002.
4. A. S. d'Avila Garcez and Luís C. Lamb. Neural-symbolic systems and the case for non-classical reasoning. In Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, and John Woods, editors, We Will Show Them! Essays in honour of Dov Gabbay, pages 469-488. College Publications, 2005.
5. A. S. d'Avila Garcez and Luis C. Lamb. A connectionist computational model for epistemic and temporal reasoning. Neural Computation, 18(7):1711-1738, 2006.
6. A. S. d'Avila Garcez, Luis C. Lamb, and D. M. Gabbay. Connectionist computations of intuitionistic reasoning. Theoretical Computer Science, 358(1):34-55, 2006.
7. A. S. d'Avila Garcez and G. Zaverucha. The connectionist inductive learning and logic programming system. Applied Intelligence Journal, 11(1):59-77, 1999.
8. Jeffrey L. Elman. Finding structure in time. Cognitive Science, 14(2):179-211, 1990.
9. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
10. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. ICLP, pages 1070-1080. MIT Press, 1988.
11. S. Holldobler and Y. Kalinke. Toward a new massively parallel computational model for logic programming. In Proc. of the Workshop on Combining Symbolic and Connectionist Processing, ECAI 94, pages 68-77, 1994.
12. Hava T. Siegelmann, Bill G. Horne, and C. Lee Giles. Computational capabilities of recurrent narx neural networks. Technical report, College Park, MD, USA, 1995.