Articles

How to make your logic fuzzy (prelimirnary version)

Dov M. Gabbay
HTML

Concept representations and nonmonotic inferences

Peter Gärdenfors
HTML

Qualitative reasoning in Bayesian networks

Paolo Garbolino
HTML

(Pure) logic out of probability

Ton Sales Porta
HTML

Didactical note: probabilistic conditionality in a Boolean algebra

Enric Trillas i Gay, Claudi Alsina i Català, Settimo Termini
HTML

Coherence principles for handling qualitative and quantitative partial probabilistic assessments

Giulianella Coletti
HTML

Robust inference in probability under vague information

Giuliana Regoli
HTML

Subjective conditional probability and coherence principles for handling partial information

Romano Scozzafava
HTML

Generalized version of the compatibility theorem: two examples

Carlo Bertoluzza, Antonella Bodini
HTML

General theory of the fuzzy integral

Pietro Benvenuti, Doretta Vivona
HTML

Mathematical aspects of the theory of measures of fuzziness

Doretta Vivona
HTML

A pragmatic uncertainty measure based on rate-distorion theory and the uncertainty of BOE's

Anna Fioretto, Andrea Sgarro
HTML

Default logic as a formalism for understanding commonsense reasoning

Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
HTML

Reasons: belief support and goal dynamics

Cristiano Castelfranchi
HTML

Computational logics and the philosophy of language: the problem of lexical meaning in formal semantics

Marcello Frixione
HTML

Neural methodologies in rule-based expert systems

E. Burattini, G. Tamburrini
HTML

Integrating inference and neural classification in a hybrid system for recognition tasks

Massimo De Gregorio
HTML

The role of heuristics in automated theorem proving J.A Robinson's resolution principle

Roberto Coderschi
HTML

The process of induction as a non-classical logic's double negation: evidence from classical scientific theories

Antonino Drago
HTML

Contexts, locality and generality

Paolo Bouquet, Enrico Giunchiglia, Fausto Giunchiglia
HTML

A metatheoretical characterization of negation as finite failure

Giovanni Criscuolo
HTML

Information frames, implication systems and modalities

Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo
HTML

Fuzzy quantum logics

Maria Luisa Dalla Chiara, Roberto Giuntini
HTML

On the viability of an algebraic approach to non-monotonic reasoning

Settimo Termini
HTML

Modus ponens on Boolean algebras revisited

Enric Trillas i Gay, Susana Cubillo Villanueva
HTML

Local Boolean manifolds from knowledge representation systems

Gianpiero Cattaneo
HTML

Editorial [Workshop Aspects of Mechanizing inference: context and problems, Naples 1995: revised versions papers ]

Settimo Termini, Enric Trillas i Gay
HTML