Sciweavers

217 search results - page 14 / 44
» A Logic for Approximate First-Order Reasoning
Sort
View
SIAMCOMP
2012
11 years 10 months ago
Envy-Free Makespan Approximation
Edith Cohen, Michal Feldman, Amos Fiat, Haim Kapla...

Book
1569views
15 years 7 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki
SEMWEB
2005
Springer
14 years 1 months ago
Statistical Reasoning - A Foundation for Semantic Web Reasoning
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
Shashi Kant, Evangelos Mamas
CSL
2006
Springer
13 years 11 months ago
On Rational Trees
Rational graphs are a family of graphs defined using labelled rational transducers. Unlike automatic graphs (defined using synchronized transducers) the first order theory of these...
Arnaud Carayol, Christophe Morvan
JANCL
2006
123views more  JANCL 2006»
13 years 7 months ago
Approximate databases: a support tool for approximate reasoning
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
Patrick Doherty, Martin Magnusson, Andrzej Szalas