top

Prefixed resolution: a resolution method for modal and description logics

C. Areces, H. de Nivelle, and M. de Rijke. Prefixed resolution: a resolution method for modal and description logics. In Automated deduction---CADE-16 (Trento, 1999), pp. 187–201, Springer, Berlin, 1999.

Download: [pdf] 

Abstract:

(unavailable)

Additional Information

Even though hybrid logics are only mentioned in passing, the heart of the resolution method presented in this paper is the use of the hybrid @ operator to "pull out" resolving pairs from inside the modal operators.

BibTeX: (download)

@INCOLLECTION{areces99:_prefix,
  author = {C. Areces and H. de Nivelle and M. de Rijke},
  title = {Prefixed resolution: a resolution method for modal and description
	logics},
  booktitle = {Automated deduction---CADE-16 (Trento, 1999)},
  publisher = {Springer},
  year = {1999},
  pages = {187--201},
  address = {Berlin},
	of the resolution method presented in this paper is the use of the
	hybrid @ operator to "pull out" resolving pairs from inside the modal
	operators.</p>}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33