Sciweavers

CADE
2005
Springer
14 years 4 months ago
Hierarchic Reasoning in Local Theory Extensions
Viorica Sofronie-Stokkermans
CADE
2005
Springer
14 years 4 months ago
KRHyper - In Your Pocket
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
Alex Sinner, Thomas Kleemann
ACSAC
2005
IEEE
14 years 4 months 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
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
14 years 4 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
SEMWEB
2007
Springer
14 years 5 months ago
SMART: A Web-Based, Ontology-Driven, Semantic Web Query Answering Application
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
Alexander De Leon Battista, Natalia Villanueva-Ros...
CADE
2007
Springer
14 years 5 months ago
Proving Termination by Bounded Increase
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
Jürgen Giesl, René Thiemann, Stephan S...
CADE
2007
Springer
14 years 5 months ago
Semantic Selection of Premisses for Automated Theorem Proving
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
Petr Pudlak
AIIA
2007
Springer
14 years 5 months ago
Ranking and Reputation Systems in the QBF Competition
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...
Massimo Narizzano, Luca Pulina, Armando Tacchella
AB
2007
Springer
14 years 5 months ago
A Short Survey of Automated Reasoning
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
John Harrison