Sciweavers

1373 search results - page 137 / 275
» What is Fuzzy Logic
Sort
View
KI
1992
Springer
15 years 9 months ago
How to Construct a Logic for Your Application
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
Dov M. Gabbay
CCIA
2005
Springer
15 years 11 months ago
On Warranted Inference in Possibilistic Defeasible Logic Programming
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
Carlos Iván Chesñevar, Guillermo Ric...
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 11 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
SLOGICA
2008
97views more  SLOGICA 2008»
15 years 5 months ago
A Generic Framework for Adaptive Vague Logics
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
Peter Verdée, Stephan van der Waart van Gul...
CGF
2008
137views more  CGF 2008»
15 years 5 months ago
Interaction-Dependent Semantics for Illustrative Volume Rendering
In traditional illustration the choice of appropriate styles and rendering techniques is guided by the intention of the artist. For illustrative volume visualizations it is diffic...
Peter Rautek, Stefan Bruckner, M. Eduard Gröl...