Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
miodrag raškovic
(2)zoran markovic
(2)zoran ognjanovic
(2)balduccini, marcello
(1)calimeri, francesco
(1)ianni, giovambattista
(1)janhunen, tomi
(1)ognjanovic, zoran
(1)truszczynski, miroslaw
(1)Schlagwort
default reasoning
(6)edv
(6)informatik
(6)defaultreasoning
(4)first-order logic
(4)first-orderlogic
(4)knowledge inconsistency
(4)knowledgeinconsistency
(4)probability functions
(4)probability logic
(4)probabilityfunctions
(4)probabilitylogic
(4)satisfiability checking
(4)satisfiabilitychecking
(4)uncertain reasoning
(4)uncertainreasoning
(4)artificial intelligence
(3)intelligenz
(3)ki
(3)künstliche intelligenz
(3)künstliche intelligenz - ai
(3)answer set programming
(2)deductive databases
(2)logik
(2)mathematik
(2)real-world reasoning
(2)real-worldreasoning
(2)software engineering
(2)software-entw.
(2)spatiotemporal reasoning
(2)theoretische informatik
(2)theorie
(2)abduction
(1)abstract argumentation
(1)answer set
(1)answerset
(1)answersetprogramming
(1)artificial
(1)artificialintelligence
(1)autoepistemic logic
(1)automated reasoning
(1)belief revision
(1)computer science logic and foundations of programming
(1)computerprogrammierung und softwareentwicklung
(1)constrains
(1)constraint and logic programming
(1)constraintandlogicprogramming
(1)description logics
(1)digital forensics
(1)diskret (mathematisch)
(1)forensic models
(1)graded modality
(1)heur
(1)informatik, computer
(1)knoweldge based systems
(1)knowledge representation
(1)knowledge representation and reasoning
(1)knowledgerepresentationandrea
(1)logic
(1)logic pro
(1)logic programming
(1)logics and meanings of programs
(1)mathemati
(1)mathematical logic and formal languag
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)p
(1)philosophie
(1)probability theory and stochastic processes
(1)roboter - robotik - industrieroboter
(1)solvers
(1)spatiotemporalreasoning
(1)Ergebnis: 6 Artikel
Schlagwort: default reasoning
