490 research outputs found

    Coercion in Late Antiquity : a brief intellectual history

    Get PDF

    SLDNFA-system

    Full text link
    The SLDNFA-system results from the LP+ project at the K.U.Leuven, which investigates logics and proof procedures for these logics for declarative knowledge representation. Within this project inductive definition logic (ID-logic) is used as representation logic. Different solvers are being developed for this logic and one of these is SLDNFA. A prototype of the system is available and used for investigating how to solve efficiently problems represented in ID-logic.Comment: 6 pages conference:NMR2000, special track on System descriptions and demonstratio

    Monarchy and mass communication: Antioch A.D. 362/3 revisited

    Get PDF
    The A.D. 362/3 crisis in Antioch is usually interpreted as an economic or ideological crisis, and Julian's Misopogon as a 'festive satire' or 'edict of chastisement'. This article situates the root of the problem in a crisis of communication: Julian's failure to communicate publicly as expected in a situation that was tense because of the food shortage led to a short-circuit between emperor and subjects. Whilst the Misopogon is Julian's extraordinary post-factum attempt to explain away this failure of ritualized communication on his part, Libanius' speeches on the topic seek to give a positive twist to the extraordinary nature of Julian's reply, which posed serious problems for emperor, city, and sophist alike

    Problem solving in ID-logic with aggregates: some experiments

    Full text link
    The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic Programming technology for solving computational problems using the declarative specifications. The ID-logic is an integration of typed classical logic and a definition logic. Different abductive solvers for this language are being developed. This paper is a report of the integration of high order aggregates into ID-logic and the consequences on the solver SLDNFA.Comment: 9 pages conference: NMR2000, special track on abductive reasonin

    One God. Pagan Monotheism in the Roman Empire (1-4th cent. A.D)

    Get PDF

    Malalas and the chronographic tradition

    Get PDF

    Palladius and the Johannite schism

    Get PDF
    corecore