Sökning: onr:"swepub:oai:DiVA.org:liu-107347" >
On the Horn Fragmen...
On the Horn Fragments of Serial Regular Grammar Logics with Converse
-
- Nguyen, Linh Anh (författare)
- University of Warsaw, Poland
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan,University of Warsaw, Poland
-
(creator_code:org_t)
- IOS Press, 2013
- 2013
- Engelska.
-
Ingår i: Advanced Methods and Technologies for Agent and Multi-Agent Systems. - : IOS Press. - 9781614992530 ; , s. 225-234
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.3...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas