Now showing items 1-13 of 13

  • Between logic and probability 

    Sales Porta, Ton (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1994)
    Article
    Open Access
    Logic and Probability, as theories, have been developed quite independently and, with a few exceptions (like Boole's), have largely ignored each other. And nevertheless they share a lot of similarities, as well a considerable ...
  • Between logic and probability 

    Sales Porta, Ton (1994-11)
    External research report
    Open Access
    Logic and Probability, as theories, have been developed quite independently and, with a few exceptions (like Boole's), have largely ignored each other. And nevertheless they share a lot of similarities, as well a considerable ...
  • Dynamic belief modeling 

    Moreno Ribas, Antonio; Sales Porta, Ton (1995-06)
    External research report
    Open Access
    The possible worlds model and its associated Kripkean semantics provide an intuitive semantics to epistemic logics, but they seem to commit us to model agents which are logically omniscient and perfect reasoners. In this ...
  • Intel·ligència artificial 

    Sales Porta, Ton (Escola Tècnica Superior d'Enginyers de Telecomunicació de Barcelona, 1993)
    Article
    Open Access
  • La informática comercial española en la primera época (1960-1970): apuntes para una historia de la informática 

    Sales Porta, Ton (Asociación de Técnicos de Informática, 1980-07)
    Article
    Open Access
  • La prehistòria de la informàtica: antecedents històrics de l'ENIAC (1946) 

    Sales Porta, Ton (Asociación de Técnicos de Informática, 1980-07)
    Article
    Open Access
  • La primera "generació" als USA: de l'Eniac al transistor (1946-1958) 

    Sales Porta, Ton (Asociación de Técnicos de Informática, 1980-07)
    Article
    Open Access
  • Logic as general rationality: a survey 

    Sales Porta, Ton (1996-03)
    External research report
    Open Access
    Logic and probability, which happen to share historical origins, are asked nowadays to solve new problems such as reasoning under uncertainty, or with incomplete information or imprecisely formulated statements. The ...
  • Logic of assertions 

    Sales Porta, Ton (1994-10)
    External research report
    Open Access
    Logicians treat assertions as true, believed or merely hypothesized sentences. The reasoner who uses them, however, is the sole referee who can validate their truth, their aptness to describe an actual situation, their ...
  • (Pure) logic out of probability 

    Sales Porta, Ton (1996-01)
    External research report
    Open Access
    Logic and Probability are seen today as independent fields, but they share a considerable common ground, which historically underlies both disciplines and has prompted Reichenbach, Carnap or Popper to consider connection-building ...
  • (Pure) logic out of probability 

    Sales Porta, Ton (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Open Access
    Today, Logic and Probability are mostly seen as independent fields with a separate history and set of foundations. Against this dominating perception, only a very few people (Laplace, Boole, Peirce) have suspected there ...
  • Ramon LLull, un informàtic sense saber-ho 

    Sales Porta, Ton (2007-11-27)
    Audiovisual
    Open Access
  • Toward a realistic semantics of possible worlds for logics of belief 

    Sales Porta, Ton; Alvarado Mentado, Matías (1993-09)
    External research report
    Open Access
    This work sets out the main ideas concerning a semantics of possible worlds for epistemic logics which do not have the problem of logical omniscience and which can be used to model reasoning with limited resources. Within ...