Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
lutz, carsten
(4)hölldobler, steffen
(1)ranise, silvio
(1)sattler, uli
(1)thielscher, michael
(1)tinelli, cesare
(1)turhan, anni-yasmin
(1)wansing, heinrich
(1)wolter, frank
(1)Schlagwort
edv
(4)informatik
(4)artificial intelligence
(2)description logic
(2)descriptionlogic
(2)formal logic
(2)formallogic
(2)intelligenz
(2)ki
(2)künstliche intelligenz
(2)künstliche intelligenz - ai
(2)artificial intelli
(1)artificialcategoricallogic
(1)case-based reasoning
(1)case-basedreasoning
(1)categorical logic
(1)cognitive modeling
(1)cognitivemodeling
(1)combination of theories
(1)combining systems
(1)combiningsystems
(1)complexity
(1)complexity theory
(1)complexitytheory
(1)computer vision
(1)computervision
(1)constraint satisfaction, search, and optimization
(1)constraint solving
(1)constraintsatisfaction,search,andoptimization
(1)constraintsolving
(1)convolutional neural networks
(1)convolutionalneuralnetworks
(1)databases
(1)debuggability
(1)decision procedures
(1)decisionprocedures
(1)deductive systems
(1)deductivesystems
(1)description logics
(1)descriptionlogics
(1)epistemic logic
(1)epistemiclogic
(1)equational theories
(1)equationaltheories
(1)first-order logic
(1)first-orderlogic
(1)formal languages
(1)formal reasoning
(1)formallanguages
(1)formalreasoning
(1)h
(1)higher-order logic
(1)hybrid methods
(1)hybrid systems
(1)hybridsystems
(1)intelligence
(1)knowledge representation
(1)knowledge representation and reasoning
(1)knowledge-based system
(1)knowledge-basedsystem
(1)knowledgerepresentation
(1)knowledgerepresentationandreasoning
(1)logic
(1)logic programming
(1)logical inference
(1)logicalinference
(1)logicprogramming
(1)machine learning
(1)machine learning and data mining
(1)machinelea
(1)machinelearninganddatamining
(1)mas
(1)modal logic
(1)modallogic
(1)model checking
(1)modularity of on
(1)multi-agent system
(1)multi-agent systems
(1)multi-agentsystem
(1)multi-agentsystems
(1)neural networks
(1)neuralnetworks
(1)nonmonotonic reasoning
(1)ontologies
(1)parallelization
(1)plannin
(1)problem solving
(1)problemsolving
(1)programming languages
(1)programminglanguages
(1)query languages
(1)querylanguages
(1)seman
(1)semantic web
(1)semantics
(1)semanticweb
(1)softwareengineering
(1)term rewriting
(1)termrewriting
(1)theoremproving
(1)Ergebnis: 4 Artikel
Redaktion: carsten lutz
