On abstract modular inference systems and solvers

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2016.03.004

View full text

>> Full Text: On abstract modular inference systems and solvers

Domain-independent planning for services in uncertain and dynamic environments

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies