Sentence examples for under answer from inspiring English sources

Based on this notion, we formally prove a generality relation over the set of existing frameworks for learning programs under answer set semantics.

In this paper, we establish a declarative theory of forgetting for disjunctive logic programs under answer set semantics that is fully based on semantic grounds.

Down Under Answers has a 22-day tour of New Zealand that starts in Christchurch and includes visits to Queenstown, Auckland and Stewart Island in the country's far south.

We show that these rewrite systems are sound and complete under the partial stable model semantics, and sound and complete under the answer set semantics when the underlying program is so-called odd-loop free.

The discussion is mainly limited to logic programs under the answer set semantics.

Someone has already made reference to the Mechanical Turk HIT under the answer in question.

We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic.

In this paper, we investigate the theoretical properties of these existing frameworks for learning programs under the answer set semantics.

A larger subset is closely related to logic programming under the answer set semantics, yielding another approach to automated reasoning.

We claim that a concise description of an approximation of T(D) can often be given by a logic program π(D) under the answer sets semantics.

We propose a combination of logic programming under the answer set semantics with the description logics SHIF(D) and SHOIN(D), which underly the Web ontology languages OWL Lite and OWL DL, respectively.