Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated. This field ...
This paper continues the investigation, started in Lávička and Noguera (Stud Log 105(3): 521-551, 2017), of infinitary propositional logics from the perspective of their algebraic completeness and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback