English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  First‐order Modal Logic Theorem Proving and Functional Simulation

Nonnengart, A. (1993). First‐order Modal Logic Theorem Proving and Functional Simulation. In R. Bajcsy (Ed.), Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence; Chambéry, France, August 28 - September 3, 1993 (pp. 80-85). San Mateo, CA: Morgan Kaufmann.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C7FD-E Version Permalink: https://hdl.handle.net/21.11116/0000-000E-05BB-A
Genre: Conference Paper

Files

show Files

Locators

show
hide
Locator:
https://www.ijcai.org/Proceedings/93-1/Papers/012.pdf (Publisher version)
Description:
-
OA-Status:
Not specified

Creators

show
hide
 Creators:
Nonnengart, Andreas1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: We propose a translation approach from modal logics to first‐order predicate \u000Alogic which combines advantages from both, the (standard) relational \u000Atranslation and the (rather compact) functional translation method and avoids \u000Amany of their respective disadvantages (exponential growth versus equality \u000Ahandling).\\ In particular in the application to serial modal logics it allows \u000Aconsiderable simplifications such that often even a simple unit clause suffices \u000Ain order to express the accessibility relation properties.\\ Although we \u000Arestrict the approach here to first‐order modal logic theorem proving it has \u000Abeen shown to be of wider interest, as e.g.~sorted logic or terminological \u000Alogic.

Details

show
hide
Language(s): eng - English
 Dates: 1993
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: nonnengart93a
 Degree: -

Event

show
hide
Title: Thirteenth International Joint Conference on Artificial Intelligence
Place of Event: Chambéry, France
Start-/End Date: 1993-08-28 - 1993-09-03

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence ; Chambéry, France, August 28 - September 3, 1993
  Abbreviation : IJCAI 1993
Source Genre: Proceedings
 Creator(s):
Bajcsy, R.1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: San Mateo, CA : Morgan Kaufmann
Pages: - Volume / Issue: 1 Sequence Number: - Start / End Page: 80 - 85 Identifier: ISBN: 1-55860-300-X