Results 281 to 285 of about 46,994 (285)

An essay on resolution logics

Studia Logica, 1993
openaire   +2 more sources

Logic of Dynamic Discourse; Anaphora Resolution

2018
A method for computing the complete meaning of sentences with anaphoric reference is presented, that is, the method for implementing the substitution of an appropriate antecedent to accompany the anaphoric reference. Our method is similar to the one applied in general by Hans Kamp's Discourse Representation Theory (DRT). ‘DRT’ is an
openaire   +2 more sources

HyLoRes: Direct Resolution for Hybrid Logics

Lecture Notes in Computer Science, 2001
Areces, C.E., Heguiabehere, J.M.
openaire   +3 more sources

Clausal logic and resolution

2009
openaire   +1 more source

Direct Resolution for Modal-like Logics

2002
Areces, C.E., Heguiabehere, J.M.
openaire   +2 more sources