Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Phased labeled logics of conditional goals

van der Torre, L. W. N. (1998). Phased labeled logics of conditional goals. In J. Dix, L. Fariñas del Cerro, & U. Furbach (Eds.), Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98) (pp. 92-106). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-386C-8 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-386E-4
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
van der Torre, Leendert W. N.1, Autor
Affiliations:
1Max Planck Society, ou_persistent13              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this paper we introduce phased labeled logics of conditional goals. Labels are used to impose restrictions on the proof theory of the logic. The restriction discussed in this paper is that a proof rule can be blocked in a derivation due to the fact that another proof rule has been applied earlier in the derivation. We call a set of proof rules that can be applied in any order a phase in the proof theory. We propose a one-phase logic of goals containing four proof rules, and we show that it is equivalent to a four-phase logic of goals in which each phase contains exactly one proof rule. The proof theory of the four-phase logic of goals is much more efficient, because other orderings no longer have to be considered.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121998
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519710
Anderer: Local-ID: C1256104005ECAFC-68D1BD813E68DB28C12567510049803A-torre:jelia98
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Schloss Dagstuhl
Start-/Enddatum: 1998

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98)
Genre der Quelle: Konferenzband
 Urheber:
Dix, Jürgen, Herausgeber
Fariñas del Cerro, Luís, Herausgeber
Furbach, Ulrich, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 92 - 106 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 1489 Artikelnummer: - Start- / Endseite: - Identifikator: -