3624 search results - page 302 / 725 » Abstract Algebraic Logic |
160
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we propose three small instances of a reconfigurable circuit and analyze their properties using the brute force method and evolutionary algorithm. Although ...
198
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
187
click to vote
GVD
2004
15 years 8 months ago
2004
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
187
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...
206
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...