skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Knowledge Representation, Reasoning and Declarative Problem Solving
Material Type:
Livro
Adicionar ao Meu Espaço

Knowledge Representation, Reasoning and Declarative Problem Solving

Chitta Baral

Cambridge Cambridge University Press 2003

Acesso online

2
Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8 2005 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8 2005 : proceedings

LPNMR 2005 (2005 Diamante, Italy) Chitta Baral; Gianluigi Greco; Nicola Leone; Giorgio Terracina

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

3
Logic programming and nonmonotonic reasoning 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17 2007 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic programming and nonmonotonic reasoning 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17 2007 ; proceedings

LPNMR 2007 (2007 Tempe, Ariz.) Chitta Baral; Gerhard Brewka; John Schlipf

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471a v.4483 )(Acessar)

4
Discovering drug–drug interactions: a text-mining and reasoning approach based on properties of drug metabolism
Material Type:
Artigo
Adicionar ao Meu Espaço

Discovering drug–drug interactions: a text-mining and reasoning approach based on properties of drug metabolism

Tari, Luis ; Anwar, Saadat ; Liang, Shanshan ; Cai, James ; Baral, Chitta

Bioinformatics, 2010-09, Vol.26 (18), p.i547-i553 [Periódico revisado por pares]

England: Oxford University Press

Texto completo disponível

5
Neuro Symbolic Reasoning and Learning
Material Type:
Livro
Adicionar ao Meu Espaço

Neuro Symbolic Reasoning and Learning

Shakarian, Paulo ; Baral, Chitta ; Simari, Gerardo I. ; Xi, Bowen ; Pokala, Lahari

Cham: Springer Nature Switzerland 2023

Sem texto completo

6
Identifying novel drug indications through automated reasoning
Material Type:
Artigo
Adicionar ao Meu Espaço

Identifying novel drug indications through automated reasoning

Tari, Luis ; Vo, Nguyen ; Liang, Shanshan ; Patel, Jagruti ; Baral, Chitta ; Cai, James Ahmad, Aamir

PloS one, 2012-07, Vol.7 (7), p.e40946 [Periódico revisado por pares]

United States: Public Library of Science

Texto completo disponível

7
Proceedings 35th International Conference on Logic Programming (Technical Communications): Knowledge Representation and Reasoning Issues in Natural Language Question Answering
Material Type:
Artigo
Adicionar ao Meu Espaço

Proceedings 35th International Conference on Logic Programming (Technical Communications): Knowledge Representation and Reasoning Issues in Natural Language Question Answering

Baral, Chitta

Electronic proceedings in theoretical computer science, 2019-09, Vol.306, p.5-5

Texto completo disponível

8
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples
Material Type:
Artigo
Adicionar ao Meu Espaço

Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples

MITRA, ARINDAM ; BARAL, CHITTA

Theory and practice of logic programming, 2018-07, Vol.18 (3-4), p.623-637 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

9
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Material Type:
Artigo
Adicionar ao Meu Espaço

Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Baral, Chitta ; Eiter, Thomas ; Bjäreland, Marcus ; Nakamura, Mutsumi

Artificial intelligence, 2008-08, Vol.172 (12), p.1429-1469 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

10
Probabilistic reasoning with answer sets
Material Type:
Artigo
Adicionar ao Meu Espaço

Probabilistic reasoning with answer sets

BARAL, CHITTA ; GELFOND, MICHAEL ; RUSHTON, NELSON

Theory and practice of logic programming, 2009-01, Vol.9 (1), p.57-144 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (195)
  2. Anais de Congresso  (44)
  3. Book Chapters  (43)
  4. Reports  (5)
  5. Livros  (4)
  6. magazinearticle  (2)
  7. Verbetes  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1997  (14)
  2. 1997Até2002  (37)
  3. 2003Até2008  (50)
  4. 2009Até2015  (43)
  5. Após 2015  (146)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.