|
| << 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 7 van 16 gevonden artikelen
| Titel: |
Automated reasoning in quantified modal and temporal logics |
| Auteur: |
Castellini, Claudio |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 19 (2006) nr. 2 pagina's 183-185 |
| Jaar: |
2006-06-06 |
| Inhoud: |
This paper is a summary of the author's PhD thesis, concerned with automated reasoning in quantified modal and temporal logics. The relevant contributions are: (i) a sound and complete set of sequent calculi for quantified modal logics is devised; (ii) the approach is extended to the quantified temporal logic of linear, discrete time and a framework for doing automated reasoning via Proof Planning in it is developed; (iii) a set of promising experimental results is shown, obtained by applying the framework to the problem of Feature Interactions in telecommunication systems. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 16 gevonden artikelen
| << vorige | volgende >> |