Sciweavers

4617 search results - page 198 / 924
» Automation of Diagrammatic Reasoning
Sort
View
198
Voted
ELP
1992
15 years 10 months ago
A Direct Semantic Characterization of RELFUN
Harold Boley
ACSAC
2005
IEEE
16 years 22 days ago
Building Evidence Graphs for Network Forensics Analysis
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
Wei Wang, Thomas E. Daniels
198
Voted
APIN
2006
109views more  APIN 2006»
15 years 7 months ago
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems
The core issue of analogical reasoning is the transfer of relational knowledge from a source case to a target problem. Visual analogical reasoning pertains to problems containing ...
Patrick W. Yaner, Ashok K. Goel
DLOG
2011
14 years 10 months ago
Relaxed Abduction: Robust Information Interpretation for Incomplete Models
This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning over description logic knowledge bases has been ap...
Thomas Hubauer, Steffen Lamparter, Michael Pirker