Found: 6
Select item for more details and to access through your institution.
An event calculus production rule system for reasoning in dynamic and uncertain domains.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 3, p. 325, doi. 10.1017/S1471068416000065
- By:
- Publication type:
- Article
Using linear constraints for logic program termination analysis.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 3, p. 353, doi. 10.1017/S1471068416000077
- By:
- Publication type:
- Article
The rationale behind the concept of goal.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 3, p. 296, doi. 10.1017/S1471068416000053
- By:
- Publication type:
- Article
Programming in logic without logic programming.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 3, p. 269, doi. 10.1017/S1471068416000041
- By:
- Publication type:
- Article
Solving stable matching problems using answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 3, p. 247, doi. 10.1017/S147106841600003X
- By:
- Publication type:
- Article
Introduction to the special issue on the International Web Rule Symposia 2012–2014.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding