Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Automated theorem proving by resolution in non-classical logics

Sofronie-Stokkermans, V. (2003). Automated theorem proving by resolution in non-classical logics. In Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03) (pp. 151-167). Domaine de Voulceau - Rocquencourt, France: INRIA.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2C55-1 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2C57-E
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sofronie-Stokkermans, Viorica1, 2, Autor           
Nadif, Mohamed, Herausgeber
Napoli, Amedeo, Herausgeber
SanJuan, Eric, Herausgeber
Sigayret, Alain, Herausgeber
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We present several classes of non-classical logics (many of which are practically relevant in knowledge representation) which can be translated into tractable and relatively simple fragments of classical logic. In this context, refinements of resolution can be often used successfully for automated theorem proving, and in many cases yield optimal decision procedures.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2004-06-222003
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 202030
Anderer: Local-ID: C1256104005ECAFC-7C3D3A23074C8A17C1256D9D00366F25-Sofronie-Stokkermans-jim-2003
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: JIM 2003
Veranstaltungsort: Metz, France
Start-/Enddatum: 2003-09-03 - 2003-09-06

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03)
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Domaine de Voulceau - Rocquencourt, France : INRIA
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 151 - 167 Identifikator: ISBN: 2-7261-1256-0