Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
fisher, michael
(8)barringer, howard
(2)gabbay, dov m.
(2)gough, graham
(2)dastani, mehdi
(1)dix, jürgen
(1)d'inverno, mark
(1)governatori, guido
(1)konev, boris
(1)lisitsa, alexei
(1)luck, michael
(1)novák, peter
(1)owens, richard
(1)preist, christ
(1)sadri, fariba
(1)thielscher, michael
(1)van der hoek, wiebe
(1)van der torre, leon
(1)Schlagwort
artificial intelligence
(7)edv
(6)informatik
(6)künstliche intelligenz
(5)logic
(4)agent (edv) - agentensystem
(3)complexity
(3)intelligenz
(3)ki
(3)künstliche intelligenz - ai
(3)logik
(3)mathematical logic and foundations
(3)philosophie
(3)action
(2)agent communication
(2)algorithms
(2)argumentation
(2)artificialintelligence
(2)bdi agents
(2)c programming language
(2)cprogramminglanguage
(2)data structures and information theory
(2)databases
(2)grundlagen
(2)information
(2)intelligence
(2)mathematical logic and formal languages
(2)mathematik
(2)mathematische grundlagen
(2)modal logic
(2)modallogic
(2)natural
(2)programming
(2)programming language
(2)semantics
(2)software engineering
(2)agent cooperation
(1)agent interaction
(1)agent negotiation
(1)agent planning
(1)agent specification
(1)agent-mediated interaction
(1)agent-mediatedinteraction
(1)agentcommunication
(1)agentinteraction
(1)agents
(1)agentspecification
(1)ai logics
(1)argumentation networks
(1)argumentationnetworks
(1)artificial in
(1)artificialautomat
(1)artificialintellig
(1)ausführbare logiken
(1)ausführbarelogiken
(1)automat
(1)automata
(1)automated reasoning
(1)automatedreasoning
(1)bdiagents
(1)co
(1)compilers and interpr
(1)complex tasks
(1)computational logic
(1)computer
(1)constraint logic
(1)datenverarbeitung
(1)datenverschlüsselung, kryptografie
(1)decision making
(1)description logics
(1)descriptionlogics
(1)distributed systems
(1)distributedsystems
(1)erfüllbarkeitsproblem der aussagenlogik
(1)erfüllbarkeitsproblemderaussagenlogik
(1)executable logics
(1)executablelogics
(1)formal languages and automata theory
(1)formal reasoning
(1)formal semantics
(1)formal specification
(1)formalsemantics
(1)formalspecification
(1)goals
(1)incomplete information
(1)infinitary logic
(1)infinitaryjustification
(1)informationssystem
(1)intelligent agents
(1)intelligentagents
(1)internet
(1)justification
(1)knowledge processing
(1)learning
(1)logic p
(1)logic programming
(1)logical specifications
(1)logicalspecifications
(1)logicprogramming
(1)logics and meanings of programs
(1)Ergebnis: 8 Artikel
Redaktion: michael fisher
