skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Artificial Intelligence remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

The QBF Gallery: Behind the Scenes

Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

On the succinctness of some modal logics

French, Tim ; van Der Hoek, Wiebe ; Iliev, Petar ; Kooi, Barteld

Artificial Intelligence, April 2013, Vol.197, pp.56-85 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Hidden protocols: Modifying our expectations in an evolving world

van Ditmarsch, Hans ; Ghosh, Sujata ; Verbrugge, Rineke ; Wang, Yanjing

Artificial Intelligence, March 2014, Vol.208, pp.18-40 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments

Brewka, Gerhard ; Ellmauthaler, Stefan ; Gonçalves, Ricardo ; Knorr, Matthias ; Leite, João ; Pührer, Jörg

Artificial Intelligence 256 (2018) 68-104 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

On Rational Entailment for Propositional Typicality Logic

Booth, Richard ; Casini, Giovanni ; Meyer, Thomas ; Varzinczak, Ivan

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Second-order propositional modal logic: Expressiveness and completeness results

Belardinelli, Francesco ; van Der Hoek, Wiebe ; Kuijer, Louwe B

Artificial Intelligence, October 2018, Vol.263, pp.3-45 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics

Aiguier, Marc ; Atif, Jamal ; Bloch, Isabelle ; Hudelot, Céline Aiguier, Marc (Editor)

Artificial Intelligence, 2018, Vol.256, pp.160-180 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Disjunctive closures for knowledge compilation

Fargier, Hélène ; Marquis, Pierre (Oatao), Open Archive Toulouse Archive Ouverte (Editor)

Artificial Intelligence, 2014, Vol.216, pp.129-162 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces

Schockaert, Steven ; Prade, Henri (Oatao), Open Archive Toulouse Archive Ouverte (Editor)

Artificial Intelligence, 2013, Vol.202 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems

Cooper, Martin ; Duchein, Aymeric ; El Mouelhi, Achref ; Escamocher, Guillaume ; Terrioux, Cyril ; Zanuttini, Bruno Greyc, Mad (Editor)

Artificial Intelligence, 2016, Vol.234, pp.196-218 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1997  (7)
  2. 1997Até2001  (53)
  3. 2002Até2006  (40)
  4. 2007Até2012  (42)
  5. Após 2012  (72)
  6. Mais opções open sub menu

Base de Dados/Biblioteca 

  1. ScienceDirect (Elsevier)  (213)
  2. Elsevier (CrossRef)  (211)
  3. OneFile (GALE)  (72)
  4. HAL (CCSd)  (9)
  5. arXiv  (7)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Eiter, Thomas
  2. Leone, Nicola
  3. van Der Hoek, Wiebe
  4. Schaub, Torsten
  5. Lin, Fangzhen

Buscando em bases de dados remotas. Favor aguardar.