3172 search results - page 369 / 635 » On the Random-Self-Reducibility of Complete Sets |
174
click to vote
AAAI
2008
15 years 9 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
181
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
175
Voted
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
177
click to vote
CJCDGCGT
2005
Springer
15 years 8 months ago
2005
Springer
The vertex arboricity va(G) of a graph G is the minimum number of subsets into which the vertex set V (G) can be partitioned so that each subset induces an acyclic subgraph. The f...
188
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we introduce a unified framework for topological manipulation on triangulated 2-manifolds with or without boundary. We show that there are two kinds of primitive oper...