skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Functional Logic Programming: From Theory to Curry
Functional Logic Programming: From Theory to Curry
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Functional Logic Programming: From Theory to Curry

Hanus, Michael

Programming Logics, p.123-168 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Some Thoughts on How to Teach Prolog
Some Thoughts on How to Teach Prolog
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Some Thoughts on How to Teach Prolog

Hermenegildo, Manuel V. ; Morales, Jose F. ; Lopez-Garcia, Pedro

Prolog: The Next 50 Years, p.107-123 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
3
Annotated Logics and Application—An Overview
Annotated Logics and Application—An Overview
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Annotated Logics and Application—An Overview

Abe, Jair Minoro

Advances in Applied Logics, 2023, p.189-201

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
4
Reasoning About Games with Possibilistic Uncertainty
Reasoning About Games with Possibilistic Uncertainty
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Reasoning About Games with Possibilistic Uncertainty

Liau, Churn-Jung

Integrated Uncertainty in Knowledge Modelling and Decision Making, p.49-60 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
5
PROLEG: Practical Legal Reasoning System
PROLEG: Practical Legal Reasoning System
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

PROLEG: Practical Legal Reasoning System

Satoh, Ken

Prolog: The Next 50 Years, p.277-283 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
6
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives

Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana

Prolog: The Next 50 Years, p.300-317 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
7
Linking Data to Ontologies
Linking Data to Ontologies
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Linking Data to Ontologies

Poggi, Antonella ; Lembo, Domenico ; Calvanese, Diego ; De Giacomo, Giuseppe ; Lenzerini, Maurizio ; Rosati, Riccardo

Journal on Data Semantics X, p.133-173 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
Teaching Prolog with Active Logic Documents
Teaching Prolog with Active Logic Documents
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Teaching Prolog with Active Logic Documents

Morales, Jose F. ; Abreu, Salvador ; Ferreiro, Daniela ; Hermenegildo, Manuel V.

Prolog: The Next 50 Years, p.171-183 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
9
Soundness and Completeness Results for LEA and Probability Semantics
Soundness and Completeness Results for LEA and Probability Semantics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Soundness and Completeness Results for LEA and Probability Semantics

Moore, Eoin

Logical Foundations of Computer Science, 2021, p.198-216 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
10
Inductive Logic Programming in Answer Set Programming
Inductive Logic Programming in Answer Set Programming
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming in Answer Set Programming

Corapi, Domenico ; Russo, Alessandra ; Lupu, Emil

Inductive Logic Programming, p.91-97 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (19.506)
  2. Revistas revisadas por pares (12.309)

Data de Publicação 

De até
Refinar
  1. Antes de1966  (692)
  2. 1966Até1982  (339)
  3. 1983Até1995  (1.720)
  4. 1996Até2009  (11.441)
  5. Após 2009  (18.976)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (35.202)
  2. Japonês  (250)
  3. Alemão  (114)
  4. Francês  (64)
  5. Italiano  (41)
  6. Português  (17)
  7. Interlingue  (6)
  8. Espanhol  (4)
  9. Holandês  (1)
  10. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.