Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Natural Language Processing [[electronic resource] ] : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / / edited by Elisabete Ranchod, Nuno J. Mamede
| Advances in Natural Language Processing [[electronic resource] ] : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / / edited by Elisabete Ranchod, Nuno J. Mamede |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 280 p.) |
| Disciplina | 006.3/5 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Mathematical logic Information storage and retrieval Natural Language Processing (NLP) Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-540-45433-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- WordsEye: A Text-to-Scene Conversion System -- Automatic Anaphora Resolution: Limits, Impediments, and Ways Forward -- Pragmatics, Discourse, Semantics, Syntax, and the Lexicon -- Feature-Based WSD: Why We Are at a Dead-End -- Improving Feature Selection for Maximum Entropy-Based Word Sense Disambiguation -- Heuristics-Based Replenishment of Collocation Databases -- On the Analysis of Locative Phrases with Graphs and Lexicon-Grammar: The Classifier/Proper Noun Pairing -- The Role of Pause Occurrence and Pause Duration in the Signaling of Narrative Structure -- A Grammar-Based System to Solve Temporal Expressions in Spanish Texts -- Semantic Information in Anaphora Resolution -- A Type of Transitive Inalienable Possession Construction in Korean -- The Treatment of Numbers in Polish by Graphs -- From Syntax to Semantics: Taking Advantages of 5P -- Processing Discontinuity -- Resolution of Demonstrative Anaphoric References in Portuguese Written Texts -- Interpreting and Generating Spoken and Written Language -- Large Vocabulary Continuous Speech Recognition Using Weighted Finite-State Transducers -- Building Language Models for Continuous Speech Recognition Systems -- Language-Oriented Information Retrieval, Question Answering, Summarization, and Information Extraction -- Relevant Information Extraction Driven with Rhetorical Schemas to Summarize Scientific Papers -- Language-Oriented Machine Learning -- Mapping an Automated Survey Coding Task into a Probabilistic Text Categorization Framework -- Combining Multiclass Maximum Entropy Text Classifiers with Neural Network Voting -- Multi-lingual Processing, Machine Translation, and Translation Aids -- Compound Temporal Adverbs in Portuguese and in Spanish -- Description of a Multilingual Database of Proper Names -- Natural Language Interfaces and Dialogue Systems -- A Project of Speech Input and Output in an E-commerce Application -- Ambiguity Reports for Flexible Dialog Management -- A Natural Language Dialogue Manager for Accessing Databases -- Helping the Composition of Help Contents -- Meteo: A Telephone-Based Portuguese Conversation System in Weather Domain -- Tools and Resources -- Concluding Remarks on Multi-band and Multi-stream Research for Noise-Robust ASR -- Groundwork for the Development of the Brazilian Portuguese Wordnet -- Linguistic Processing of Biomedical Texts -- DISPARA, a System for Distributing Parallel Corpora on the Web -- Using Morphological, Syntactical, and Statistical Information for Automatic Term Acquisition -- Complex Lexical Units and Automata -- Constructing Empirical Formulas for Testing Word Similarity by the Inductive Method of Model Self-Organization -- Multilingual Corpora Annotation for Processing Definite Descriptions -- Relational Data Model in Document Hierarchical Indexing -- Evaluation of Systems -- DMSumm: Review and Assessment. |
| Record Nr. | UNISA-996465566103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Natural Language Processing : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / / edited by Elisabete Ranchod, Nuno J. Mamede
| Advances in Natural Language Processing : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / / edited by Elisabete Ranchod, Nuno J. Mamede |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 280 p.) |
| Disciplina | 006.3/5 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Logic, Symbolic and mathematical Information storage and retrieval Natural Language Processing (NLP) Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-540-45433-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- WordsEye: A Text-to-Scene Conversion System -- Automatic Anaphora Resolution: Limits, Impediments, and Ways Forward -- Pragmatics, Discourse, Semantics, Syntax, and the Lexicon -- Feature-Based WSD: Why We Are at a Dead-End -- Improving Feature Selection for Maximum Entropy-Based Word Sense Disambiguation -- Heuristics-Based Replenishment of Collocation Databases -- On the Analysis of Locative Phrases with Graphs and Lexicon-Grammar: The Classifier/Proper Noun Pairing -- The Role of Pause Occurrence and Pause Duration in the Signaling of Narrative Structure -- A Grammar-Based System to Solve Temporal Expressions in Spanish Texts -- Semantic Information in Anaphora Resolution -- A Type of Transitive Inalienable Possession Construction in Korean -- The Treatment of Numbers in Polish by Graphs -- From Syntax to Semantics: Taking Advantages of 5P -- Processing Discontinuity -- Resolution of Demonstrative Anaphoric References in Portuguese Written Texts -- Interpreting and Generating Spoken and Written Language -- Large Vocabulary Continuous Speech Recognition Using Weighted Finite-State Transducers -- Building Language Models for Continuous Speech Recognition Systems -- Language-Oriented Information Retrieval, Question Answering, Summarization, and Information Extraction -- Relevant Information Extraction Driven with Rhetorical Schemas to Summarize Scientific Papers -- Language-Oriented Machine Learning -- Mapping an Automated Survey Coding Task into a Probabilistic Text Categorization Framework -- Combining Multiclass Maximum Entropy Text Classifiers with Neural Network Voting -- Multi-lingual Processing, Machine Translation, and Translation Aids -- Compound Temporal Adverbs in Portuguese and in Spanish -- Description of a Multilingual Database of Proper Names -- Natural Language Interfaces and Dialogue Systems -- A Project of Speech Input and Output in an E-commerce Application -- Ambiguity Reports for Flexible Dialog Management -- A Natural Language Dialogue Manager for Accessing Databases -- Helping the Composition of Help Contents -- Meteo: A Telephone-Based Portuguese Conversation System in Weather Domain -- Tools and Resources -- Concluding Remarks on Multi-band and Multi-stream Research for Noise-Robust ASR -- Groundwork for the Development of the Brazilian Portuguese Wordnet -- Linguistic Processing of Biomedical Texts -- DISPARA, a System for Distributing Parallel Corpora on the Web -- Using Morphological, Syntactical, and Statistical Information for Automatic Term Acquisition -- Complex Lexical Units and Automata -- Constructing Empirical Formulas for Testing Word Similarity by the Inductive Method of Model Self-Organization -- Multilingual Corpora Annotation for Processing Definite Descriptions -- Relational Data Model in Document Hierarchical Indexing -- Evaluation of Systems -- DMSumm: Review and Assessment. |
| Record Nr. | UNINA-9910143899003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Processing of the Portuguese Language [[electronic resource] ] : 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings / / edited by Renata Vieira, Paulo Quaresma, Maria das Graças Volpe Nunes, Nuno J. Mamede, Cláudia Oliveira, Maria Carmelita Dias
| Computational Processing of the Portuguese Language [[electronic resource] ] : 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings / / edited by Renata Vieira, Paulo Quaresma, Maria das Graças Volpe Nunes, Nuno J. Mamede, Cláudia Oliveira, Maria Carmelita Dias |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 276 p.) |
| Disciplina | 371.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Learning
Instruction Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Algorithms Learning & Instruction Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-34046-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Summarization -- Modeling and Evaluating Summaries Using Complex Networks -- SABio: An Automatic Portuguese Text Summarizer Through Artificial Neural Networks in a More Biologically Plausible Model -- Resources -- Building a Dictionary of Anthroponyms -- REPENTINO – A Wide-Scope Gazetteer for Entity Recognition in Portuguese -- Translation -- Using Natural Alignment to Extract Translation Equivalents -- Open-Source Portuguese–Spanish Machine Translation -- Weighted Finite-State Transducer Inference for Limited-Domain Speech-to-Speech Translation -- Named Entity Recognition -- A Golden Resource for Named Entity Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer for Portuguese Relying on Similarity Rules -- Tools and Frameworks -- Tools for Nominalization: An Alternative for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools for Encoding the WordNet.Br Sentences, Concept Glosses, and Conceptual-Semantic Relations -- A Multi-agent Approach to Question Answering -- Systems and Models -- Adaptation of Data and Models for Probabilistic Parsing of Portuguese -- A Set of NP-Extraction Rules for Portuguese: Defining, Learning and Pruning -- Resolving Portuguese Nominal Anaphora -- Design of a Multimodal Input Interface for a Dialogue System -- Review and Evaluation of DiZer – An Automatic Discourse Analyzer for Brazilian Portuguese -- Classroom Lecture Recognition -- Information Extraction -- Semi-supervised Learning for Portuguese Noun Phrase Extraction -- Automatic Extraction of Keywords for the Portuguese Language -- Semi-automatically Building Ontological Structures from Portuguese Written Texts -- Speech Processing -- On the Use of Machine Learning and Syllable Information in European Portuguese Grapheme-Phone Conversion -- A Model to Computational Speech Understanding -- Phonetic Sequence to Graphemes Conversion Based on DTW and One-Stage Algorithms -- Lexicon -- Very Strict Selectional Restrictions: A Comparison Between Portuguese and French -- Towards a Formalization of Tense and Aspect for the Generation of Portuguese Sentences -- The Need for Application-Dependent WSD Strategies: A Case Study in MT -- A Lexical Database of Portuguese Multiword Expressions -- Morpho-syntactic Studies -- Dedicated Nominal Featurization of Portuguese -- Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains -- From Syntactical Analysis to Textual Segmentation -- Syntactical Annotation of COMPARA: Workflow and First Results -- Web, Corpus and Evaluation -- A Complex Evaluation Architecture for HAREM -- What Kinds of Geographical Information Are There in the Portuguese Web? -- Corpus-Based Compositionality. |
| Record Nr. | UNISA-996465874803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Processing of the Portuguese Language [[electronic resource] ] : 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings / / edited by Nuno J. Mamede, Jorge Baptista, Isabel Trancoso, Maria das Gracas Volpe Nunes
| Computational Processing of the Portuguese Language [[electronic resource] ] : 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings / / edited by Nuno J. Mamede, Jorge Baptista, Isabel Trancoso, Maria das Gracas Volpe Nunes |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 272 p.) |
| Disciplina | 469/.0285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Learning
Instruction Artificial intelligence Computer science Mathematical logic Information storage and retrieval Natural language processing (Computer science) Learning & Instruction Artificial Intelligence Computer Science, general Mathematical Logic and Formal Languages Information Storage and Retrieval Natural Language Processing (NLP) |
| ISBN | 3-540-45011-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Speech Analysis and Recognition -- Devoicing Measures of European Portuguese Fricatives -- AUDIMUS.MEDIA: A Broadcast News Speech Recognition System for the European Portuguese Language -- Pitch Restoration for Robust Speech Recognition -- Speech Synthesis -- Grapheme-Phone Transcription Algorithm for a Brazilian Portuguese TTS -- Improving the Accuracy of the Speech Synthesis Based Phonetic Alignment Using Multiple Acoustic Features -- Evaluation of a Segmental Durations Model for TTS -- From Portuguese to Mirandese: Fast Porting of a Letter-to-Sound Module Using FSTs -- A Methodology to Analyze Homographs for a Brazilian Portuguese TTS System -- Automatic Discovery of Brazilian Portuguese Letter to Phoneme Conversion Rules through Genetic Programming -- Experimental Phonetics Contributions to the Portuguese Articulatory Synthesizer Development -- Pragmatics, Discourse, Semantics, Syntax, and the Lexicon -- A Study on the Reliability of Two Discourse Segmentation Models -- Reusability of Dictionaries in the Compilation of NLP Lexicons -- Homonymy in Natural Language Processes: A Representation Using Pustejovsky’s Qualia Structure and Ontological Information -- Using Adaptive Formalisms to Describe Context-Dependencies in Natural Language -- Some Regularities of Frozen Expressions in Brazilian Portuguese -- Tools, Resources, and Applications -- Selva: A New Syntactic Parser for Portuguese -- An Account of the Challenge of Tagging a Reference Corpus for Brazilian Portuguese -- Multi-level NER for Portuguese in a CG Framework -- HMM/MLP Hybrid Speech Recognizer for the Portuguese Telephone SpeechDat Corpus -- Managing Linguistic Resources and Tools -- Using Morphossyntactic Information in TTS Systems: Comparing Strategies for European Portuguese -- Timber! Issues in Treebank Building and Use -- A Lexicon-Based Stemming Procedure -- Contractions: Breaking the Tokenization-Tagging Circularity -- A Linguistic Approach Proposal for Mechanical Design Using Natural Language Processing -- Identification of Direct/Indirect Discourse in Children’s Stories -- Curupira: A Functional Parser for Brazilian Portuguese -- ANELL: A Web System for Portuguese Corpora Annotation -- Email2Vmail — An Email Reader -- A Large Speech Database for Brazilian Portuguese Spoken Language Research -- Dialogue Systems -- Interpretations and Discourse Obligations in a Dialog System -- Using Dialogues to Access Semantic Knowledge in a Web IR System -- Managing Dialog and Access Control in Natural Language Querying -- Summarization and Information Extraction -- GistSumm: A Summarization Tool Based on a New Extractive Method -- Topic Indexing of TV Broadcast News Programs -- Evaluation -- An Initial Proposal for Cooperative Evaluation on Information Retrieval in Portuguese -- Evaluation of Finite-State Lexical Transducers of Temporal Adverbs for Lexical Analysis of Portuguese Texts -- Evaluating Automatically Computed Word Similarity -- Evaluation of a Thesaurus-Based Query Expansion Technique -- Cooperatively Evaluating Portuguese Morphology. |
| Record Nr. | UNISA-996465895603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Processing of the Portuguese Language : 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings / / edited by Nuno J. Mamede, Jorge Baptista, Isabel Trancoso, Maria das Gracas Volpe Nunes
| Computational Processing of the Portuguese Language : 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings / / edited by Nuno J. Mamede, Jorge Baptista, Isabel Trancoso, Maria das Gracas Volpe Nunes |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 272 p.) |
| Disciplina | 469/.0285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Learning
Instruction Artificial intelligence Computer science Logic, Symbolic and mathematical Information storage and retrieval Natural language processing (Computer science) Learning & Instruction Artificial Intelligence Computer Science, general Mathematical Logic and Formal Languages Information Storage and Retrieval Natural Language Processing (NLP) |
| ISBN | 3-540-45011-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Speech Analysis and Recognition -- Devoicing Measures of European Portuguese Fricatives -- AUDIMUS.MEDIA: A Broadcast News Speech Recognition System for the European Portuguese Language -- Pitch Restoration for Robust Speech Recognition -- Speech Synthesis -- Grapheme-Phone Transcription Algorithm for a Brazilian Portuguese TTS -- Improving the Accuracy of the Speech Synthesis Based Phonetic Alignment Using Multiple Acoustic Features -- Evaluation of a Segmental Durations Model for TTS -- From Portuguese to Mirandese: Fast Porting of a Letter-to-Sound Module Using FSTs -- A Methodology to Analyze Homographs for a Brazilian Portuguese TTS System -- Automatic Discovery of Brazilian Portuguese Letter to Phoneme Conversion Rules through Genetic Programming -- Experimental Phonetics Contributions to the Portuguese Articulatory Synthesizer Development -- Pragmatics, Discourse, Semantics, Syntax, and the Lexicon -- A Study on the Reliability of Two Discourse Segmentation Models -- Reusability of Dictionaries in the Compilation of NLP Lexicons -- Homonymy in Natural Language Processes: A Representation Using Pustejovsky’s Qualia Structure and Ontological Information -- Using Adaptive Formalisms to Describe Context-Dependencies in Natural Language -- Some Regularities of Frozen Expressions in Brazilian Portuguese -- Tools, Resources, and Applications -- Selva: A New Syntactic Parser for Portuguese -- An Account of the Challenge of Tagging a Reference Corpus for Brazilian Portuguese -- Multi-level NER for Portuguese in a CG Framework -- HMM/MLP Hybrid Speech Recognizer for the Portuguese Telephone SpeechDat Corpus -- Managing Linguistic Resources and Tools -- Using Morphossyntactic Information in TTS Systems: Comparing Strategies for European Portuguese -- Timber! Issues in Treebank Building and Use -- A Lexicon-Based Stemming Procedure -- Contractions: Breaking the Tokenization-Tagging Circularity -- A Linguistic Approach Proposal for Mechanical Design Using Natural Language Processing -- Identification of Direct/Indirect Discourse in Children’s Stories -- Curupira: A Functional Parser for Brazilian Portuguese -- ANELL: A Web System for Portuguese Corpora Annotation -- Email2Vmail — An Email Reader -- A Large Speech Database for Brazilian Portuguese Spoken Language Research -- Dialogue Systems -- Interpretations and Discourse Obligations in a Dialog System -- Using Dialogues to Access Semantic Knowledge in a Web IR System -- Managing Dialog and Access Control in Natural Language Querying -- Summarization and Information Extraction -- GistSumm: A Summarization Tool Based on a New Extractive Method -- Topic Indexing of TV Broadcast News Programs -- Evaluation -- An Initial Proposal for Cooperative Evaluation on Information Retrieval in Portuguese -- Evaluation of Finite-State Lexical Transducers of Temporal Adverbs for Lexical Analysis of Portuguese Texts -- Evaluating Automatically Computed Word Similarity -- Evaluation of a Thesaurus-Based Query Expansion Technique -- Cooperatively Evaluating Portuguese Morphology. |
| Record Nr. | UNINA-9910767534403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Progress in Artificial Intelligence [[electronic resource] ] : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings / / edited by Carlos Pinto-Ferreira, Nuno J. Mamede
| Progress in Artificial Intelligence [[electronic resource] ] : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings / / edited by Carlos Pinto-Ferreira, Nuno J. Mamede |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (DVIII, 492 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-45595-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Terminological meta-reasoning by reification and multiple contexts -- A new continuous propositional logic -- Super-polynomial speed-ups in proof length by new tautologies -- Belief revision in non-monotonic reasoning -- A new representation of JTMS -- The retrieval problem in a concept language with number restrictions -- Formalizing local propagation in constraint maintenance systems -- A dependency parser of Korean based on connectionist/symbolic techniques -- A symbiotic approach to arc and path consistency checking -- Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution -- A closer look to artificial learning environments -- Building multi-agent societies from descriptions to systems: Inter-layer translations -- GA/TS: A hybrid approach for job shop scheduling in a production system -- A controlled experiment: Evolution for learning difficult image classification -- Minimal model complexity search -- Characterization of classification algorithms -- Neurons, glia and the borderline between subsymbolic and symbolic processing -- Arguments and defeat in argument-based nonmonotonic reasoning -- A preference semantics for ground nonmonotonic modal logics -- Logical omniscience vs. logical ignorance on a dilemma of epistemic logic -- On the role of splitting and merging past cases for generation of a new solution -- Theorem proving by analogy — A compelling example -- Non-atomic actions in the situation calculus -- Planning under uncertainty: A qualitative approach -- Qualitative reasoning under uncertainty -- Systematic construction of qualitative physics-based rules for process diagnostics -- Integrated process supervision: A structured approach to expert control -- Using stochastic grammars to learn robotic tasks -- Constraint categorial grammars -- A new translation algorithm from lambda calculus into combinatory logic -- Interlocking multi-agent and blackboard architectures -- A model theory for paraconsistent logic programming -- Promoting software reuse through explicit knowledge representations -- Efficient learning in Multi-Layered Perceptron using the Grow-And-Learn algorithm -- A non-diffident combinatorial optimization algorithm -- Modelling diagnosis systems with the logic programming -- Agreement: A logical approach to approximate reasoning -- Constructing extensions by resolving a system of linear equations -- Presenting significant information in expert system explanation -- A cognitive model of problem solving with incomplete information -- Filtering software specifications written in natural language -- Parsimonious Diagnosis in SNePS -- Syntactic and semantic filtering in a chart parser -- GA approach to solving Multiple Vehicle Routing Problem -- Multilevel refinement planning in an interval-based temporal logic. |
| Record Nr. | UNISA-996466099003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||