Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
In this paper we propose a general-purpose first-order automated reasoning framework based on the notion of a definite formula and on a non-clausal variant of SLD-resolution. This framework provides a universal Horn clause-like representation of knowledge for classical as well as a range of non-classical first-order logics. It provides a resolution-style method for automated reasoning with theories of definite formulas.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
363--388
Opis fizyczny
bibliogr. 22 poz.
Twórcy
autor
- Department of Computer Science York University Toronto, Canada, zbigniew@cs.yorku.ca
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0003-0095