Sciweavers

1638 search results - page 66 / 328
» A General Semantics for Evaluation Logic
Sort
View
SUM
2010
Springer
14 years 7 months ago
A Formal Analysis of Logic-Based Argumentation Systems
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
Leila Amgoud, Philippe Besnard
ENTCS
2008
102views more  ENTCS 2008»
14 years 10 months ago
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
Alexander Kurz, Daniela Petrisan
EUSFLAT
2009
144views Fuzzy Logic» more  EUSFLAT 2009»
14 years 7 months ago
Number-free Mathematics Based on T-norm Fuzzy Logic
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
Libor Behounek
SIGMOD
2007
ACM
160views Database» more  SIGMOD 2007»
15 years 10 months ago
Supporting ranking and clustering as generalized order-by and group-by
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
Chengkai Li, Min Wang, Lipyeow Lim, Haixun Wang, K...
JAL
2008
83views more  JAL 2008»
14 years 10 months ago
Objective Bayesian probabilistic logic
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
Jon Williamson