liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Second-order quantifier elimination in modal contexts
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
2002 (English)In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA) / [ed] Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni, Springer , 2002, Vol. 2424, 223-232 p.Conference paper (Refereed)
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.

Place, publisher, year, edition, pages
Springer , 2002. Vol. 2424, 223-232 p.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 2424
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-48458DOI: 10.1007/3-540-45757-7_19ISBN: 978-354044190-8 OAI: diva2:269354
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2012-02-13

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 82 hits
ReferencesLink to record
Permanent link

Direct link