|
|
Revistes i Congressos UPC >
Revistes >
Mathware & soft computing >
Workshop "Aspects of mechanizing inference: context and problems" 1995, Naples.
| Vista preliminar | Data de publicació | Títol | Autor(s) | | 1996 | How to make your logic fuzzy (prelimirnary version) | Gabbay, Dov M. |
| 1996 | Concept representations and nonmonotic inferences | Gärdenfors, Peter |
| 1996 | Default logic as a formalism for understanding commonsense reasoning | Amati, Gianni; Carlucci Aiello, Luigia; Pirri, Fiora |
| 1996 | Contexts, locality and generality | Bouquet, Paolo; Giunchiglia, Enrico; Giunchiglia, Fausto |
| 1996 | A metatheoretical characterization of negation as finite failure | Criscuolo, Giovanni |
| 1996 | Information frames, implication systems and modalities | D'Agostino, Marcello; Gabbay, Dov M.; Russo, Alessandra |
| 1996 | Fuzzy quantum logics | Dalla Chiara, Maria Luisa; Giuntini, Roberto |
| 1996 | On the viability of an algebraic approach to non-monotonic reasoning | Termini, Settimo |
| 1996 | Modus ponens on Boolean algebras revisited | Trillas i Gay, Enric; Cubillo Villanueva, Susana |
| 1996 | Local Boolean manifolds from knowledge representation systems | Cattaneo, Gianpiero |
| 1996 | Qualitative reasoning in Bayesian networks | Garbolino, Paolo |
| 1996 | (Pure) logic out of probability | Sales Porta, Ton |
| 1996 | Didactical note: probabilistic conditionality in a Boolean algebra | Trillas i Gay, Enric; Alsina Català, Claudi; Termini, Settimo |
| 1996 | Coherence principles for handling qualitative and quantitative partial probabilistic assessments | Coletti, Giulianella |
| 1996 | Robust inference in probability under vague information | Regoli, Giuliana |
| 1996 | Subjective conditional probability and coherence principles for handling partial information | Scozzafava, Romano |
| 1996 | Generalized version of the compatibility theorem: two examples | Bertoluzza, Carlo; Bodini, Antonella |
| 1996 | General theory of the fuzzy integral | Benvenuti, Pietro; Vivona, Doretta |
| 1996 | Mathematical aspects of the theory of measures of fuzziness | Vivona, Doretta |
| 1996 | A pragmatic uncertainty measure based on rate-distorion theory and the uncertainty of BOE's | Fioretto, Anna; Sgarro, Andrea |
| 1996 | Reasons: belief support and goal dynamics | Castelfranchi, Cristiano |
| 1996 | Computational logics and the philosophy of language: the problem of lexical meaning in formal semantics | Frixione, Marcello |
| 1996 | Neural methodologies in rule-based expert systems | Burattini, E.; Tamburrini, G. |
| 1996 | Integrating inference and neural classification in a hybrid system for recognition tasks | Gregorio, Massimo de |
| 1996 | The role of heuristics in automated theorem proving J.A Robinson's resolution principle | Coderschi, Roberto |
| 1996 | The process of induction as a non-classical logic's double negation: evidence from classical scientific theories | Drago, Antonino |
| 1996 | Editorial [Workshop "Aspects of Mechanizing inference: context and problems", Naples 1995: revised versions papers ] | Termini, Settimo; Trillas i Gay, Enric |
|
Català
Castellano
English
