Rules and Reasoning
portes grátis
Rules and Reasoning
8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
Kirrane, Sabrina; Roman, Dumitru; Simkus, Mantas; Soylu, Ahmet
Springer International Publishing AG
09/2024
250
Mole
9783031724060
15 a 20 dias
Descrição não disponível.
.- Using Answer Set Programming for Integrity Maintenance in a Smart Home System.
.- Collaborative Benchmarking Rule-Reasoners with B-Runner.
.- Rule Confidence Aggregation for Knowledge Graph Completion.
.- RIFF: Inducing Rules for Fraud Detection from Decision Trees.
.- Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery.
.- Reevaluation of Inductive Link Prediction.
.- Judicial Explanations.
.- OntoRaster: Extending VKGs with Raster Data.
.- Complete Approximations of Incomplete Queries.
.- Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.
.- A Benchmark for Rule Induction in Automated Business Decisions.
.- Revising Defeasible Theories via Instructions.
.- FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH.
.- RDF Surfaces as a First-Order language for the Semantic Web.
.- Ambiguities in Defeasible Logic: A computational efficient framework and algorithms.
.- Legally-Guided Automated Decision-Making System Using Language Model Agents for Autonomous Driving.
.- Collaborative Benchmarking Rule-Reasoners with B-Runner.
.- Rule Confidence Aggregation for Knowledge Graph Completion.
.- RIFF: Inducing Rules for Fraud Detection from Decision Trees.
.- Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery.
.- Reevaluation of Inductive Link Prediction.
.- Judicial Explanations.
.- OntoRaster: Extending VKGs with Raster Data.
.- Complete Approximations of Incomplete Queries.
.- Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.
.- A Benchmark for Rule Induction in Automated Business Decisions.
.- Revising Defeasible Theories via Instructions.
.- FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH.
.- RDF Surfaces as a First-Order language for the Semantic Web.
.- Ambiguities in Defeasible Logic: A computational efficient framework and algorithms.
.- Legally-Guided Automated Decision-Making System Using Language Model Agents for Autonomous Driving.
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;rule learning;business rules;association rules;machine learning;rule mining;computational logic;automated reasoning;logic and verification;markup languages;ontologies;legal rules;constraint handling rules;decision management;temporal reasoning;spatial and physical reasoning;neurosymbolic AI;large language model
.- Using Answer Set Programming for Integrity Maintenance in a Smart Home System.
.- Collaborative Benchmarking Rule-Reasoners with B-Runner.
.- Rule Confidence Aggregation for Knowledge Graph Completion.
.- RIFF: Inducing Rules for Fraud Detection from Decision Trees.
.- Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery.
.- Reevaluation of Inductive Link Prediction.
.- Judicial Explanations.
.- OntoRaster: Extending VKGs with Raster Data.
.- Complete Approximations of Incomplete Queries.
.- Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.
.- A Benchmark for Rule Induction in Automated Business Decisions.
.- Revising Defeasible Theories via Instructions.
.- FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH.
.- RDF Surfaces as a First-Order language for the Semantic Web.
.- Ambiguities in Defeasible Logic: A computational efficient framework and algorithms.
.- Legally-Guided Automated Decision-Making System Using Language Model Agents for Autonomous Driving.
.- Collaborative Benchmarking Rule-Reasoners with B-Runner.
.- Rule Confidence Aggregation for Knowledge Graph Completion.
.- RIFF: Inducing Rules for Fraud Detection from Decision Trees.
.- Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery.
.- Reevaluation of Inductive Link Prediction.
.- Judicial Explanations.
.- OntoRaster: Extending VKGs with Raster Data.
.- Complete Approximations of Incomplete Queries.
.- Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.
.- A Benchmark for Rule Induction in Automated Business Decisions.
.- Revising Defeasible Theories via Instructions.
.- FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH.
.- RDF Surfaces as a First-Order language for the Semantic Web.
.- Ambiguities in Defeasible Logic: A computational efficient framework and algorithms.
.- Legally-Guided Automated Decision-Making System Using Language Model Agents for Autonomous Driving.
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;rule learning;business rules;association rules;machine learning;rule mining;computational logic;automated reasoning;logic and verification;markup languages;ontologies;legal rules;constraint handling rules;decision management;temporal reasoning;spatial and physical reasoning;neurosymbolic AI;large language model