Prefixed resolution: a resolution method for modal and description logics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

Prefixed resolution: a resolution method for modal and description logics

C. Areces
  • Function : Author
H. de Nivelle
  • Function : Author
M. de Rijke
  • Function : Author
No file

Dates and versions

inria-00000333 , version 1 (23-09-2005)

Identifiers

  • HAL Id : inria-00000333 , version 1

Cite

C. Areces, H. de Nivelle, M. de Rijke. Prefixed resolution: a resolution method for modal and description logics. Automated deduction --- CADE-16 (Trento, 1999), 1999, Berlin, Germany, pp.187--201. ⟨inria-00000333⟩
9 View
0 Download

Share

Gmail Facebook X LinkedIn More