Legends: |
Link to a Model |
Reference cited by multiple papers |

## References and models cited by this paper | ## References and models that cite this paper | |

Ajjanagadde V (1997) Rule-based reasoning in connectionist networks Unpublished doctoral dissertationBroda K, Gabbay DM, Lamb LC, Russo A (2004) Compiled labelled deductive systems: A uniform presentation of non-classical logicsBrzoska C (1991) Temporal logic programming and its relation to constraint logic programming Proc. International Symposium on Logic Programming :661-677Chagrov A, Zakharyaschev M (1997) Model LogicCloete I, Zurada JM (2000) Knowledge-based neurocomputing, Cloete I:Zurada JM, ed. dAvila_Garcez AS, Broda K, Gabbay DM (2001) Symbolic knowledge extraction from trained neural networks: A sound approach Artificial Intelligence 125:155-207dAvila_Garcez AS, Broda K, Gabbay DM (2002) Neural-symbolic learning systems: Foundations and applicationsdAvila_Garcez AS, Lamb LC (2004) Reasoning about time and knowledge in neural-symbolic learning systems Advances in neural information processing systems, Thrun S:Saul L:Scholkopf B, ed. pp.921dAvila_Garcez AS, Lamb LC, Broda K, Gabbay DM (2003) Distributed knowledge representation in neural-symbolic learning systems: A case study Proceedings of AAAI International FLAIRS Conference :271-275dAvila_Garcez AS, Lamb LC, Broda K, Gabbay DM (2004) Applying connectionist modal logics to distributed knowledge representation problems International Journal On Artificial Intelligence Tools 13:115-139dAvila_Garcez AS, Lamb LC, Gabbay DM (2002) A connectionist inductive learning system for modal logic programming Proc ICONIP02 02:1992-1997dAvila_Garcez AS, Zaverucha G (1999) The connectionist inductive learning and logic programming system Applied Intelligence Journal [Special issue] 11:59-77Fagin R, Halpern J, Moses Y, Vardi M (1995) Reasoning about knowledgeFarinas_del_Cerro L, Herzig A (1995) Modal deduction with applications in epistemic and temporal logics Handbook Of Logic In Artificial Intelligence And Logic Programming, Gabbay DM:Hogger CJ:Robinson JA, ed. pp.499Gabbay D, Kurucz A, Wolter F, Zakharyaschev M (2003) Many-dimensional modal logics: Theory and applicationsGabbay DM (1996) Labelled deductive systemsGabbay DM, Hodkinson I, Reynolds M (1994) Temporal logic: Mathematical foundations and computational aspectsGelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases New Generation Computing 9:365-385Halpern JY, van_der_Meyden R, Vardi MY (2004) Complete axiomatizations for reasoning about knowledge and time SIAM Journal On Computing 33:674-703Hintikka J (1962) Knowledge and beliefOrgun MA, Ma W (1994) An overview of temporal and modal logic programming Proceedings of International Conference on Temporal Logic, ICTL94 94:445-479Orgun MA, Wadge WW (1992) Towards a unified theory of intensional logic programming Journal Of Logic Programming 13:413-440Orgun MA, Wadge WW (1994) Extending temporal logic programming with choice predicates non-determinism Journal Of Logic And Computation 4:877-903Pnueli A (1977) The temporal logic of programs Proceedings of 18th IEEE Annual Symposium on Foundations of Computer Science :46-57Rao AS, Georgeff MP (1998) Decision procedures for BDI logics Journal Of Logic And Computation 8:293-343Rumelhart DE, Hinton GE, Williams RJ (1986) Learning internal representations by error propagation Parallel Distributed Processing, Rumelhart DE:McClelland JL, ed. pp.318Shastri 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:79-108Sun R (1995) Robust reasoning: Integrating rule-based and similarity-based reasoning Art Intell 75:241-296Sun R, Alexandre F (1997) Connectionist symbolic integrationVardi MY (1997) Why is modal logic so robustly decidable Descriptive complexity and finite models, Immerman N:Kolaitis P, ed. pp.149 |