views: 17Update PhotoDavid Tena CucalaBindingFollowResearch AssociateDepartment of Computer Science, University of OxfordSign in to view moreShow Academic TrajectoryEgo NetworkD-CoreResearch InterestsAuthor StatisticsExperienceSign in to view moreEducationSign in to view moreBioMy research is focused on knowledge representation through logic languages, as well as reasoning methods for such representations.Papers4 papersSortBy YearBy CitationConsequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and NominalsDavid Tena Cucala,Bernardo Cuenca Grau,Ian HorrocksIJCAI, (2018): 1970-1976Cited by9EIBibtexConsequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions Andrew Bate,Boris Motik,Bernardo Cuenca Grau,David Tena Cucala,Frantisek Simancik,Ian HorrocksJ. Artif. Intell. Res., (2018): 625-690Cited by4EIBibtexConsequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and NominalsDavid Tena Cucala,Bernardo Cuenca Grau,Ian HorrocksDescription Logics, (2017)Cited by5EIBibtexSignificance of late ventricular potentials in myotonic dystrophyD Babuty,L Fauchier,D Tena-Carbi,P Poret,J Leche,M Raynaud,J P Fauchier,P CosnayAMERICAN JOURNAL OF CARDIOLOGY, no. 9 (1999): 1099-+Cited by16WOSEIBibtexView AllBase InfoPapersPatentsProjects