4370 search results - page 293 / 874 » Algebra of Logic Programming |
148
click to vote
DLOG
2007
15 years 5 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
214
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
141
click to vote
EUROGP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we propose an approach to Genetic Programming based on code reuse and we test it in the design of combinational logic circuits at the gate-level. The circui...
148
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
116
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...