1960 search results - page 18 / 392 » The Logic of Large Enough |
CSUR
2000
13 years 7 months ago
2000
Frameworks are the key to successful object-oriented application development. The goal of this paper is to show that successful framework development must match the business domai...
STACS
2010
Springer
14 years 23 days ago
2010
Springer
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
AI
2006
Springer
13 years 7 months ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
FPL
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit...
ASP
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...