LiU Electronic Press
Full-text not available in DiVA
Author:
Szalas, Andrzej (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Second-order quantifier elimination in modal contexts
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA)
Editor:
Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni
Publisher: Springer
Series:
Lecture Notes in Computer Science, ISSN 0302-9743; 2424
Volume:
2424
Pages:
223-232
Year of publ.:
2002
URI:
urn:nbn:se:liu:diva-48458
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-48458
ISBN:
978-354044190-8
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Abstract(en) :

Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we generalize the result of [19] by allowing modal operators. This allows us to provide a unifying framework for many applications, that require the use of intensional concepts. Examples of applications of the technique in AI are also provided.

Available from:
2009-10-11
Created:
2009-10-11
Last updated:
2012-02-13
Statistics:
0 hits