Sciweavers

2302 search results - page 259 / 461
» Basic Description Logics
Sort
View
FUZZY
2001
Springer
123views Fuzzy Logic» more  FUZZY 2001»
15 years 10 months ago
Analyzing Directed Acyclic Graph Recombination
This work studies the edge-based representation of directed acyclic graphs, as well as the properties of recombination operators working on it. It is shown that this representation...
Carlos Cotta, José M. Troya
AIMSA
2000
Springer
15 years 10 months ago
Least Generalization under Relative Implication
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
Svetla Boytcheva
FLOPS
1999
Springer
15 years 10 months ago
Using Types as Approximations for Type Checking Prolog Programs
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
Christoph Beierle, Gregor Meyer
VL
1996
IEEE
15 years 10 months ago
Steering programs via time travel
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
John W. Atwood Jr., Margaret M. Burnett, Rebecca A...
TPPP
1994
15 years 10 months ago
Time and Information in Sequential and Concurrent Computation
Time can be understood as dual to information in extant models of both sequential and concurrent computation. The basis for this duality is phase space, coordinatized by time and ...
Vaughan R. Pratt