Back to Search
Start Over
A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
- Source :
- 2nd International Joint Conference on Rules and Reasoning, RuleML+RR, RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.81-97, ⟨10.1007/978-3-319-99906-7_6⟩, Rules and Reasoning ISBN: 9783319999050
- Publication Year :
- 2018
- Publisher :
- HAL CCSD, 2018.
-
Abstract
- International audience; In this paper we are interested in the task of a data engineer choosing what tool to use to perform defeasible reasoning with a first order logic knowledge base. To this end we propose the first benchmark in the literature that allows one to classify first order defeasible reasoning tools based on their semantics, expressiveness and performance.
- Subjects :
- Profiling (computer programming)
business.industry
Programming language
Computer science
Data engineer
02 engineering and technology
First order
computer.software_genre
First-order logic
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Knowledge base
020204 information systems
0202 electrical engineering, electronic engineering, information engineering
020201 artificial intelligence & image processing
[INFO]Computer Science [cs]
Defeasible reasoning
business
computer
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-319-99905-0
- ISBNs :
- 9783319999050
- Database :
- OpenAIRE
- Journal :
- 2nd International Joint Conference on Rules and Reasoning, RuleML+RR, RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.81-97, ⟨10.1007/978-3-319-99906-7_6⟩, Rules and Reasoning ISBN: 9783319999050
- Accession number :
- edsair.doi.dedup.....51609913337c1cb9caf1eb7f368c3192
- Full Text :
- https://doi.org/10.1007/978-3-319-99906-7_6⟩