|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 2 van 5 gevonden artikelen
| Titel: |
A Resolution Calculus for First-order Schemata |
| Auteur: |
Aravantinos, Vincent Echenim, Mnacho Peltier, Nicolas |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 125 (2013) nr. 2 pagina's 101-133 |
| Jaar: |
2013-07-19 |
| Inhoud: |
We devise a resolution calculus that tests the satisfiability of infinite families of clause sets, called clause set schemata. For schemata of propositional clause sets, we prove that this calculus is sound, refutationally complete, and terminating. The calculus is extended to first-order clauses, for which termination is lost, since the satisfiability problem is not semi-decidable for nonpropositional schemata. The expressive power of the considered logic is strictly greater than the one considered in our previous work. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 5 gevonden artikelen
| << vorige | volgende >> |