idUS
Depósito de Investigación
Universidad de Sevilla
| | | |
  • Español
Login | Contact | Help | Biblioteca US |
  • Español
 
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of idUSCommunities and CollectionsBy Issue DateAuthorsTitlesSubjectsFunding agenciesAward-winning thesesAuthor profiles USThis CollectionBy Issue DateAuthorsTitlesSubjectsFunding agencies

Services

My AccountLoginDeposit your workApplication to deposit in idUSRequest the deposit to the LibraryMore info

Discover

Author
Soler Toscano, Fernando (4)
Salguero Lamillar, Francisco J. (2)Béziau, Jean Yves (1)Costa-Leite, Alexandre (1)Nepomuceno Fernández, Ángel (1)SubjectAbductive reasoning (1)... View MoreDate Issued2010 (2)2006 (1)2009 (1)

Policies

Institutional statementBerlin DeclarationidUS Policies

Gatherers

RecolectaOpenAIRE
HispanaEuropeana
Google AcadémicoBase
OAIsterCORE
DART-Europe E-theses PortalLA Referencia

Links of interest

Sherpa/RomeoDulcinea
OpenDOARCreative Commons

Share

 
Search 
  •   idUS
  • Investigación
  • Arte y Humanidades
  • Filosofía y Lógica y Filosofía de la Ciencia
  • Capítulos (Filosofía y Lógica y Filosofía de la Ciencia)
  • Search
  •   idUS
  • Investigación
  • Arte y Humanidades
  • Filosofía y Lógica y Filosofía de la Ciencia
  • Capítulos (Filosofía y Lógica y Filosofía de la Ciencia)
  • Search

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Chapter of Book
Icon

Deducción y generación de modelos de cardinalidad finita 

Nepomuceno Fernández, Ángel; Soler Toscano, Fernando; Salguero Lamillar, Francisco J. (Ediciones de la Universidad de Castilla la Mancha, 2006)
Presentamos un procedimiento de tablas semánticas distinto de las estándar en el tratamiento dado a las sentencias de la clase δ, proponiendo modificaciones de esta regla que eviten la generación de ramas infinitas. Las ...
Chapter of Book
Icon

Resolución abductiva de anáforas pronominales 

Salguero Lamillar, Francisco J.; Soler Toscano, Fernando (Fénix Editora; Universidad de Sevilla, 2010)
Chapter of Book
Icon

Abductive reasoning through δ-resolution 

Soler Toscano, Fernando (Unicamp. Centro de Lógica, Epistemologia e História da Ciência (CLE), 2009)
In order to explore the duality between deductive and abductive reasoning, we present a propositional calculus, named δ-resolution, dual to the resolution one. We say it is an abductive calculus because every formula ...
Chapter of Book
Icon

Consistencia y relevancia en el razonamiento abductivo 

Soler Toscano, Fernando (Fénix Editora, 2010)
  • About idUS
  • Deposit your work
  • Services
  • Distribution License
  • FAQS
  • idUS in figures
Universidad de Sevilla
  • idUS is a DSpace implementation and is managed by Biblioteca de la Universidad de Sevilla.
  • Last update: 20 April 2022.
Contact  |  Help
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional License.
Creative Commons LicenseLevel AA conformance, W3C WAI Web Content Accessibility Guidelines 2.0Logo Crue
Copyright © 2015. idUS. Depósito de Investigación de la Universidad de Sevilla.
     

     

    This website only uses cookies for technical purposes, it does not receive or transfer personal data from users without their consent.  More information.

    Accept