Citation Relationships

Legends: Link to a Model Reference cited by multiple papers

d'Avila Garcez AS, Lamb LC (2006) A connectionist computational model for epistemic and temporal reasoning. Neural Comput 18:1711-38 [PubMed]

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 dissertation
Broda K, Gabbay DM, Lamb LC, Russo A (2004) Compiled labelled deductive systems: A uniform presentation of non-classical logics
Browne A, Sun R (2001) Connectionist inference models. Neural Netw 14:1331-55 [PubMed]
Brzoska C (1991) Temporal logic programming and its relation to constraint logic programming Proc. International Symposium on Logic Programming :661-677
Cloete 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-207
dAvila_Garcez AS, Broda K, Gabbay DM (2002) Neural-symbolic learning systems: Foundations and applications
dAvila_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.921
dAvila_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-275
dAvila_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-139
dAvila_Garcez AS, Lamb LC, Gabbay DM (2002) A connectionist inductive learning system for modal logic programming Proc ICONIP02 02:1992-1997
dAvila_Garcez AS, Zaverucha G (1999) The connectionist inductive learning and logic programming system Applied Intelligence Journal [Special issue] 11:59-77
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, Gabbay DM:Hogger CJ:Robinson JA, ed. pp.499
Gabbay D, Kurucz A, Wolter F, Zakharyaschev M (2003) Many-dimensional modal logics: Theory and applications
Gabbay DM (1996) Labelled deductive systems
Gabbay DM, Hodkinson I, Reynolds M (1994) Temporal logic: Mathematical foundations and computational aspects
Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases New Generation Computing 9:365-385
Halpern JY, van_der_Meyden R, Vardi MY (2004) Complete axiomatizations for reasoning about knowledge and time SIAM Journal On Computing 33:674-703
Hintikka J (1962) Knowledge and belief
Orgun MA, Ma W (1994) An overview of temporal and modal logic programming Proceedings of International Conference on Temporal Logic, ICTL94 94:445-479
Orgun MA, Wadge WW (1992) Towards a unified theory of intensional logic programming Journal Of Logic Programming 13:413-440
Orgun MA, Wadge WW (1994) Extending temporal logic programming with choice predicates non-determinism Journal Of Logic And Computation 4:877-903
Pnueli A (1977) The temporal logic of programs Proceedings of 18th IEEE Annual Symposium on Foundations of Computer Science :46-57
Rao AS, Georgeff MP (1998) Decision procedures for BDI logics Journal Of Logic And Computation 8:293-343
Rumelhart DE, Hinton GE, Williams RJ (1986) Learning internal representations by error propagation Parallel Distributed Processing, Rumelhart DE:McClelland JL, ed. pp.318
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:79-108
Sun R (1995) Robust reasoning: Integrating rule-based and similarity-based reasoning Art Intell 75:241-296
Sun R, Alexandre F (1997) Connectionist symbolic integration
Towell GG, Shavlik JW (1994) Knowledge-based artificial neural networks Art Intell 70:119-165
Valiant LG (1984) A theory of the learnable Communications Of The ACM 27:1134-1142
Valiant LG (2003) Three problems in computer science Journal Of The ACM 50:96-99
Vardi MY (1997) Why is modal logic so robustly decidable Descriptive complexity and finite models, Immerman N:Kolaitis P, ed. pp.149
(34 refs)