Found: 6
Select item for more details and to access through your institution.
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 158, doi. 10.1017/S1471068422000023
- By:
- Publication type:
- Article
Efficient TBox Reasoning with Value Restrictions using the ${\cal F}{{\cal L}_0}$ wer Reasoner.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 162, doi. 10.1017/S1471068421000466
- By:
- Publication type:
- Article
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 305, doi. 10.1017/S1471068421000168
- By:
- Publication type:
- Article
Reasoning on with Defeasibility in ASP.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 254, doi. 10.1017/S1471068421000132
- By:
- Publication type:
- Article
Temporal Minimal-World Query Answering over Sparse ABoxes.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 193, doi. 10.1017/S1471068421000119
- By:
- Publication type:
- Article
Operating Room (Re)Scheduling with Bed Management via ASP.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 229, doi. 10.1017/S1471068421000090
- By:
- Publication type:
- Article