scientific article

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

semantics expert systems knowledge-based systems psychology cognitive science philosophy information processing linguistics conceptual graph formal deduction language understanding natural language systems reasoning and computation

Mathematics Subject Classification ID

Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Information storage and retrieval of data (68P20)

Related Items

Automated fuzzy and probabilistic inference, Distinguished representatives for equivalent labelled stratified graphs and applications, Conceptual Navigation in Large Knowledge Graphs, Different kinds of models to integrate the OR-expert's knowledge into decision support systems, Neural networks and heuristic search, Fuzzy semantic analysis and formal specification of conceptual knowledge, AN INDIVIDUAL-BASED NETWORKED MODEL WITH PROBABILISTIC RELOCATION OF PEOPLE AND VECTORS AMONG LOCATIONS FOR SIMULATING THE SPREAD OF INFECTIOUS DISEASES, Peirce and the logical status of diagrams, Worlds, models and descriptions, A multi-level geometric reasoning system for vision, Model construction operators, On generalization/specialization for conceptual graphs, A general approach to the measurement of change in fuzzy concept lattices, Knowledge representation, the world wide web, and the evolution of logic, Dynamic reasoning with qualified syllogisms, Unnamed Item, Fuzzy constraint satisfaction problem for model-based image interpretation, Representation of weakly structured imprecise data for fuzzy querying., Projection: A unification procedure for tableaux in Conceptual Graphs, On locally presented posets, UTILIZING LOCAL CONTEXT FOR EFFECTIVE INFORMATION RETRIEVAL, On rules with existential variables: walking the decidability line, Introduction to graph grammars with applications to semantic networks, On formalisms, Affect control theory: Concepts and model, Analogical reasoning of organic reactions based on the structurized compound-reaction diagram, Type theoretic semantics for SemNet, On-line computation of minimal and maximal length paths, University timetabling through conceptual modeling, Modeling event structures*, Semantic networks, Conceptual graphs as a universal knowledge representation, Subsumption computed algebraically, A design approach for constructing engineering scenario maps, A uniform representation for time and space and their mutual constraints, Completing sort hierarchies, Pattern associativity and the retrieval of semantic networks, Declarative operations on nets, The existential graphs, Valental aspects of Peircean algebraic logic, Foliated semantic networks: Concepts, facts, qualities, The descriptive component of a hybrid knowledge representation language, Syllogisms in rudimentary linear logic, diagrammatically, AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism, Fuzzy logic as a basis for reusing task-based specifications, Reasoning with contextual graphs., Enhancing multi-document summarization using concepts, Database semantics for natural language, Graph-FCA: an extension of formal concept analysis to knowledge graphs, Conjunctive query pattern structures: a relational database model for formal concept analysis, John Cage's Silent Piece and the Japanese gardening technique of shakkei: Formalizing Whittington's conjecture through conceptual graphs, A descriptive type foundation for RDF Schema, Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach, Cognitive Approach in an Icon-based Human-Computer Interface Design, Semantics for existential graphs, Equivalences in Euler-based diagram systems through normal forms, Annotated fuzzy logic programs, From actantial model to conceptual graph: Thematized action in John Cage's 0′00′(4′33′′No. 2), Formal ontology: Foundation of domain knowledge sharing and reusing, Fuzzy types: A framework for handling uncertainty about types of objects, A mathematical approach to semantic network development, Predicate logic with flexibly binding operators and natural language semantics