TY  - BOOK
AU  - Raś,Zbigniew
AU  - Zemankova,Maria
ED  - International Symposium on Methodologies for Intelligent Systems
TI  - Methodologies for intelligent systems: 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings 
T2  - Lecture notes in computer science
SN  - 9783540384663
AV  - QA76.76.E95 I582 1991
U1  - 006.3/3 20
PY  - 1991///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Expert systems (Computer science)
KW  - Congresses
KW  - Artificial intelligence
KW  - Systèmes experts (Informatique)
KW  - Congrès
KW  - Intelligence artificielle
KW  - fast
KW  - Künstliche Intelligenz
KW  - gnd
KW  - Kongress
KW  - Expertensystem
KW  - Wissensbasiertes System
KW  - Wissensrepräsentation
KW  - Lernendes System
KW  - Adaptives System
KW  - Computersystemen
KW  - gtt
KW  - Kunstmatige intelligentie
KW  - ram
KW  - Logique symbolique et mathématique
KW  - Charlotte (NC)
KW  - 1991
KW  - Kongreß
KW  - Conference papers and proceedings
KW  - Congressen (vorm)
N1  - Includes bibliographical references; An architecture for pragmatic voice interactive systems -- A logic of relative desire -- Methodologies for data/knowledge/information engineering: Will the twain meet? -- Personal learning apprentices -- The roles of artificial intelligence in information systems -- Integrating variables and operations into rule-based forward chaining systems -- The multi-player version of minimax displays game-tree pathology -- Generalization handling in a dynamic case memory -- Knowledge based semantic query optimization -- Combining knowledge bases consisting of first order theories -- User profiles for information retrieval -- An approach to deriving object hierarchies from database schema and contents -- Multilevel interface to a distributed database system -- Efficient evaluation of linear recursions with function symbols in deductive databases -- Synthesizing efficient agents from partial programs -- Knowledge extraction from databases: Design principles of the INLEN system -- Stable model semantics for probabilistic deductive databases -- Towards implementing valuation based systems with relational databases -- On the representation of continuous causal relationships -- Process transition networks: A formal graphical knowledge representation tool -- Using normal deduction graphs in default reasoning -- A model of information sharing for fault-tolerant flexible manufacturing systems -- On interval-based temporal planning: An IQ strategy -- Percept conceptualizations and their knowledge representation schemes -- Combining time points and time intervals in a hybrid knowledge representation formalism -- An analysis of property-flow view vs individual-flow view of inheritance -- Semantic extensions to text retrieval -- Updates with equality: Beyond the Herbrand universe assumption -- Using genetic algorithms to improve the performance of classification rules produced by symbolic inductive methods -- Learning quantitative features in a symbolic environment -- Automatic acquisition of proper noun meanings -- Investigating the relationships between abduction and inverse resolution in propositional calculus -- Explanation-based learning helps acquire knowledge from natural language texts -- Hybrid pattern recognition system capable of self-modification -- Towards an adaptive information retrieval system -- Improving the comprehensibility, accuracy, and generality of reactive plans -- On the unknown attribute values in learning from examples -- A new system for inductive learning in attribute-based spaces -- Generation of classification rules -- Distance metrics for instance-based learning -- A study of crossover operators in genetic programming -- Input understanding as a basis for multistrategy task-adaptive learning -- Automated discovery of empirical equations from data -- Constructing models of hidden structure -- Amalgamated logic programming and non-monotonic reasoning -- WF 3: A semantics for negation in normal disjunctive logic programs -- Representation of mathematical knowledge -- Graded logics: A framework for uncertain and defeasible knowledge -- The strong semantics for logic programs -- Static Parallel Arc Consistency in constraint satisfaction -- Towards a theory of inductive logic programming -- Another view of autoepistemic logic and truth maintenance system -- Dynamic autoepistemic logic -- Nonmonotonic temporal reasoning: Persistence, justified causation and event minimization -- Novelty revisited -- Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning -- Resolution and path dissolution in multiple-valued logics -- How well are non-horn clauses handled? -- Fully deadline-coupled planning: One step at a time -- Completeness for propositional logic programs with negation -- Disjunctive logic programs and constraint processing -- Note on resolution circuits -- A semantic analysis of monotonic inheritance with roles and relations; Electronic reproduction; [Place of publication not identified]; HathiTrust Digital Library; 2012
N2  - This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte. The papers discuss topics in the following major areas: - Approximate reasoning, - Expert systems, - Intelligent databases, - Knowledge representation, - Learning and adaptive systems, - Logic for artificial intelligence. The goal of the symposium was to provide a platform for a useful exchange and cross-fertilization of ideas between theoreticians and practitioners in these areas
UR  - https://link.springer.com/10.1007/3-540-54563-8
ER  -