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
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

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

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

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

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

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

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

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

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

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
SAT Modulo Graphs: Acyclicity
SAT Modulo Graphs: Acyclicity
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

SAT Modulo Graphs: Acyclicity

Gebser, Martin ; Janhunen, Tomi ; Rintanen, Jussi

Logics in Artificial Intelligence, p.137-151 [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 (107)

Data de Publicação 

De até
Refinar
  1. Antes de1989  (37)
  2. 1989Até1998  (42)
  3. 1999Até2005  (46)
  4. 2006Até2013  (76)
  5. Após 2013  (304)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (405)
  2. Português  (96)
  3. Francês  (19)
  4. Espanhol  (10)
  5. Italiano  (1)
  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.