|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 212 occurrences of 148 keywords
|
|
|
|
|
Results
Found 594 publication records. Showing 591 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 19 | Oliver Görlitz, Daniel Hausmann 0001, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder |
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics.  |
CoRR  |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Weiqi Wang, Tianqing Fang, Wenxuan Ding 0001, Baixuan Xu, Xin Liu, Yangqiu Song, Antoine Bosselut |
CAR: Conceptualization-Augmented Reasoner for Zero-Shot Commonsense Question Answering. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Jinglong Gao, Xiao Ding, Bing Qin 0001, Ting Liu 0001 |
Is ChatGPT a Good Causal Reasoner? A Comprehensive Evaluation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Ying Su, Xiaojin Fu, Mingwen Liu, Zhijiang Guo |
Are LLMs Rigorous Logical Reasoner? Empowering Natural Language Proof Generation with Contrastive Stepwise Decoding. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Xu Chen, Jingsen Zhang, Lei Wang, Quanyu Dai, Zhenhua Dong, Ruiming Tang, Rui Zhang 0003, Li Chen, Ji-Rong Wen |
REASONER: An Explainable Recommendation Dataset with Multi-aspect Real User Labeled Ground Truths Towards more Measurable Explainable Recommendation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Xixi Zhu, Bin Liu 0026, Li Yao, Zhaoyun Ding, Cheng Zhu |
TGR: Neural-symbolic ontological reasoner for domain-specific knowledge graphs. |
Appl. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Antonio Benítez-Hidalgo, Ismael Navas-Delgado, María del Mar Roldán García |
NORA: Scalable OWL reasoner based on NoSQL databases and Apache Spark. |
Softw. Pract. Exp. |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Kevin Angele, Jürgen Angele, Umutcan Simsek, Dieter Fensel |
SemReasoner - A High-Performance Knowledge Graph Store and Rule-Based Reasoner. |
ESWC |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Wentao He, Jialu Zhang 0003, Jianfeng Ren, Ruibin Bai, Xudong Jiang 0001 |
Hierarchical ConViT with Attention-Based Relational Reasoner for Visual Analogical Reasoning. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Oliver Görlitz, Daniel Hausmann 0001, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder |
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Meryem Mine Gündogan, Tolga Aksoy, Alptekin Temizel, Ugur Halici |
IR Reasoner: Real-time Infrared Object Detection by Visual Reasoning. |
CVPR Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Aaron Eberhart, Joseph Zalewski, Pascal Hitzler |
Should I Stay or Should I Go - A New Reasoner for Description Logic. |
KGSWC |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Zhenwen Liang, Tianyu Yang, Jipeng Zhang, Xiangliang Zhang 0001 |
UniMath: A Foundational and Multimodal Mathematical Reasoner. |
EMNLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Jinglong Gao, Xiao Ding, Bing Qin 0001, Ting Liu 0001 |
Is ChatGPT a Good Causal Reasoner? A Comprehensive Evaluation. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Mahmoud Khademi, Ziyi Yang, Felipe Frujeri, Chenguang Zhu |
MM-Reasoner: A Multi-Modal Knowledge-Aware Framework for Knowledge-Based Visual Question Answering. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Weiqi Wang, Tianqing Fang, Wenxuan Ding 0001, Baixuan Xu, Xin Liu, Yangqiu Song, Antoine Bosselut |
CAR: Conceptualization-Augmented Reasoner for Zero-Shot Commonsense Question Answering. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Xu Chen, Jingsen Zhang, Lei Wang, Quanyu Dai, Zhenhua Dong, Ruiming Tang, Rui Zhang 0003, Li Chen, Xin Zhao, Ji-Rong Wen |
REASONER: An Explainable Recommendation Dataset with Comprehensive Labeling Ground Truths. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
| 19 | Tom Godden, Ruben de Smet, Christophe Debruyne, Thibaut Vandervelden, Kris Steenhaut, An Braeken |
Circuitree: A Datalog Reasoner in Zero-Knowledge. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
| 19 | Danilo Neves Ribeiro, Shen Wang 0005, Xiaofei Ma, Rui Dong, Xiaokai Wei, Henry Zhu, Xinchi Chen, Zhiheng Huang, Peng Xu, Andrew O. Arnold, Dan Roth |
Entailment Tree Explanations via Iterative Retrieval-Generation Reasoner. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 19 | Daoming Lyu, Bo Liu 0006, Jianshu Chen |
PRIMA: Planner-Reasoner Inside a Multi-task Reasoning Agent |
CoRR |
2022 |
DBLP BibTeX RDF |
|
| 19 | Floriano Scioscia, Ivano Bilenchi, Michele Ruta, Filippo Gramegna, Davide Loconte |
A multiplatform energy-aware OWL reasoner benchmarking framework. |
J. Web Semant. |
2022 |
DBLP DOI BibTeX RDF |
|
| 19 | Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß |
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. |
Theory Pract. Log. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 19 | Danilo Neves Ribeiro, Shen Wang 0005, Xiaofei Ma, Rui Dong, Xiaokai Wei, Henghui Zhu, Xinchi Chen, Peng Xu, Zhiheng Huang, Andrew O. Arnold, Dan Roth |
Entailment Tree Explanations via Iterative Retrieval-Generation Reasoner. |
NAACL-HLT (Findings) |
2022 |
DBLP DOI BibTeX RDF |
|
| 19 | Clark Elliott |
The Unfortunate Footnote: Using the Affective Reasoner to Generate Fortunes-of-Others Emotions in Story-Morphs. |
IntelliSys (1) |
2022 |
DBLP DOI BibTeX RDF |
|
| 19 | Alvaro Gunawan, Ji Ruan, Xiaowei Huang 0001 |
A Graph Neural Network Reasoner for Game Description Language. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 19 | Lucas Henrique de Assis Monteiro, Cleyton Mário de Oliveira Rodrigues, Aêda Monalliza Cunha de Sousa |
An Information System for Law Integrating Ontological Bases with a Legal Reasoner Chatbot. |
SBSI |
2022 |
DBLP DOI BibTeX RDF |
|
| 19 | Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß |
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). |
Description Logics |
2022 |
DBLP BibTeX RDF |
|
| 19 | Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi |
Houdini (unchained): An Effective Reasoner for Defeasible Logic. |
AI³@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 19 | Alvaro Gunawan, Ji Ruan, Xiaowei Huang 0001 |
A Graph Neural Network Reasoner for Game Description Language. (PDF / PS) |
AAMAS |
2022 |
DBLP BibTeX RDF |
|
| 19 | Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
An Improved Set-based Reasoner for the Description Logic ℒD4, ×. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Farhad Moghimifar, Lizhen Qu, Yue Zhuo 0001, Gholamreza Haffari, Mahsa Baktashmotlagh |
Neural-Symbolic Commonsense Reasoner with Relation Predictors. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 19 | Mario Alviano |
The pyglaf argumentation reasoner (ICCMA2021). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 19 | Théophile Sautory, Nuri Cingillioglu, Alessandra Russo |
HySTER: A Hybrid Spatio-Temporal Event Reasoner. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 19 | Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß |
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 19 | Riccardo Zese, Giuseppe Cota |
Optimizing a tableau reasoner and its implementation in Prolog. |
J. Web Semant. |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Jiabao Han, Hongzhi Wang 0001 |
Graph matching based reasoner: A symbolic approach to question answering. |
Eng. Appl. Artif. Intell. |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Biswesh Mohapatra, Sumit Bhatia, Raghava Mutharaju, G. Srinivasaraghavan 0001 |
EmELvar: A NeuroSymbolic Reasoner for the EL++ Description Logic. |
SemREC@ISWC |
2021 |
DBLP BibTeX RDF |
|
| 19 | Frank Wawrzik, Andreas Lober |
A Reasoner-Challenging Ontology from the Microelectronics Domain. |
SemREC@ISWC |
2021 |
DBLP BibTeX RDF |
|
| 19 | Ashwin Makwana |
Efficient Reasoner Performance Prediction using Multi-label learning. |
ISIC |
2021 |
DBLP BibTeX RDF |
|
| 19 | Farhad Moghimifar, Lizhen Qu, Yue Zhuo 0001, Gholamreza Haffari, Mahsa Baktashmotlagh |
Neural-Symbolic Commonsense Reasoner with Relation Predictors. |
ACL/IJCNLP (2) |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Erisa Karafili, Linna Wang, Emil C. Lupu |
An Argumentation-Based Reasoner to Assist Digital Investigation and Attribution of Cyber-Attacks. |
Digit. Investig. |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Konstantina Chrysafiadi |
Improving task scheduling by using a fuzzy reasoner. |
Intell. Decis. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | David Carral, Irina Dragoste, Markus Krötzsch |
Reasoner = Logical Calculus + Rule Engine. |
Künstliche Intell. |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Victor Kolev, Bogdan Georgiev, Svetlin Penkov |
Neural Abstract Reasoner. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 19 | Bassem Makni, Ibrahim Abdelaziz, James A. Hendler |
Explainable Deep RDFS Reasoner. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 19 | Thierry Deruyttere, Guillem Collell, Marie-Francine Moens |
Giving Commands to a Self-driving Car: A Multimodal Reasoner for Visual Grounding. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 19 | Saida Gherbi, Mohamed Tarek Khadir |
ONTMAT1: ontology matching using a reasoner and property restriction. |
Int. J. Web Eng. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Carlos Salort Sánchez, Alexander Wieder, Paolo Sottovia, Stefano Bortoli, Jan Baumbach, Cristian Axenie |
GANNSTER: Graph-Augmented Neural Network Spatio-Temporal Reasoner for Traffic Forecasting. |
AALTD@PKDD/ECML |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Daming Lu |
Masked Reasoner at SemEval-2020 Task 4: Fine-Tuning RoBERTa for Commonsense Reasoning. |
SemEval@COLING |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Valdemar Danry, Pat Pataranutaporn, Yaoli Mao, Pattie Maes |
Wearable Reasoner: Towards Enhanced Human Rationality Through A Wearable Device With An Explainable AI Assistant. |
AHs |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Ignacio Huitzil, Umberto Straccia, Carlos Bobed, Eduardo Mena, Fernando Bobillo |
The Serializable and Incremental Semantic Reasoner fuzzyDL. |
FUZZ-IEEE |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Ramin Firouzi, Rahim Rahmani, Theo Kanter |
An Autonomic IoT Gateway for Smart Home Using Fuzzy Logic Reasoner. |
EUSPN/ICTH |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Andreas Niskanen, Matti Järvisalo |
µ-toksia: An Efficient Abstract Argumentation Reasoner. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Jie Ou, Xinying Zhang |
Attention Enhanced Single Stage Multimodal Reasoner. |
ECCV Workshops (2) |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Franz Baader, Patrick Koopmann, Cesare Tinelli |
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. |
Description Logics |
2020 |
DBLP BibTeX RDF |
|
| 19 | Haifeng Qian |
Neural Belief Reasoner. |
IJCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Raúl Riesco, Víctor A. Villagrá |
Leveraging cyber threat intelligence for a dynamic risk framework - Automation by using a semantic reasoner and a new combination of standards (STIX™, SWRL and OWL). |
Int. J. Inf. Sec. |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Ning Liu, Bo Shen 0004, Zhenjiang Zhang, Zhiyuan Zhang 0003, Kun Mi |
Attention-based Sentiment Reasoner for aspect-based sentiment analysis. |
Hum. centric Comput. Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Haifeng Qian |
Neural Belief Reasoner. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 19 | Changlong Wang, Zhiyong Feng 0002, Xiaowang Zhang, Xin Wang 0030, Guozheng Rao, Daoxun Fu |
ComR: a combined OWL reasoner for ontology classification. |
Frontiers Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Raj Kamal Yadav, Gunjan Singh, Raghava Mutharaju, Sumit Bhatia |
Towards a Concurrent Approximate Description Logic Reasoner. |
ISWC (Satellites) |
2019 |
DBLP BibTeX RDF |
|
| 19 | Tomer Libal, Alexander Steen |
NAI: The Normative Reasoner. |
ICAIL |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Michele Ruta, Floriano Scioscia, Filippo Gramegna, Ivano Bilenchi, Eugenio Di Sciascio |
Mini-ME Swift: The First Mobile OWL Reasoner for iOS. |
ESWC |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Marco Ragni, Hannah Dames, Daniel Brand, Nicolas Riesterer |
When Does a Reasoner Respond: Nothing Follows? |
CogSci |
2019 |
DBLP BibTeX RDF |
|
| 19 | Xiaoxiao Yin, Ruifang Liu, Daqi Zheng, Zhengdong Lu |
A Deep Learning Based Reasoner for Global Consistency in Named Entity Recognition. |
ICNC-FSKD |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß |
Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner. |
RuleML+RR |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | I-Ching Hsu, Sin-Fong Lyu |
A Lightweight Linked Data Reasoner Using Jena and Axis2. |
IEA/AIE |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Sequoia: A Consequence Based Reasoner for SROIQ. |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
| 19 | Jeff Z. Pan, Carlos Bobed, Isa Guclu, Fernando Bobillo, Martin J. Kollingbaum, Eduardo Mena, Yuan-Fang Li |
Predicting Reasoner Performance on ABox Intensive OWL 2 EL Ontologies. |
Int. J. Semantic Web Inf. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Valeria Fionda, Gianluigi Greco |
LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner. |
J. Artif. Intell. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
A set-based reasoner for the description logic \shdlssx (Extended Version). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 19 | Xiaoxiao Yin, Daqi Zheng, Zhengdong Lu, Ruifang Liu |
Neural Entity Reasoner for Global Consistency in NER. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 19 | Zhaoyu Zhai, José-Fernán Martínez-Ortega, Néstor Lucas Martínez, Pedro Castillejo |
A Rule-Based Reasoner for Underwater Robots Using OWL and SWRL. |
Sensors |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Muhammad Fahad 0011, Nicolas Bus |
Conformance Checking of IFC Models via Semantic BIM Reasoner. |
EG-ICE |
2018 |
DBLP BibTeX RDF |
|
| 19 | James P. Balhoff, Benjamin M. Good, Seth Carbon, Chris Mungall |
Arachne: an OWL RL Reasoner Applied to Gene Ontology Causal Activity Models (and Beyond). |
ISWC (P&D/Industry/BlueSky) |
2018 |
DBLP BibTeX RDF |
|
| 19 | Hao Ren 0004, Matthew Clark, Ratnesh Kumar 0001 |
Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner. |
ICCA |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Ilir Kola, Marco Ragni |
Predict the Individual Reasoner: A New Approach. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Jens Otten |
The Pocket Reasoner -- Automatic Reasoning on Small Devices. |
NIK |
2018 |
DBLP BibTeX RDF |
|
| 19 | Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
A Set-Based Reasoner for the Description Logic DL4, xD. |
SETS@ABZ |
2018 |
DBLP BibTeX RDF |
|
| 19 | Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu |
Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner. |
PRIMA |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Erisa Karafili, Daniele Sgandurra, Emil Lupu |
A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts. |
ETAA@ESORICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Zhangquan Zhou, Guilin Qi |
GEL: A Platform-Independent Reasoner for Parallel Classification with OWL EL Ontologies Using Graph Representation. |
Int. J. Artif. Intell. Tools |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
A \textsf{C++} reasoner for the description logic $\shdlssx$. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 19 | Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves 0001, Birte Glimm, Andreas Steigmiller |
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. |
J. Autom. Reason. |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Dimas Melo Filho, Fred Freitas, Jens Otten |
RACCOON: A Connection Reasoner for the Description Logic ALC. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa |
Wolpertinger: A Fixed-Domain Reasoner. |
ISWC (Posters, Demos & Industry Tracks) |
2017 |
DBLP BibTeX RDF |
|
| 19 | Mario Alviano |
The Pyglaf Argumentation Reasoner. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
COVER: Change-based Goal Verifier and Reasoner. |
REFSQ Workshops |
2017 |
DBLP BibTeX RDF |
|
| 19 | Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
A C++ Reasoner for the Description Logic DL-4X(D). |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 19 | Mauro Dragoni, María Poveda-Villalón, Ernesto Jiménez-Ruiz (eds.) |
OWL: - Experiences and Directions - Reasoner Evaluation - 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers |
OWLED |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Hasibur Rahman, Rahim Rahmani, Theo Kanter |
Multi-Modal Context-Aware reasoNer (CAN) at the Edge of IoT. |
ANT/SEIT |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli |
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. |
Description Logics |
2017 |
DBLP BibTeX RDF |
|
| 19 | Mario Alviano |
Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. |
RCRA@AI*IA |
2017 |
DBLP BibTeX RDF |
|
| 19 | Oscar J. Romero, Ran Zhao, Justine Cassell |
Cognitive-Inspired Conversational-Strategy Reasoner for Socially-Aware Agents. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Sangha Nam, Incheol Kim |
MRQUSAR: A web-scale distributed spatial reasoner using MapReduce. |
BigComp |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Markus Krötzsch, Sebastian Rudolph |
Is Your Database System a Semantic Web Reasoner? |
Künstliche Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
| 19 | Josje Lodder, Bastiaan Heeren, Johan Jeuring |
A Domain Reasoner for Propositional Logic. |
J. Univers. Comput. Sci. |
2016 |
DBLP BibTeX RDF |
|
| 19 | Fernando Bobillo, Umberto Straccia |
The fuzzy ontology reasoner fuzzyDL. |
Knowl. Based Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
| 19 | Linh Anh Nguyen |
Design of the Tableau Reasoner TGC2 for Description Logics. |
Int. J. Softw. Eng. Knowl. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
| 19 | Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves 0001, Birte Glimm, Andreas Steigmiller |
The OWL Reasoner Evaluation (ORE) 2015 Resources. |
ISWC (2) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 591 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license