Skip navigation
Skip navigation

Browsing by Author Nguyen, Linh Anh

Or enter first few letters:  
Showing results 1 to 7 of 7

A tableau calculus with automaton-labelled formulae for regular grammar logics

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeConference paper
Date Published2005
Date CreatedSeptember 14-17 2005

Analytic cut-free Tableaux for regular modal logics of agent beliefs

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeBook chapter
Date Published2008
Date Created-

Clausal Tableaux for Multimodal Logics of Belief

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeJournal article
Date Published2009
Date Created-

Completeness of hyper-resolution via the semantics of disjunctive logic programs

Author(s)Nguyen, Linh Anh; Gore, Rajeev
TypeJournal article
Date Published2005
Date Created-

EXPTIME tableaux for ALC using sound global caching

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeConference paper
Date Published2007
Date CreatedJune 8-10 2007

ExpTime Tableaux for ALC Using Sound Global Caching

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeJournal article
Date Published2011
Date Created-

EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeConference paper
Date Published2007
Date CreatedJuly 3-6 2007
  • previous
  • 1
  • next

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator