Zobrazeno 1 - 10
of 78
pro vyhledávání: '"Szalas, Andrzej"'
Autor:
Doherty, Patrick, Szalas, Andrzej
The technique of forgetting in knowledge representation has been shown to be a powerful and useful knowledge engineering tool with widespread application. Yet, very little research has been done on how different policies of forgetting, or use of diff
Externí odkaz:
http://arxiv.org/abs/2404.02454
Autor:
Doherty, Patrick, Szalas, Andrzej
Publikováno v:
2023
Forgetting is an important concept in knowledge representation and automated reasoning with widespread applications across a number of disciplines. A standard forgetting operator, characterized in [Lin and Reiter'94] in terms of model-theoretic seman
Externí odkaz:
http://arxiv.org/abs/2305.07233
Autor:
Szalas, Andrzej
Publikováno v:
Journal of Applied Logic - IfColog Journal of Logic and their Applications, vol. 7, No. 3, 2020, 361-389, http://www.collegepublications.co.uk/downloads/ifcolog00039.pdf
Answer Set Programming (ASP) is nowadays a dominant rule-based knowledge representation tool. Though existing ASP variants enjoy efficient implementations, generating an answer set remains intractable. The goal of this research is to define a new \as
Externí odkaz:
http://arxiv.org/abs/1912.09715
Autor:
Doherty, Patrick, Szałas, Andrzej
Publikováno v:
In Information Sciences May 2022 593:546-576
Autor:
Doherty, Patrick, Szalas, Andrzej
Publikováno v:
In International Journal of Approximate Reasoning March 2021 130:126-149
Autor:
Nguyen, Linh Anh, Szałas, Andrzej
Publikováno v:
In Procedia Computer Science 2021 192:2058-2067
Publikováno v:
In Procedia Computer Science 2020 176:3019-3028
Autor:
Maluszynski, Jan, Szalas, Andrzej
The paper discusses properties of a DATALOG$^{\neg\neg}$-like query language 4QL, originally outlined in [MS10]. Negated literals in heads of rules naturally lead to inconsistencies. On the other hand, rules do not have to attach meaning to some lite
Externí odkaz:
http://arxiv.org/abs/1011.5105