Rules and Reasoning
-15%
portes grátis
Rules and Reasoning
Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
Parent, Xavier; Benzmueller, Christoph; Roman, Dumitru; Ricca, Francesco
Springer International Publishing AG
08/2018
328
Mole
Inglês
9783319999050
15 a 20 dias
539
Descrição não disponível.
Technical Communication.- Novel Technologies.- Innovative Applications about Knowledge Representation. Reasoning with rules.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Knowledge Representation and Reasoning;Nonmonotonic Reasoning;Logic Programming and Answer Set Programming;Reasoning about belief and knowledge;Temporal Reasoning;Spatial and Physical Reasoning;Rule Learning;Business Rules;Reactive Rules;Association Rules;Logic, Automated Reasoning, Logic and Verification;Markup Languages;Modal and Temporal Logics;Description Logics Higher Order Logic;Proof Theory;Ontologies;Legal Rules;Constraint Handling Rules;semantics;artificial intelligence
Technical Communication.- Novel Technologies.- Innovative Applications about Knowledge Representation. Reasoning with rules.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Knowledge Representation and Reasoning;Nonmonotonic Reasoning;Logic Programming and Answer Set Programming;Reasoning about belief and knowledge;Temporal Reasoning;Spatial and Physical Reasoning;Rule Learning;Business Rules;Reactive Rules;Association Rules;Logic, Automated Reasoning, Logic and Verification;Markup Languages;Modal and Temporal Logics;Description Logics Higher Order Logic;Proof Theory;Ontologies;Legal Rules;Constraint Handling Rules;semantics;artificial intelligence