This 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.
This 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.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Rethinking 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.
Rethinking 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
