skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

Damásio, C. V. ; Medina, J. ; Ojeda-Aciego, M.

Lecture notes in computer science, 2004, p.252-265 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
A Logic with Conditional Probabilities
A Logic with Conditional Probabilities
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Logic with Conditional Probabilities

RASKOVIC, Miodrag ; OGNJANOVIC, Zoran ; MARKOVIC, Zoran

Lecture notes in computer science, 2004, p.226-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Evolving Logic Programs
Evolving Logic Programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Evolving Logic Programs

Alferes, José Júlio ; Brogi, Antonio ; Leite, João Alexandre ; Pereira, Luís Moniz

Lecture notes in computer science, 2002, p.50-62 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
A Meta-model for Representing Variability in Product Family Development
A Meta-model for Representing Variability in Product Family Development
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Meta-model for Representing Variability in Product Family Development

Bachmann, Felix ; Goedicke, Michael ; Leite, Julio ; Nord, Robert ; Pohl, Klaus ; Ramesh, Balasubramaniam ; Vilbig, Alexander

Lecture notes in computer science, 2004, p.66-80 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
InterProlog: Towards a Declarative Embedding of Logic Programming in Java
InterProlog: Towards a Declarative Embedding of Logic Programming in Java
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

InterProlog: Towards a Declarative Embedding of Logic Programming in Java

Calejo, Miguel

Lecture notes in computer science, 2004, p.714-717 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Polynomial Approximations of Full Propositional Logic via Limited Bivalence

Finger, Marcelo

Lecture notes in computer science, 2004, p.526-538 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Verdi: An Automated Tool for Web Sites Verification
Verdi: An Automated Tool for Web Sites Verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verdi: An Automated Tool for Web Sites Verification

Alpuente, M. ; Ballis, D. ; Falaschi, M.

Lecture notes in computer science, 2004, p.726-729 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Exploiting Functional Dependencies in Declarative Problem Specifications
Exploiting Functional Dependencies in Declarative Problem Specifications
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Exploiting Functional Dependencies in Declarative Problem Specifications

Cadoli, Marco ; Mancini, Toni

Lecture notes in computer science, 2004, p.628-640 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
A System with Template Answer Set Programs
A System with Template Answer Set Programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A System with Template Answer Set Programs

Calimeri, Francesco ; Ianni, Giovambattista ; Ielpa, Giuseppe ; Pietramala, Adriana ; Santoro, Maria Carmela

Lecture notes in computer science, 2004, p.693-697 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Practical reasoning for uncertain agents
Practical reasoning for uncertain agents
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Practical reasoning for uncertain agents

DE C. FERREIRA, Nivea ; FISHER, Michael ; VAN DER HOEK, Wiebe

Lecture notes in computer science, 2004, p.82-94 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1998  (1)
  2. 1998Até1998  (3)
  3. 1999Até1999  (1)
  4. 2000Até2002  (3)
  5. Após 2002  (21)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.