2148 search results - page 23 / 430 » From process logic to program logic |
WCE
2007
13 years 10 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
AIIA
1997
Springer
14 years 1 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
DALT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
FAC
2008
13 years 9 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...