Now showing items 1-7 of 7

    • Abstract metaprolog engine 

      Cicekli, I. (Elsevier, 1998)
      A compiler-based meta-level system for MetaProlog language is presented. Since MetaProlog is a meta-level extension of Prolog, the Warren Abstract Machine (WAM) is extended to get an efficient implementation of meta-level ...
    • An intelligent backtracking schema in a logic programming environment 

      Cicekli, I. (ACM, 1997)
      We present a new method to represent variable bindings in the Warren Abstract Machine (WAM), so that the ages of variable bindings can be easily found using this new representation in our intelligent backtracking schema. ...
    • A logic programming framework for modelling temporal objects 

      Kesim, N.; Sergot, M. (IEEE, 1996-10)
      We present a general approach for modeling temporal aspects of objects in a logic programming framework. Change is formulated in the context of a database which stores explicitly a record of all changes that have occurred ...
    • Metadata-based modeling of information resources on the web 

      Özel, S. A.; Altingövde, S.; Ulusoy, Ö.; Özsoyoǧlu G.; Özsoyoǧlu, Z. M. (Wiley, 2004)
      This paper deals with the problem of modeling Web information resources using expert knowledge and personalized user information for improved Web searching capabilities. We propose a "Web information space" model, which ...
    • A Parallel Prolog emulator 

      Gürsoy, Attila (Bilkent University, 1988)
      There are various parallel Prolog execution models proposed so far. In this study, an emulator has been developed to test the execution model PPEM. The emulator is used to collect data to evaluate the performance of the ...
    • Situated nonmonotonic temporal reasoning with BABY-SIT 

      Tın, E.; Akman, V. (IOS Press, 1997)
      After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring ...
    • Using criticalities as a heuristic for Answer Set Programming 

      Sabuncu, O.; Alpaslan, F. N.; Akman, V. (Springer, 2004)
      Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. Generally, systems utilize some heuristics to ...