Search results for "reasoner"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Wei Tai, John Keeney, Declan O'Sullivan	RESP: A Computer Aided OWL REasoner Selection Process.	ICSC	2011	DBLP DOI BibTeX RDF	Reasoner Selection, Application Characteristics, Reasoner Characteristics, Semantic Application Development
66	Annett Bierer, Marcus Hofmann	Dimensions of Case-Based Reasoner Quality Management.	ICCBR	2009	DBLP DOI BibTeX RDF	case-based reasoner quality management, case-based reasoner maintenance, CBRQM framework
65	Hailong Wang, Zong Min Ma 0001, Junfu Yin	FRESG: A Kind of Fuzzy Description Logic Reasoner.	DEXA	2009	DBLP DOI BibTeX RDF	Fuzzy description logic, F-ALC(G), customized data type, reasoner
64	Daniel Elenius, Grit Denker, Mark-Oliver Stehr	A Semantic Web Reasoner for Rules, Equations and Constraints.	RR	2008	DBLP DOI BibTeX RDF
64	James D. Jones, Susanna Badiola, Daley Seeker	A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus
45	Taowei David Wang, Bijan Parsia	Ontology Performance Profiling and Model Examination: First Steps.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
45	Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer 0002	Implementing Iterated Belief Change Via Prime Implicates.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
45	James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco	Gricean Belief Change.	Stud Logica	2005	DBLP DOI BibTeX RDF	belief revision and update, Gricean conversational implicature, Belief change
44	Joanne McGrath Cohoon, James P. Cohoon, Seth Reichelson, Susan Horwitz, Laura Reasoner Jones	Pedagogy for engaging diverse students in computing: four effective methods (abstract only).	SIGCSE	2013	DBLP DOI BibTeX RDF
44	Julie Mason, Steve Mitchell, Margaret Mooney, Lynne Reasoner, Carlos Rodriguez	INFOMINE: Promising Directions in Virtual Library Development.	First Monday	2000	DBLP DOI BibTeX RDF
44	Karen Reasoner	The Modernization of a Call Center.	SIGUCCS	2000	DBLP DOI BibTeX RDF
41	Georgios Meditskos, Nick Bassiliades	Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning.	ISWC	2008	DBLP DOI BibTeX RDF	Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines
41	Pavel Klinov	Pronto: A Non-monotonic Probabilistic Description Logic Reasoner.	ESWC	2008	DBLP DOI BibTeX RDF
41	Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou	Extending a Defeasible Reasoner with Modal and Deontic Logic Operators.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
41	María del Mar Roldán García, José Francisco Aldana Montes	DBOWL: Towards a Scalable and Persistent OWL Reasoner.	ICIW	2008	DBLP DOI BibTeX RDF	scalable reasoning, Semantic Web, queries, OWL
41	Nenad Krdzavac, Dragan Djuric, Vladan Devedzic	MDA-Based Architecture of a Description Logics Reasoner.	AIAI	2006	DBLP DOI BibTeX RDF
41	Dmitry Tsarkov, Ian Horrocks 0001	FaCT++ Description Logic Reasoner: System Description.	IJCAR	2006	DBLP DOI BibTeX RDF
37	Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler	A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.	ISWC (2)	2015	DBLP DOI BibTeX RDF
37	Roberto Yus, Fernando Bobillo, Carlos Bobed, Eduardo Mena	The OWL Reasoner Evaluation Goes Mobile.	ORE	2015	DBLP BibTeX RDF
37	Ismail Ilkan Ceylan, Julian Mendez 0001, Rafael Peñaloza	The Bayesian Ontology Reasoner is BORN!	ORE	2015	DBLP BibTeX RDF
37	Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia	Verifying Reasoner Correctness - A Justication Based Method.	ORE	2015	DBLP BibTeX RDF
37	Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé	DRAOn: A Distributed Reasoner for Aligned Ontologies.	ORE	2013	DBLP BibTeX RDF
37	Joerg Schoenfisch, Jens Ortmann	YARR!: Yet Another Rewriting Reasoner.	ORE	2013	DBLP BibTeX RDF
37	Yevgeny Kazakov, Pavel Klinov	Experimenting with ELK Reasoner on Android.	ORE	2013	DBLP BibTeX RDF
37	Rafael S. Gonçalves 0001, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov	OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report.	ORE	2013	DBLP BibTeX RDF
37	Weihong Song, Bruce Spencer, Weichang Du	A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner.	ORE	2013	DBLP BibTeX RDF
37	Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks 0001, Ernesto Jiménez-Ruiz	MORe: a Modular OWL Reasoner for Ontology Classification.	ORE	2013	DBLP BibTeX RDF
37	Baris Sertkaya	The ELepHant Reasoner System Description.	ORE	2013	DBLP BibTeX RDF
37	Boris Motik, Ian Horrocks 0001, Su Myeon Kim	Delta-reasoner: a semantic web reasoner for an intelligent mobile platform.	WWW (Companion Volume)	2012	DBLP DOI BibTeX RDF
37	Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati 0001, Marco Ruzzi, Domenico Fabio Savo	MASTRO: A Reasoner for Effective Ontology-Based Data Access.	ORE	2012	DBLP BibTeX RDF
37	María del Mar Roldán García, José Francisco Aldana Montes	Evaluating DBOWL: A Non-materializing OWL Reasoner based on Relational Database Technology.	ORE	2012	DBLP BibTeX RDF
37	Julian Mendez 0001	jcel: A Modular Rule-based Reasoner.	ORE	2012	DBLP BibTeX RDF
37	Weihong Song, Bruce Spencer, Weichang Du	WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach.	ORE	2012	DBLP BibTeX RDF
37	Ian Horrocks 0001, Boris Motik, Zhe Wang 0001	The HermiT OWL Reasoner.	ORE	2012	DBLP BibTeX RDF
37	Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik	ELK Reasoner: Architecture and Evaluation.	ORE	2012	DBLP BibTeX RDF
35	Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi, Peter Wrobel, John Yesberg	A decision support system for secure information sharing.	SACMAT	2009	DBLP DOI BibTeX RDF	flexible information sharing, justification for non-shareability, semantic reasoner, description logic
35	Walter Waterfeld, Moritz Weiten, Peter Haase 0001	Ontology Management Infrastructures.	Ontology Management	2008	DBLP DOI BibTeX RDF	OWL, reasoner, rules, repository, Ontology management, registry
35	Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Felipe M. G. França	Logic as Energy: A SAT-Based Approach.	BVAI	2007	DBLP DOI BibTeX RDF	ARQ-PROP II, higher-order neural networks, propositional reasoner, satyrus, satisfiability
35	Nizamuddin Channa, Shanping Li, Xiangjun Fu	Product knowledge reasoning: a DL-based approach.	ICEC	2005	DBLP DOI BibTeX RDF	knowledge reasoner, ontologies, description logic
35	Veda C. Storey, Roger H. L. Chiang, Debabrata Dey, Robert C. Goldstein, Shankar Sundaresan	Database Design with Common Sense Business Reasoning and Learning.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	common sense business reasoner, common sense learning, database design, entity-relationship model, common sense reasoning
34	Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins	CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.	POLICY	2007	DBLP DOI BibTeX RDF
34	Wlodzimierz Drabent, Artur Wilk	Extending XML Query Language Xcerpt by Ontology Queries.	Web Intelligence	2007	DBLP DOI BibTeX RDF
34	Hans Eric Svensson, Artur Wilk	XML Querying Using Ontological Information.	PPSWR	2006	DBLP DOI BibTeX RDF
34	Övünç Öztürk, Tugba Özacar, Murat Osman Ünalir, Ata Önal	Adapting the Pyramid Technique for Indexing Ontological Data.	ISCIS	2006	DBLP DOI BibTeX RDF
34	Giuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio	Distributed Intelligent Management of Active Networks.	AI*IA	2003	DBLP DOI BibTeX RDF	Distributed Intelligent Systems, Network Management, Automated Reasoning, Situation Calculus
34	Martin F. van Bommel	Interactive Design of Object-Oriented Schema.	IDEAS	1999	DBLP DOI BibTeX RDF
34	Gene L. Fisher, Dale E. Busse, David Wolber	Adding Rule-Based Reasoning to a Demonstrational Interface Builder.	ACM Symposium on User Interface Software and Technology	1992	DBLP DOI BibTeX RDF	direct manipulation, programming by demonstration, UIMSs, interface builders
34	Madhura Nirkhe, Sarit Kraus, Donald Perlis	Fully Deadline-Coupled Planning: One Step at a Time.	ISMIS	1991	DBLP DOI BibTeX RDF
30	Wei Tai, Rob Brennan, John Keeney, Declan O'Sullivan	An Automatically Composable OWL Reasoner for Resource Constrained Devices.	ICSC	2009	DBLP DOI BibTeX RDF
30	Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurrell	A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology.	RR	2009	DBLP DOI BibTeX RDF
30	Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Lei Wang, Gaoyou Xiang	Using Description Logics Reasoner for Ontology Matching.	IITA	2007	DBLP DOI BibTeX RDF
30	Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn	CEL - A Polynomial-Time Reasoner for Life Science Ontologies.	IJCAR	2006	DBLP DOI BibTeX RDF
30	Jingfang Zheng, Michael C. Horsch	A Decision Theoretic Meta-reasoner for Constraint Optimization.	Canadian AI	2005	DBLP DOI BibTeX RDF
30	Anna Wills, Ian D. Watson	Building a Case-Based Reasoner for Clinical Decision Support.	PRICAI	2004	DBLP DOI BibTeX RDF
30	Anna Wills, Ian D. Watson	Evaluating a Case-Based Reasoner for Clinical Decision Support.	KES	2004	DBLP DOI BibTeX RDF
30	Haipeng Guo, William H. Hsu	A Learning-Based Algorithm Selection Meta-reasoner for the Real-Time MPE Problem.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
30	Khemdut Purang	Alma/Carne: Implementation of a Time-Situated Meta-Reasoner.	ICTAI	2001	DBLP DOI BibTeX RDF
24	Lei Shi, Lei Fan, Zhenzhen Meng	The Research of Using Jena in the Semantic-Based Online Learning Intelligent Behavior Analysis System.	NCM	2009	DBLP DOI BibTeX RDF	SPASQL, OWL, reasoner, learner model, Jena
24	Marco Brambilla 0001, Christina Tziviskou	An Online Platform for Semantic Validation of UML Models.	ICWE	2009	DBLP DOI BibTeX RDF	ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML
24	Karthikeyan Umapathy, Sandeep Purao	Exploring Alternatives for Representing and Accessing Design Knowledge About Enterprise Integration.	ER	2007	DBLP DOI BibTeX RDF	action types, patterns, business process modeling, BPMN, speech acts, Enterprise integration, design knowledge, ontology reasoner
24	Albert Croker, Vasant Dhar	A Knowledge Representation for Constraint Satisfaction Problems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	constraint-driven reasoner, control information, preference orderings, knowledge representation, knowledge representation, inference mechanisms, constraint satisfaction problems, constraint handling, Boolean expressions, dependency network
23	Luciano Serafini, Andrei Tamilin	Composing Modular Ontologies with Distributed Description Logics.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
23	George Goguadze	Representation for Interactive Exercises.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
23	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer	Exploiting conjunctive queries in description logic programs.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30
23	Shenghui Wang 0001, Jeff Z. Pan	Semantically Processing Parallel Colour Descriptions.	J. Data Semantics	2008	DBLP DOI BibTeX RDF
23	Boris Motik, Ian Horrocks 0001	Individual Reuse in Description Logic Reasoning.	IJCAR	2008	DBLP DOI BibTeX RDF
23	José Viterbo Filho, Markus Endler	A strategy for cooperative reasoning in ubiquitous computing environments.	MPAC	2008	DBLP DOI BibTeX RDF	cooperative reasoning, ubiquitous computing, middleware
23	Jeff Z. Pan	A Flexible Ontology Reasoning Architecture for the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	user-defined data types and data type predicates, reasoning architecture, ontology, Knowledge representation
23	Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden	Developing Consistent Contractual Policies in Service Composition.	APSCC	2007	DBLP DOI BibTeX RDF
23	Lorenzo Cirio, Isabel F. Cruz, Roberto Tamassia	A Role and Attribute Based Access Control System Using Semantic Web Technologies.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
23	Thorsten Liebig, Felix Müller	Parallelizing Tableaux-Based Description Logic Reasoning.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
23	Markus Nick, Martin Becker 0002	A Hybrid Approach to Intelligent Living Assistance.	HIS	2007	DBLP DOI BibTeX RDF
23	Fabrizio Riguzzi	A Top Down Interpreter for LPAD and CP-Logic.	AI*IA	2007	DBLP DOI BibTeX RDF
23	Rashid Hafeez Khokhar, David A. Bell, Jiwen Guan, Qingxiang Wu	Knowledge-Based Risk Assessment Under Uncertainty in Engineering Projects.	IDEAL	2006	DBLP DOI BibTeX RDF	Uncertainty, Knowledge-based, Risk assessment, Dempster-Shafer theory, Evidential reasoning
23	Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau	Integrating Datalog with OWL: Exploring the AL-log Approach.	ICLP	2006	DBLP DOI BibTeX RDF
23	Lei Li 0005, Qiaoling Liu, Yunfeng Tao, Lei Zhang 0007, Jian Zhou, Yong Yu 0001	Providing an Uncertainty Reasoning Service for Semantic Web Application.	APWeb	2006	DBLP DOI BibTeX RDF
23	Alessandra De Paola, S. Fiduccia, Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re, A. Pizzitola, Marco Ortolani, Pietro Storniolo, Alfonso Urso	Rule Based Reasoning for Network Management.	CAMP	2005	DBLP DOI BibTeX RDF
23	Bijan Parsia, Evren Sirin, Aditya Kalyanpur	Debugging OWL ontologies.	WWW	2005	DBLP DOI BibTeX RDF	semantic Web, OWL, explanation, ontology engineering
23	Shenghui Wang 0001, Jeff Z. Pan	Ontology-Based Representation and Query Colour Descriptions from Botanical Documents.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
23	Yugyung Lee, James Geller	Efficient Transitive Closure Reasoning in a Combined Class-Part-Containment Hierarchy.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	IS-A hierarchies, Materialized transitive closure, Parallel artificial intelligence, Parallel reasoning, Part hierarchies, Transitive closure reasoning
23	Frédéric Koriche	A Logic for Approximate First-Order Reasoning.	CSL	2001	DBLP DOI BibTeX RDF	resource-bounded algorithms, first-order logic, approximate reasoning, multi-modal logics
23	David McSherry	An Adaptation Heuristic for Case-Based Estimation.	EWCBR	1998	DBLP DOI BibTeX RDF
23	Andrew Fall	Extending Partial Orders for Sort Reasoning.	PRICAI	1996	DBLP DOI BibTeX RDF
23	John Esch	Contexts, Canons and Coreferent Types.	ICCS	1994	DBLP DOI BibTeX RDF	Context, Concept, Conceptual Graph, Higher Order Logic, Canon
23	Eleni Stroulia, Ashok K. Goel 0001	Learning Problem-Solving Concepts by Reflecting on Problem Solving.	ECML	1994	DBLP DOI BibTeX RDF
23	Ashwin Ram 0001, Lawrence Hunter	The use of explicit goals for knowledge to guide inference and learning.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	Knowledge goals, diagnostic problem solving, learning, inference, natural language understanding
23	Douglas E. Appelt, John Bear, Jerry R. Hobbs, David J. Israel, Mabry Tyson	SRI International FASTUS system: MUC-4 test results and analysis.	MUC	1992	DBLP DOI BibTeX RDF
23	Paolo Terenziani	Combining Time Points and Time Intervals in a Hybrid Knowledge Representation Formalism.	ISMIS	1991	DBLP DOI BibTeX RDF
19	Yanfang Zhang, Yiliu Sun, Yibing Zhan, Dapeng Tao, Dacheng Tao, Chen Gong	Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning.	CoRR	2024	DBLP DOI BibTeX RDF
19	Nguyen Do, Tanmoy Chowdhury, Chen Ling, Liang Zhao, My T. Thai	MIM-Reasoner: Learning with Theoretical Guarantees for Multiplex Influence Maximization.	CoRR	2024	DBLP DOI BibTeX RDF
19	Yuxuan Yao, Han Wu 0004, Zhijiang Guo, Biyan Zhou, Jiahui Gao, Sichun Luo, Hanxu Hou, Xiaojin Fu, Linqi Song	Learning From Correctness Without Prompting Makes LLM Efficient Reasoner.	CoRR	2024	DBLP DOI BibTeX RDF
19	Maksym Taranukhin, Vered Shwartz, Evangelos Milios	Stance Reasoner: Zero-Shot Stance Detection on Social Media with Explicit Reasoning.	CoRR	2024	DBLP DOI BibTeX RDF
19	Dobrik Georgiev, Pietro Liò, Davide Buffelli	The Deep Equilibrium Algorithmic Reasoner.	CoRR	2024	DBLP DOI BibTeX RDF
19	Nicolas Lazzari, Stefano De Giorgis, Aldo Gangemi, Valentina Presutti	Sandra - A Neuro-Symbolic Reasoner Based On Descriptions And Situations.	CoRR	2024	DBLP DOI BibTeX RDF
19	Mostafa El Hayani	RLAR: A Reinforcement Learning Abductive Reasoner.	ICAART (3)	2024	DBLP DOI BibTeX RDF
19	Nguyen Hoang Khoi Do, Tanmoy Chowdhury, Chen Ling, Liang Zhao, My T. Thai	MIM-Reasoner: Learning with Theoretical Guarantees for Multiplex Influence Maximization.	AISTATS	2024	DBLP BibTeX RDF
19	Giridhar Urkude, Manju Pandey	Contextual triple inference using a semantic reasoner rule to reduce the weight of semantically annotated data on fail-safe gateway for WSN.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
19	Zhengzhong Liang, Zeyu Zhang 0002, Steven Bethard, Mihai Surdeanu	Explainable Verbal Reasoner Plus (EVR+): A Natural Language Reasoning Framework that Supports Diverse Compositional Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
19	Muzhe Guo, Feixu Yu, Tian Lan, Fang Jin	Advantage Actor-Critic with Reasoner: Explaining the Agent's Behavior from an Exploratory Perspective.	CoRR	2023	DBLP DOI BibTeX RDF
19	Shengnan An, Zexiong Ma, Zeqi Lin, Nanning Zheng 0001, Jian-Guang Lou, Weizhu Chen	Learning From Mistakes Makes LLM Better Reasoner.	CoRR	2023	DBLP DOI BibTeX RDF