Computational Logic: Logic Programming and Beyond

  title={Computational Logic: Logic Programming and Beyond},
  author={J. Leeuwen and A. Kakas and F. Sadri and R. Kowalski},
  booktitle={Lecture Notes in Computer Science},
  • J. Leeuwen, A. Kakas, +1 author R. Kowalski
  • Published in
    Lecture Notes in Computer…
  • Computer Science
  • In this paper we introduce MuTACLP, a knowledge representation language which provides facilities for modeling and handling temporal information, together with some basic operators for combining different temporal knowledge bases. The proposed approach stems from two separate lines of research: the general studies on meta-level operators on logic programs introduced by Brogi et al. [7,9] and Temporal Annotated Constraint Logic Programming (TACLP) defined by Frühwirth [15]. In MuTACLP atoms are… CONTINUE READING
    11 Citations
    A comparison of fuzzy and annotated logic programming
    • 48
    • PDF
    TANDEM - a design method for integrating web services into multi-agent systems
    • 4
    • PDF
    Extending the BDI architecture with commitments
    • 10
    • PDF
    A Constraint-Based Approach for Skilled Workforce Scheduling Problem


    Logic Meta-Programming Facilities in 'LOG
    • 18
    • Highly Influential
    A metalogic programming approach: language, semantics and applications
    • 28
    Semantical Properties of Encodings in Logic Programming
    • 10
    • Highly Influential
    Temporal Logic Programming with Metric and Past Operators
    • C. Brzoska
    • Computer Science
    • Executable Modal and Temporal Logics
    • 1993
    • 34
    Programming by Combining General Logic Programs
    • 16
    • PDF
    Modular logic programming
    • 98
    Maude as a metalanguage
    • 31
    A Theory of Complete Logic Programs with Equality
    • 131