Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    lifschitz, vladimir
    (2)
    baral, chitta
    (1)
    brewka, gerhard
    (1)
    demoen, bart
    (1)
    niemelä, ilkka
    (1)
    schlipf, john
    (1)
    Genre
    mathematik
    (3)
    medizin
    (3)
    naturwissenschaften
    (3)
    technik
    (3)
    Schlagwort
    computational constraintprogramming
    (3)
    computational logics
    (3)
    constraint programming
    (3)
    edv
    (3)
    informatik
    (3)
    logic
    (3)
    logikprogrammierung
    (3)
    ai logics
    (2)
    answer set programming
    (2)
    logic programming
    (2)
    logicprogramming
    (2)
    nonmonotonic reasoning
    (2)
    programming language
    (2)
    semantics
    (2)
    software engineering
    (2)
    agent (edv) - agentensystem
    (1)
    ai answersetprogramming
    (1)
    ai erfüllbarkeitsproblemderaussagenlogik
    (1)
    answersetprogramming
    (1)
    cognitive robotics
    (1)
    cognitiverobotics
    (1)
    complexity
    (1)
    database logic
    (1)
    databaselogic
    (1)
    debugging
    (1)
    erfüllbarkeitsproblem der aussagenlogik
    (1)
    heuristics
    (1)
    inferen
    (1)
    inference engines
    (1)
    intelligenz
    (1)
    ki
    (1)
    knowledge representation
    (1)
    knowledge-based systems
    (1)
    knowledge-basedsystems
    (1)
    künstliche intelligenz
    (1)
    künstliche intelligenz - ai
    (1)
    learning
    (1)
    logic inference
    (1)
    logic-based programming
    (1)
    logic-basedprogramming
    (1)
    logicinference
    (1)
    mathematical logic
    (1)
    mathematicallogic
    (1)
    nonclassical logics
    (1)
    nonclassicallogics
    (1)
    nonmonotonic
    (1)
    optim
    (1)
    program logics
    (1)
    programlogics
    (1)
    programming theory
    (1)
    programminglanguage
    (1)
    programmingtheory
    (1)
    prolog (edv)
    (1)
    prolog programming
    (1)
    prologprogramming
    (1)
    proving
    (1)
    resolution
    (1)
    robot
    (1)
    schluss (logisch)
    (1)
    software engineering/programming and operating
    (1)
    verification
    (1)
    Erscheinungsjahr
    2003
    (1)
    2004
    (1)
    2007
    (1)

    Datenschutz-Einstellungen