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

Direct link
On the Horn Fragments of Serial Regular Grammar Logics with Converse
University of Warsaw, Poland.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology. University of Warsaw, Poland.
2013 (English)In: Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013) / [ed] Dariusz Barbucha, Manh Thanh Le, Robert J. Howlett, Lakhmi C. Jain, IOS Press, 2013, 225-234 p.Conference paper (Refereed)
Abstract [en]

We study Horn fragments of serial multimodal logics which are characterized by regular grammars with converse. Such logics are useful for reasoning about epistemic states of multiagent systems as well as similarity-based approximate reasoning. We provide the first algorithm with PTIME data complexity for checking satisfiability of a Horn knowledge base in a serial regular grammar logic with converse.

Place, publisher, year, edition, pages
IOS Press, 2013. 225-234 p.
, Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 (print), 1879-8314 (online) ; 252
National Category
Computer Systems
URN: urn:nbn:se:liu:diva-107347DOI: 10.3233/978-1-61499-254-7-225ISBN: 978-1-61499-253-0OAI: diva2:723550
7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), 27-29 May 2013, Hue City, Vietnam
Available from: 2014-06-11 Created: 2014-06-11 Last updated: 2014-11-28Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 12 hits
ReferencesLink to record
Permanent link

Direct link