Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,888,149 papers from all fields of science
Search
Sign In
Create Free Account
Semantic reasoner
Known as:
Reasoning engine
, Rule engines
, Reasoner (disambiguation)
Expand
A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
Apache Jena Semantic Web Framework
Apache Marmotta
Automated reasoning
Backward chaining
Expand
Broader (3)
Knowledge engineering
Ontology (information science)
Semantic Web
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Fall-risk assessment by combined movement related potentials and co-contraction index monitoring
V. Annese
,
D. De-Venuto
Biomedical Circuits and Systems Conference
2015
Corpus ID: 823232
In this paper we propose a novel approach for online fall-risk assessment based on concurrent EEG and EMG monitoring. The fall…
Expand
2012
2012
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference
Naoya Inoue
,
Kentaro Inui
European Conference on Logics in Artificial…
2012
Corpus ID: 17816283
Abduction is inference to the best explanation. Abduction has long been studied intensively in a wide range of contexts, from…
Expand
2008
2008
Implementing a low-cost, personalized and location based service for delivering advertisements to mobile users
Dimitris Liapis
,
S. Vassilaras
,
G. Yovanof
International Symposium on Wireless Pervasive…
2008
Corpus ID: 17502775
Context aware, personalized services can give users equipped with mobile devices targeted and timely information in a seamless…
Expand
2008
2008
Discrete Event Calculus Reasoner Documentation
E. Mueller
2008
Corpus ID: 116617691
c © 2005, 2007, 2008 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made…
Expand
2007
2007
A Multi-agent Context-aware Service Platform in a Smart Space
W. Jih
,
Jane Yung-jen Hsu
,
Tsu-Chang Lee
,
Li-lu Chen
2007
Corpus ID: 17467816
Ubiquitous computing technology plays a key role for providing context information and makes context-aware services can be…
Expand
2007
2007
Formalizing XACML Using Defeasible Description Logics
Vladimir Kolovski
,
J. Hendler
,
B. Parsia
2007
Corpus ID: 37956
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved…
Expand
2000
2000
-Ants { An open approach at combining Interactive and Automated Theorem Proving
Christoph Benzmüller
2000
Corpus ID: 15667212
We present the -Ants theorem prover that is built on top of an agent-based command suggestion mechanism. The theorem prover…
Expand
1999
1999
Large-Scale Repositories of Highly Expressive Reusable Knowledge
R. Fikes
,
A. Farquhar
1999
Corpus ID: 18449722
We describe an ongoing project to develop technology that will support collaborative construction and effective use of…
Expand
1998
1998
Defeasible logics
P. Geerts
,
E. Laenens
,
D. Vermeir
1998
Corpus ID: 17548198
In this chapter, we will concentrate on the defeasible approach to nonmonotonic reasoning , as opposed to the minimalist approach…
Expand
1982
1982
The Interviewer Reasoner Model: An Approach to Improving System: Responsiveness in Interactive AI Systems
P. Gerring
,
E. Shortliffe
,
W. Melle
The AI Magazine
1982
Corpus ID: 17891828
Interactive intelligent systems often suffer from a basic conflict between their computationally intensive nature and the need…
Expand