skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
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
Inductive Learning of Answer Set Programs
Inductive Learning of Answer Set Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Inductive Learning of Answer Set Programs

Law, Mark ; Russo, Alessandra ; Broda, Krysia Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.311-325 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics

Casini, Giovanni ; Meyer, Thomas ; Moodley, Kodylan ; Nortjé, Riku Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.92-106 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Revisiting Postulates for Inconsistency Measures
Revisiting Postulates for Inconsistency Measures
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Revisiting Postulates for Inconsistency Measures

Besnard, Philippe Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.383-396 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
System aspmt2smt: Computing ASPMT Theories by SMT Solvers
System aspmt2smt: Computing ASPMT Theories by SMT Solvers
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

System aspmt2smt: Computing ASPMT Theories by SMT Solvers

Bartholomew, Michael ; Lee, Joohyung Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.529-542 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Improving the Normalization of Weight Rules in Answer Set Programs
Improving the Normalization of Weight Rules in Answer Set Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Improving the Normalization of Weight Rules in Answer Set Programs

Bomanson, Jori ; Gebser, Martin ; Janhunen, Tomi Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.166-180 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Probabilistic Abstract Dialectical Frameworks
Probabilistic Abstract Dialectical Frameworks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Probabilistic Abstract Dialectical Frameworks

Polberg, Sylwia ; Doder, Dragan Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.591-599 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Logical Foundations of Possibilistic Keys
Logical Foundations of Possibilistic Keys
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Logical Foundations of Possibilistic Keys

Koehler, Henning ; Leck, Uwe ; Link, Sebastian ; Prade, Henri Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.181-195 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form

Jabbour, Said ; Marques-Silva, Joao ; Sais, Lakhdar ; Salhi, Yakoub Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.152-165 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Preserving Strong Equivalence while Forgetting
Preserving Strong Equivalence while Forgetting
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Preserving Strong Equivalence while Forgetting

Knorr, Matthias ; Alferes, José Julio Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.412-425 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Finitary S5-Theories
Finitary S5-Theories
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Finitary S5-Theories

Son, Tran Cao ; Pontelli, Enrico ; Baral, Chitta ; Gelfond, Gregory Fermé, Eduardo ; Leite, João

Logics in Artificial Intelligence, p.239-252 [Periódico revisado por pares]

Cham: Springer International Publishing

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. Revistas revisadas por pares (73)

Data de Publicação 

De até
Refinar
  1. Antes de1995  (3)
  2. 1995Até2003  (3)
  3. 2004Até2009  (29)
  4. 2010Até2016  (56)
  5. Após 2016  (30)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (116)
  2. Espanhol  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.