Ajjanagadde V. (1997). Rule-based reasoning in connectionist networks Unpublished doctoral dissertation.
Broda K, Gabbay DM, Lamb LC, Russo A. (2004). Compiled labelled deductive systems: A uniform presentation of non-classical logics.
Broda K, Gabbay DM, Lamb LC, dAvila_Garcez AS. (2003). Distributed knowledge representation in neural-symbolic learning systems: A case study Proceedings of AAAI International FLAIRS Conference.
Broda K, Gabbay DM, Lamb LC, dAvila_Garcez AS. (2004). Applying connectionist modal logics to distributed knowledge representation problems International Journal On Artificial Intelligence Tools. 13
Broda K, Gabbay DM, dAvila_Garcez AS. (2001). Symbolic knowledge extraction from trained neural networks: A sound approach Artificial Intelligence. 125
Broda K, Gabbay DM, dAvila_Garcez AS. (2002). Neural-symbolic learning systems: Foundations and applications.
Browne A, Sun R. (2001). Connectionist inference models. Neural networks : the official journal of the International Neural Network Society. 14 [PubMed]
Brzoska C. (1991). Temporal logic programming and its relation to constraint logic programming Proc. International Symposium on Logic Programming.
Chagrov A, Zakharyaschev M. (1997). Model Logic.
Fagin R, Halpern J, Moses Y, Vardi M. (1995). Reasoning about knowledge.
Farinas_del_Cerro L, Herzig A. (1995). Modal deduction with applications in epistemic and temporal logics Handbook Of Logic In Artificial Intelligence And Logic Programming. 4
Gabbay DM. (1996). Labelled deductive systems. 1
Gabbay DM, Hodkinson I, Reynolds M. (1994). Temporal logic: Mathematical foundations and computational aspects. 1
Gabbay DM, Lamb LC, dAvila_Garcez AS. (2002). A connectionist inductive learning system for modal logic programming Proc ICONIP02. 02
Gelfond M, Lifschitz V. (1991). Classical negation in logic programs and disjunctive databases New Generation Computing. 9
Halpern JY, van_der_Meyden R, Vardi MY. (2004). Complete axiomatizations for reasoning about knowledge and time SIAM Journal On Computing. 33
Hintikka J. (1962). Knowledge and belief.
Lamb LC, dAvila_Garcez AS. (2004). Reasoning about time and knowledge in neural-symbolic learning systems Advances in neural information processing systems.
Ma W, Orgun MA. (1994). An overview of temporal and modal logic programming Proceedings of International Conference on Temporal Logic, ICTL94. 94
Orgun MA, Wadge WW. (1992). Towards a unified theory of intensional logic programming Journal Of Logic Programming. 13
Orgun MA, Wadge WW. (1994). Extending temporal logic programming with choice predicates non-determinism Journal Of Logic And Computation. 4
Pnueli A. (1977). The temporal logic of programs Proceedings of 18th IEEE Annual Symposium on Foundations of Computer Science.
Rao AS, Georgeff MP. (1998). Decision procedures for BDI logics Journal Of Logic And Computation. 8
Rumelhart DE, Hinton GE, Williams RJ. (1986). Learning internal representations by error propagation Parallel Distributed Processing. 1
Shastri L. (1999). Advances in SHRUTI: A neurally motivated model of relational knowledge representation and rapid inference using temporal synchrony Applied Intelligence Journal [Special issue]. 11
Sun R. (1995). Robust reasoning: Integrating rule-based and similarity-based reasoning Art Intell. 75
Sun R, Alexandre F. (1997). Connectionist symbolic integration.
Towell GG, Shavlik JW. (1994). Knowledge-based artificial neural networks Art Intell. 70
Valiant LG. (1984). A theory of the learnable Communications Of The ACM. 27
Valiant LG. (2003). Three problems in computer science Journal Of The ACM. 50
Vardi MY. (1997). Why is modal logic so robustly decidable Descriptive complexity and finite models.
Zakharyaschev M, Gabbay D, Kurucz A, Wolter F. (2003). Many-dimensional modal logics: Theory and applications.
Zurada JM, Cloete I. (2000). Knowledge-based neurocomputing.
dAvila_Garcez AS, Zaverucha G. (1999). The connectionist inductive learning and logic programming system Applied Intelligence Journal [Special issue]. 11