Now showing items 1-15 of 15

    • 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 ...
    • How to know it all (or how to get rid of logical omniscience and perfect reasoners) 

      Sales Porta, Ton (1993-10)
      External research report
      Open Access
    • Intel·ligència artificial 

      Sales Porta, Ton (Escola Tècnica Superior d'Enginyers de Telecomunicació de Barcelona, 1993)
      Article
      Open Access
    • Intel·ligència artificial 

      Sales Porta, Ton (1990)
      External research report
      Open Access
      Breu descripció, de caire introductori, de la història, mètodes i objectius de la Intel·ligència Artificial (IA), amb un balanç de la seva situació als darrers anys 80 --en un moment de crisi (o de replanteig)-- i un esbós ...
    • 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 ...