Found: 8
Select item for more details and to access through your institution.
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions.
- Published in:
- New Generation Computing, 2021, v. 39, n. 1, p. 273, doi. 10.1007/s00354-020-00112-0
- By:
- Publication type:
- Article
Making default inferences from logic programs.
- Published in:
- Computational Intelligence, 1991, v. 7, n. 3, p. 142, doi. 10.1111/j.1467-8640.1991.tb00389.x
- By:
- Publication type:
- Article
Disjunctive logic programs with existential quantification in rule heads.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 563, doi. 10.1017/S1471068413000355
- By:
- Publication type:
- Article
Relating weight constraint and aggregate programs: Semantics and representation.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 1, p. 1, doi. 10.1017/S147106841100038X
- By:
- Publication type:
- Article
Linear tabulated resolution based on Prolog control strategy.
- Published in:
- Theory & Practice of Logic Programming, 2001, v. 1, n. 1, p. 71, doi. 10.1017/s1471068400001010
- 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
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation.
- Published in:
- Theory & Practice of Logic Programming, 2021, v. 21, n. 1, p. 4, doi. 10.1017/S1471068420000101
- By:
- Publication type:
- Article
Domain-Independent Cost-Optimal Planning in ASP.
- Published in:
- Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 1124, doi. 10.1017/S1471068419000395
- By:
- Publication type:
- Article