Publications Master Template: Proceedings Article: How to Use Modalities and Sorts in Prolog

URL of the conference:
URL for downloading the paper:
Event Address*:	York, UK	Language:	English
Event Date* (no longer used):	~~September 5-8, 1994~~	Organization:
Event Start Date:	12 December 2019	Event End Date:	12 December 2019

Publisher

Name*:	Springer	URL:
Address*:	Berlin, Germany	Type:

Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:	838	Number:
Month:		Pages:	365-378
Year*:	1994	VG Wort Pages:
ISBN/ISSN:		Sequence Number:
DOI:


(LaTeX) Abstract:	Standard logic programming languages like Prolog lack the possibility of dealing with modalities and/or sorts. A first idea how to overcome this problem (and that without changing anything on Prolog itself) would be to apply the well-known relational translation approaches from modal and sorted logic into first-order predicate logic and to feed this translation result into Prolog. This, however, leads into other problems: firstly, the transformed problem is usually of much bigger size (number of clauses) than the original one and, secondly, very often it is not even in Horn form anymore. In this paper a translation approach is proposed which avoids both of these problems, i.e.\ the number of clauses after translation is exactly as big as it would have been if we simply ignored the modal operators and sort restrictions and, also, the result is in Horn form provided it was already before (modulo modal operators and sorts).


Download Access Level:

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	experts only
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list

BibTeX Entry:

@INPROCEEDINGS{NonnengartJELIA94,
AUTHOR = {Nonnengart, Andreas},
EDITOR = {MacNish, Craig and Pearce, David and Pereira, Lu{\'i}s Moniz},
TITLE = {How to Use Modalities and Sorts in Prolog},
BOOKTITLE = {Logics in Artificial Intelligence: Proceedings of the JELIA'94},
PUBLISHER = {Springer},
YEAR = {1994},
VOLUME = {838},
PAGES = {365--378},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {York, UK},
}

Entry last modified by Andreas Nonnengart, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Uwe Brahm	Created 01/14/1995 06:53:06 PM
Revisions 8. 7. 6. 5. 4.	Editor(s) Andreas Nonnengart Christine Kiesel/AG2/MPII/DE Christine Kiesel/AG2/MPII/DE Christine Kiesel/AG2/MPII/DE Christine Kiesel/AG2/MPII/DE	Edit Dates 12/03/97 15:41:38 24/02/95 12:13:46 09/02/95 13:48:00 09/02/95 13:42:50 08/02/95 08:57:39