LEADER 04868nam 22005175 450 001 996466100703316 005 20200702125120.0 010 $a3-540-47467-6 024 7 $a10.1007/BFb0034792 035 $a(CKB)1000000000234355 035 $a(SSID)ssj0000320873 035 $a(PQKBManifestationID)11229960 035 $a(PQKBTitleCode)TC0000320873 035 $a(PQKBWorkID)10262537 035 $a(PQKB)10427446 035 $a(DE-He213)978-3-540-47467-8 035 $a(PPN)155199374 035 $a(EXLCZ)991000000000234355 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in Artificial Intelligence$b[electronic resource] $e12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 11 - 13, 1995. Proceedings /$fedited by Jacques Wainer, Ariadne Carvalho 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XII, 342 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v991 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60436-7 327 $aRethinking and reinventing Artificial Intelligence from the perspective of human-centered computational artifacts -- Automatic documentation generation: Including examples -- Market-oriented programming (abstract) -- Belief increasing in SKL model frames -- Sensitivity of combination schemes under conflicting conditions and a new method -- Two conditional logics for defeasible inference: A comparison preliminary version -- Underlying semantics for the assessment of Reiter's solution to the frame problem -- Modeling intentions with extended logic programming -- Labelled theorem proving for substructural logics -- Labelled abduction -- PROMAL: Programming in modal action logic -- A goal directed reasoning for semi-normal default theories -- Towards new learning strategies in intelligent tutoring systems -- Modeling the influence of non-changing quantities -- Mathema: A learning environment based on a multi-agent architecture -- A general model of dialogue interpretation for concept tutoring systems -- Knowledge based clustering of partially characterized objects -- Constructing the extensional representation of an intensional domain theory in inductive logic programming -- A generic algorithm for learning rules with hierarchical exceptions -- A neural model for the visual attention phenomena -- Learning rare categories in backpropagation -- An automatic adaptive neurocomputing algorithm for time series prediction -- A computational approach to situation theory based on logic programming to design cognitive agents -- Measuring agreement and harmony in multi-agent societies: A first approach -- Detecting the opportunities of learning from the interactions in a society of organizations -- Exploiting social reasoning to enhance adaptation in open multi-agent systems -- A system for aiding discovery: Mechanisms for knowledge generation -- On a composite formalism and approach to presenting the knowledge content of a relational database -- Method for knowledge acquisition from multiple experts -- A conceptual model for a knowledge base homogeneously stored in a database environment -- A hierarchical description of the Portuguese verb -- TALISMAN: A multi-agent system for natural language processing -- Part-of-speech tagging for portuguese texts -- Quantification and cognitive constraints in natural language understanding. 330 $aThis book constitutes the refereed proceedings of the 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, held in Campinas, Brazil, in October 1995. The book presents three invited papers and 31 revised full papers selected from a total 57 submissions, more than half of them coming from abroad. The papers are organized in sections on knowledge representation and automated reasoning, tutoring systems, machine learning, neural networks, distributed artificial intelligence, knowledge acquisition and knowledge bases, and natural language processing. 410 0$aLecture Notes in Artificial Intelligence ;$v991 606 $aArtificial intelligence 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3 702 $aWainer$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCarvalho$b Ariadne$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSimpâosio Brasileiro de Inteligãencia Artificial 906 $aBOOK 912 $a996466100703316 996 $aAdvances in Artificial Intelligence$9772131 997 $aUNISA