Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Knowledge Representation, Reasoning and Declarative Problem SolvingChitta BaralCambridge Cambridge University Press 2003Acesso online |
|
2 |
Material Type: Livro
|
Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8 2005 : proceedingsLPNMR 2005 (2005 Diamante, Italy) Chitta Baral; Gianluigi Greco; Nicola Leone; Giorgio TerracinaBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Logic programming and nonmonotonic reasoning 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17 2007 ; proceedingsLPNMR 2007 (2007 Tempe, Ariz.) Chitta Baral; Gerhard Brewka; John SchlipfBerlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471a v.4483 )(Acessar) |
|
4 |
Material Type: Artigo
|
Discovering drug–drug interactions: a text-mining and reasoning approach based on properties of drug metabolismTari, Luis ; Anwar, Saadat ; Liang, Shanshan ; Cai, James ; Baral, ChittaBioinformatics, 2010-09, Vol.26 (18), p.i547-i553 [Periódico revisado por pares]England: Oxford University PressTexto completo disponível |
|
5 |
Material Type: Livro
|
Neuro Symbolic Reasoning and LearningShakarian, Paulo ; Baral, Chitta ; Simari, Gerardo I. ; Xi, Bowen ; Pokala, LahariCham: Springer Nature Switzerland 2023Sem texto completo |
|
6 |
Material Type: Artigo
|
Identifying novel drug indications through automated reasoningTari, Luis ; Vo, Nguyen ; Liang, Shanshan ; Patel, Jagruti ; Baral, Chitta ; Cai, James Ahmad, AamirPloS one, 2012-07, Vol.7 (7), p.e40946 [Periódico revisado por pares]United States: Public Library of ScienceTexto completo disponível |
|
7 |
Material Type: Artigo
|
Proceedings 35th International Conference on Logic Programming (Technical Communications): Knowledge Representation and Reasoning Issues in Natural Language Question AnsweringBaral, ChittaElectronic proceedings in theoretical computer science, 2019-09, Vol.306, p.5-5Texto completo disponível |
|
8 |
Material Type: Artigo
|
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct ExamplesMITRA, ARINDAM ; BARAL, CHITTATheory and practice of logic programming, 2018-07, Vol.18 (3-4), p.623-637 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
9 |
Material Type: Artigo
|
Maintenance goals of agents in a dynamic environment: Formulation and policy constructionBaral, Chitta ; Eiter, Thomas ; Bjäreland, Marcus ; Nakamura, MutsumiArtificial intelligence, 2008-08, Vol.172 (12), p.1429-1469 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Probabilistic reasoning with answer setsBARAL, CHITTA ; GELFOND, MICHAEL ; RUSHTON, NELSONTheory and practice of logic programming, 2009-01, Vol.9 (1), p.57-144 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |