On the public citation graph
Reasoning and Revision in Hybrid Representation Systems
0 signed · 298 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1098-111x(199612)11:12<1115::aid-int5>3.0.co;2-qopenalex-snapshot
Hybrid architecture for shape reconstruction and object recognition
inferred← citeshttps://doi.org/10.1002/int.20030openalex-snapshot
A knowledge server for reasoning about temporal constraints between classes and instances of events
inferred← citeshttps://doi.org/10.1002/int.4550090103openalex-snapshot
A glance at revision and updating in knowledge bases
inferred← citeshttps://doi.org/10.1006/ijhc.1994.1053openalex-snapshot
Class library implementation of an open architecture knowledge support system
inferred← citeshttps://doi.org/10.1006/ijhc.1995.1083openalex-snapshot
An environment for reusing ontologies within a knowledge engineering approach
inferred← citeshttps://doi.org/10.1006/inco.2000.2878openalex-snapshot
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic
inferred← citeshttps://doi.org/10.1007/10722086_1openalex-snapshot
Tableau Algorithms for Description Logics
inferred← citeshttps://doi.org/10.1007/11424574_8openalex-snapshot
An Intuitive Tool for Constraint Based Grammars
inferred← citeshttps://doi.org/10.1007/11678564_10openalex-snapshot
A Constrained Object Model for Configuration Based Workflow Composition
inferred← citeshttps://doi.org/10.1007/11853886_32openalex-snapshot
Knowledge Base Revision in Description Logics
inferred← citeshttps://doi.org/10.1007/3-540-36109-x_5openalex-snapshot
A Class-Based Logic Language for Ontologies
inferred← citeshttps://doi.org/10.1007/3-540-36468-4_8openalex-snapshot
Learnability of Description Logic Programs
inferred← citeshttps://doi.org/10.1007/3-540-44469-6_52openalex-snapshot
A Description Logics-Like Model for a Knowledge and Data Management System
inferred← citeshttps://doi.org/10.1007/3-540-45422-5_4openalex-snapshot
Approximating Most Specific Concepts in Description Logics with Existential Restrictions
inferred← citeshttps://doi.org/10.1007/3-540-45486-1_10openalex-snapshot
On the Integration of Recursive $$ \mathcal{A}\mathcal{L}\mathcal{N} $$ -Theories
inferred← citeshttps://doi.org/10.1007/3-540-45654-6_12openalex-snapshot
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
inferred← citeshttps://doi.org/10.1007/3-540-46238-4_32openalex-snapshot
Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach
inferred← citeshttps://doi.org/10.1007/3-540-48159-1_7openalex-snapshot
Is $$ \mathcal{P}\mathcal{L}_2 $$ a Tractable Language?
inferred← citeshttps://doi.org/10.1007/3-540-48317-9_2openalex-snapshot
Logic-Based Knowledge Representation
inferred← citeshttps://doi.org/10.1007/3-540-48720-4_28openalex-snapshot
Representing Knowledge Levels in Clinical Guidelines
inferred← citeshttps://doi.org/10.1007/3-540-49653-x_27openalex-snapshot
Semantic Structuring and Visual Querying of Document Abstracts in Digital Libraries
inferred← citeshttps://doi.org/10.1007/3-540-52337-6_21openalex-snapshot
Representation and reasoning with attributive descriptions
inferred← citeshttps://doi.org/10.1007/3-540-52885-7_87openalex-snapshot
A resolution principle for clauses with constraints
inferred← citeshttps://doi.org/10.1007/3-540-53557-8_21openalex-snapshot
Database support for knowledge representation?
inferred← citeshttps://doi.org/10.1007/3-540-53557-8_27openalex-snapshot
Terminological reasoning and information management
inferred← citeshttps://doi.org/10.1007/3-540-54594-8_74openalex-snapshot
Attributive description formalisms ... and the rest of the world
inferred← citeshttps://doi.org/10.1007/3-540-54659-6_89openalex-snapshot
A hybrid approach for modeling uncertainty in terminological logics
inferred← citeshttps://doi.org/10.1007/3-540-54712-6_213openalex-snapshot
Knowledge-based media coordination in intelligent user interfaces
inferred← citeshttps://doi.org/10.1007/3-540-54712-6_221openalex-snapshot
A hybrid system with datalog and concept languages
inferred← citeshttps://doi.org/10.1007/3-540-54712-6_249openalex-snapshot
Introducing knowledge representation techniques in database models
inferred← citeshttps://doi.org/10.1007/3-540-55801-2_28openalex-snapshot
Representation of semantic knowledge with term subsumption languages
inferred← citeshttps://doi.org/10.1007/3-540-56602-3_128openalex-snapshot
On the proper definition of minimality in specialization and theory revision
inferred← citeshttps://doi.org/10.1007/3-540-56804-2_16openalex-snapshot
Terminological logic involving time and evolution: A preliminary report
inferred← citeshttps://doi.org/10.1007/3-540-56868-9_3openalex-snapshot
Bi-rewriting, a term rewriting technique for monotonic order relations
inferred← citeshttps://doi.org/10.1007/3-540-56979-0_2openalex-snapshot
Representation, discourse, logic and truth: Situating knowledge technology
inferred← citeshttps://doi.org/10.1007/3-540-57287-2_42openalex-snapshot
Towards complete answers in concept languages
inferred← citeshttps://doi.org/10.1007/3-540-57287-2_50openalex-snapshot
A unified approach to default reasoning and belief revision
inferred← citeshttps://doi.org/10.1007/3-540-57292-9_49openalex-snapshot
Reasoning with individuals in concept languages
inferred← citeshttps://doi.org/10.1007/3-540-58107-3_7openalex-snapshot
Queries, rules and definitions as epistemic sentences in concept languages
inferred← citeshttps://doi.org/10.1007/3-540-58156-1_23openalex-snapshot
On intuitionistic query answering in description bases
inferred← citeshttps://doi.org/10.1007/3-540-58330-0_108openalex-snapshot
A first study on case-based planning in organic synthesis
inferred← citeshttps://doi.org/10.1007/3-540-58487-0_11openalex-snapshot
KARO: An integrated environment for reusing ontologies
inferred← citeshttps://doi.org/10.1007/3-540-58786-1_91openalex-snapshot
Using queries to improve database reverse engineering
inferred← citeshttps://doi.org/10.1007/3-540-60343-3_31openalex-snapshot
Task acquisition with a description logic reasoner
inferred← citeshttps://doi.org/10.1007/3-540-60437-5_28openalex-snapshot
Knowledge representation for robotic vision based on conceptual spaces and attentive mechanisms
inferred← citeshttps://doi.org/10.1007/3-540-60437-5_30openalex-snapshot
A cognitive hybrid model for autonomous navigation
inferred← citeshttps://doi.org/10.1007/3-540-60608-4_55openalex-snapshot
Combining resolution and classification for semantic query optimization in DOOD
inferred← citeshttps://doi.org/10.1007/3-540-61286-6_132openalex-snapshot
Learning composite concepts in description logics: A first step
inferred← citeshttps://doi.org/10.1007/3-540-61732-9_50openalex-snapshot
Compromised updates in labelled databases
inferred← citeshttps://doi.org/10.1007/3-540-63576-9_123openalex-snapshot
Reasoning with behavioural knowledge in application domain models
inferred← citeshttps://doi.org/10.1007/3-540-63797-4_76openalex-snapshot
Describing plan recognition as nonmonotonic reasoning and belief revision
inferred← citeshttps://doi.org/10.1007/3540634932_20openalex-snapshot
Constraining the acquisition of concepts by the quality of heterogeneous evidence
inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_2openalex-snapshot
Semantic-Oriented Description Techniques for Network Management Information Modeling
inferred← citeshttps://doi.org/10.1007/978-0-387-35192-6_4openalex-snapshot
A formal theory for knowledge-based product model representation
inferred← citeshttps://doi.org/10.1007/978-1-4020-7829-3_11openalex-snapshot
Knowledge Based Systems Technology and Applications in Image Retrieval
inferred← citeshttps://doi.org/10.1007/978-1-4471-0651-7_9openalex-snapshot
A Hybrid KRS to Treat Fuzzy and Taxonomic Knowledge
inferred← citeshttps://doi.org/10.1007/978-1-4471-1486-4_17openalex-snapshot
Cooperative Recognition of Interdatabase Dependencies
inferred← citeshttps://doi.org/10.1007/978-1-4471-3207-3_30openalex-snapshot
Terminological Representation and Reasoning in TERM-KRAM
inferred← citeshttps://doi.org/10.1007/978-1-4471-4186-0_4openalex-snapshot
Classical Belief Revision
inferred← citeshttps://doi.org/10.1007/978-1-4615-5965-8_19openalex-snapshot
Panel Summary: Knowledge Model Representations
inferred← citeshttps://doi.org/10.1007/978-3-030-02508-3_12openalex-snapshot
Generating Armstrong ABoxes for $$\mathcal {ALC}$$ ALC TBoxes
inferred← citeshttps://doi.org/10.1007/978-3-030-52167-7_7openalex-snapshot
Inferring Logical Clauses for Answering Complex Multi-hop Open Domain Questions
inferred← citeshttps://doi.org/10.1007/978-3-030-77867-5_2openalex-snapshot
Fixed-Point Semantics for Barebone Relational Concept Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-23161-2_300700openalex-snapshot
Knowledge Representation and Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-319-07650-8_10openalex-snapshot
Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-319-62701-4_26openalex-snapshot
Mining Frequent Subgraph Pattern Over a Collection of Attributed-Graphs and Construction of a Relation Hierarchy for Result Reporting
inferred← citeshttps://doi.org/10.1007/978-3-319-90596-9_1openalex-snapshot
Parallelization of Conjunctive Query Answering over Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-322-86825-1_15openalex-snapshot
The Semantics of Imprecision in Terminological Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-30475-3_31openalex-snapshot
Knowledge-Intensive Induction of Terminologies from Metadata
inferred← citeshttps://doi.org/10.1007/978-3-540-30549-1_23openalex-snapshot
A Classification of Ontology Modification
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_14openalex-snapshot
Description Logics as Ontology Languages for the Semantic Web
inferred← citeshttps://doi.org/10.1007/978-3-540-36562-4_48openalex-snapshot
Ontology Learning from Text: Tasks and Challenges for Machine Learning (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-540-39451-8_6openalex-snapshot
The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics
inferred← citeshttps://doi.org/10.1007/978-3-540-45091-7_7openalex-snapshot
Description Logics for Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-540-45224-9_15openalex-snapshot
Combining Revision Production Rules and Description Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-69912-5_15openalex-snapshot
On the Scalability of Description Logic Instance Retrieval
inferred← citeshttps://doi.org/10.1007/978-3-540-74782-6_8openalex-snapshot
Understanding the Environment Through Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-74972-1_43openalex-snapshot
Knowledge Extraction from Environmental Data Through a Cognitive Architecture
inferred← citeshttps://doi.org/10.1007/978-3-540-77688-8_3openalex-snapshot
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-540-88737-9_7openalex-snapshot
A Survey of Revision Approaches in Description Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-04617-9_46openalex-snapshot
A Structuralistic Approach to Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-642-11928-6_11openalex-snapshot
An Algorithm for Extracting Rare Concepts with Concise Intents
inferred← citeshttps://doi.org/10.1007/978-3-642-23580-1_11openalex-snapshot
Reasoning as Axioms Change
inferred← citeshttps://doi.org/10.1007/978-3-642-23851-2_18openalex-snapshot
Agents’ Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions
inferred← citeshttps://doi.org/10.1007/978-3-642-31365-3_6openalex-snapshot
UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
inferred← citeshttps://doi.org/10.1007/978-3-642-38610-7_35openalex-snapshot
Multi-Agent Temporary Logic $ TS4^U_{K_n}$ Based at Non-linear Time and Imitating Uncertainty via Agents’ Interaction
inferred← citeshttps://doi.org/10.1007/978-3-642-38812-5_11openalex-snapshot
A Declarative Modeling Language for Concept Learning in Description Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-46752-3_1openalex-snapshot
Knowledge-based Generation of Illustrated Documents
inferred← citeshttps://doi.org/10.1007/978-3-642-57217-3_5openalex-snapshot
Terminologische Merkmalslogik in Der Formalen Begriffsanalyse
inferred← citeshttps://doi.org/10.1007/978-3-642-58146-5_7openalex-snapshot
WIP: The Coordinated Generation of Multimodal Presentations from a Common Representation
inferred← citeshttps://doi.org/10.1007/978-3-642-78545-0_19openalex-snapshot
Neuere Entwicklungen der deklarativen KI-Programmierung
inferred← citeshttps://doi.org/10.1007/978-3-642-80098-6_30openalex-snapshot
On the Relationship between Description Logics and Conceptual Graphs with some References to the Medical Domain
inferred← citeshttps://doi.org/10.1007/978-3-642-87955-5_7openalex-snapshot
Frames - Plan-orientierte Programmierung (Klassifikation)
inferred← citeshttps://doi.org/10.1007/978-3-662-02711-0_20openalex-snapshot
Model Representation and Taxonomic Reasoning in Configuration Problem Solving
inferred← citeshttps://doi.org/10.1007/978-3-663-05970-7_4openalex-snapshot
Frame-artige Repräsentationsformate
inferred← citeshttps://doi.org/10.1007/978-94-010-9733-8_2openalex-snapshot
Fully Incremental Parsing
inferred← citeshttps://doi.org/10.1007/978-94-011-5054-5_3openalex-snapshot
How Hard is it to Revise a Belief Base?
inferred← citeshttps://doi.org/10.1007/978-94-015-9093-8_31openalex-snapshot
Molecular Scene Analysis and Its Role in Protein Structure Determination
inferred← citeshttps://doi.org/10.1007/978-94-015-9817-0_19openalex-snapshot
Iterated Syntax-Based Revision in a Nonmonotonic Setting
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_5openalex-snapshot
A Compromise Revision Model for Reconciling Updates
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_8openalex-snapshot
Making Knowledge-Based Systems More Manageable: A Hybrid Integration Approach to Knowledge about Actions and their Legality
inferred← citeshttps://doi.org/10.1007/978-94-017-2798-3_14openalex-snapshot
Translating Graded Modalities into Predicate Logics
inferred← citeshttps://doi.org/10.1007/bf00872105openalex-snapshot
Am empirical analysis of optimization techniques for terminological representation systems
inferred← citeshttps://doi.org/10.1007/bf00872108openalex-snapshot
Acquisition and validation of complex object database schemata supporting multiple inheritance
inferred← citeshttps://doi.org/10.1007/bf00962071openalex-snapshot
On the complexity of the instance checking problem in concept languages with existential quantification
inferred← citeshttps://doi.org/10.1007/bf00993382openalex-snapshot
Machine Discovery of Protein Motifs
inferred← citeshttps://doi.org/10.1007/bf01535840openalex-snapshot
The F-logic approach for description languages
inferred← citeshttps://doi.org/10.1007/bf02127745openalex-snapshot
Consistency checking reduced to satisfiability of concepts in terminological systems
inferred← citeshttps://doi.org/10.1007/bf02127747openalex-snapshot
Using automata theory for characterizing the semantics of terminological cycles
inferred← citeshttps://doi.org/10.1007/bf02997706openalex-snapshot
ISDN supplementary services specifications: From informality to knowledge representation
inferred← citeshttps://doi.org/10.1007/bfb0013522openalex-snapshot
A terminological knowledge representation system with complete inference algorithms
inferred← citeshttps://doi.org/10.1007/bfb0013523openalex-snapshot
An introduction to dynamic concept systems
inferred← citeshttps://doi.org/10.1007/bfb0013525openalex-snapshot
Subsumption computation in an object-oriented data model
inferred← citeshttps://doi.org/10.1007/bfb0018999openalex-snapshot
Extensions of concept languages for a mechanical engineering application
inferred← citeshttps://doi.org/10.1007/bfb0019000openalex-snapshot
Combining terminological and rule-based reasoning for abstraction processes
inferred← citeshttps://doi.org/10.1007/bfb0021892openalex-snapshot
Introducing taxonomic reasoning in LOGIDATA+
inferred← citeshttps://doi.org/10.1007/bfb0021982openalex-snapshot
Description Logics with inverse roles, functional restrictions, and n-ary relations
inferred← citeshttps://doi.org/10.1007/bfb0022041openalex-snapshot
Relational database reverse engineering and terminological reasoning
inferred← citeshttps://doi.org/10.1007/bfb0022070openalex-snapshot
Text knowledge engineering by qualitative terminological learning
inferred← citeshttps://doi.org/10.1007/bfb0023423openalex-snapshot
Deriving inference rules for terminological logics
inferred← citeshttps://doi.org/10.1007/bfb0025004openalex-snapshot
A terminological language for representing complex knowledge
inferred← citeshttps://doi.org/10.1007/bfb0026782openalex-snapshot
An empirical evaluation of a system for text knowledge acquisition
inferred← citeshttps://doi.org/10.1007/bfb0027425openalex-snapshot
A sequent calculus for reasoning in four-valued Description Logics
inferred← citeshttps://doi.org/10.1007/bfb0027878openalex-snapshot
Conceptual graphs and formal concept analysis
inferred← citeshttps://doi.org/10.1007/bfb0028183openalex-snapshot
A practical system for defeasible reasoning and belief revision
inferred← citeshttps://doi.org/10.1007/bfb0031857openalex-snapshot
Coalition formation among rational information agents
inferred← citeshttps://doi.org/10.1007/bfb0054902openalex-snapshot
Matching in description logics: Preliminary results
inferred← citeshttps://doi.org/10.1007/bfb0054913openalex-snapshot
Towards correspondences between Conceptual Graphs and Description Logics
inferred← citeshttps://doi.org/10.1007/s10817-008-9104-7openalex-snapshot
On the Scalability of Description Logic Instance Retrieval
inferred← citeshttps://doi.org/10.1007/s10992-011-9178-2openalex-snapshot
On AGM for Non-Classical Logics
inferred← citeshttps://doi.org/10.1007/s11432-008-0101-6openalex-snapshot
Satisfiability and reasoning mechanism of terminological cycles in description logic % MathType!MTEF!2!1!+- % feaagaart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqipC0df9qqqrpepC0xbbL8F4rqqrpepeea0xe9Lq-lc9 %…
inferred← citeshttps://doi.org/10.1016/0004-3702(91)90078-xopenalex-snapshot
Attributive concept descriptions with complements
inferred← citeshttps://doi.org/10.1016/0004-3702(92)90055-3openalex-snapshot
An order-sorted logic for knowledge representation systems
inferred← citeshttps://doi.org/10.1016/0004-3702(92)90076-aopenalex-snapshot
The complexity of existential quantification in concept languages
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90027-2openalex-snapshot
A resolution principle for constrained logics
inferred← citeshttps://doi.org/10.1016/0004-3702(95)00113-1openalex-snapshot
Planning from second principles
inferred← citeshttps://doi.org/10.1016/0169-023x(94)90002-7openalex-snapshot
Reasoning with individuals in concept languages
inferred← citeshttps://doi.org/10.1016/0169-023x(94)90021-3openalex-snapshot
An intensional semantics for a hybrid language
inferred← citeshttps://doi.org/10.1016/0169-023x(94)90040-xopenalex-snapshot
The E/S knowledge representation system
inferred← citeshttps://doi.org/10.1016/0743-1066(92)90039-6openalex-snapshot
Feature-constraint logics for unification grammars
inferred← citeshttps://doi.org/10.1016/0898-1221(92)90123-yopenalex-snapshot
Prototypes in a hybrid language with primitive descriptions
inferred← citeshttps://doi.org/10.1016/0950-5849(94)90054-xopenalex-snapshot
Hierarchical censored production rules (HCPRs) system employing the dempster-shafer uncertainty calculus
inferred← citeshttps://doi.org/10.1016/0957-4174(94)e0028-sopenalex-snapshot
Consistency of structured knowledge: A formal framework based on description logics
inferred← citeshttps://doi.org/10.1016/b978-012444816-2/50014-9openalex-snapshot
Hybrid Computation and Reasoning for Artificial Vision
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50140-8openalex-snapshot
A Framework for Part-of Hierarchies in Terminological Logics
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50142-1openalex-snapshot
Terminological Cycles and the Propositional μ-Calculus**This work was supported by a grant from the Deutsche Forschungsgemeinschaft (DFG).
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50008-8openalex-snapshot
Information acquisition from multi-agent resources
inferred← citeshttps://doi.org/10.1016/b978-1-55860-247-2.50019-xopenalex-snapshot
Spatial analogy and subsumption
inferred← citeshttps://doi.org/10.1016/b978-1-55860-332-5.50044-4openalex-snapshot
Probabilistic Description Logics
inferred← citeshttps://doi.org/10.1016/b978-1-55860-932-7.x5083-3openalex-snapshot
Knowledge representation and reasoning
inferred← citeshttps://doi.org/10.1016/j.artint.2022.103785openalex-snapshot
Logical separability of labeled data examples under ontologies
inferred← citeshttps://doi.org/10.1016/j.datak.2010.02.001openalex-snapshot
Advanced knowledge-based systems
inferred← citeshttps://doi.org/10.1016/j.engappai.2006.01.014openalex-snapshot
Case-base maintenance by conceptual clustering of graphs
inferred← citeshttps://doi.org/10.1016/j.fss.2011.02.012openalex-snapshot
On the failure of the finite model property in some Fuzzy Description Logics
inferred← citeshttps://doi.org/10.1016/j.ijhcs.2005.02.003openalex-snapshot
Knowledge editing and maintenance tools for a semantic portal in oncology
inferred← citeshttps://doi.org/10.1016/j.isprsjprs.2003.09.002openalex-snapshot
Object extraction and revision by image analysis using existing geodata and knowledge: current status and steps towards operational systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.03.010openalex-snapshot
On model checking multiple hybrid views
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00010-0openalex-snapshot
Cardinality restrictions on concepts
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00039-2openalex-snapshot
A cognitive architecture for artificial vision
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00053-7openalex-snapshot
Defeasible inheritance on cyclic networks
inferred← citeshttps://doi.org/10.1016/s0004-3702(97)00079-9openalex-snapshot
A refined architecture for terminological systems: Terminology = Schema + Views
inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00009-5openalex-snapshot
An epistemic operator for description logics
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00011-9openalex-snapshot
Modal logics, description logics and arithmetic reasoning
inferred← citeshttps://doi.org/10.1016/s0010-4809(05)80002-3openalex-snapshot
Effective domain-dependent reuse in medical knowledge bases
inferred← citeshttps://doi.org/10.1016/s0083-6656(96)00029-3openalex-snapshot
Innovative modelling techniques in computer vision
inferred← citeshttps://doi.org/10.1016/s0169-023x(01)00032-5openalex-snapshot
– a dialog based integration of concept and rule reasoners
inferred← citeshttps://doi.org/10.1016/s0169-023x(96)00020-1openalex-snapshot
Incoherence and subsumption for recursive views and queries in object-oriented data models
inferred← citeshttps://doi.org/10.1016/s0169-023x(96)00036-5openalex-snapshot
Time-dependent concepts: representation and reasoning using temporal description logics
inferred← citeshttps://doi.org/10.1016/s0306-4379(03)00003-6openalex-snapshot
Description logics with aggregates and concrete domains
inferred← citeshttps://doi.org/10.1016/s0921-8890(02)00358-5openalex-snapshot
Anchoring symbols to conceptual spaces: the case of dynamic scenarios
inferred← citeshttps://doi.org/10.1016/s0921-8890(98)00052-9openalex-snapshot
An architecture for autonomous agents exploiting conceptual representations
inferred← citeshttps://doi.org/10.1016/s0923-0459(97)80010-9openalex-snapshot
Parallel propagation in the description-logic system FLEX
inferred← citeshttps://doi.org/10.1016/s0924-2716(99)00040-4openalex-snapshot
Modelling and representation issues in automated feature extraction from aerial and satellite images
inferred← citeshttps://doi.org/10.1016/s0933-3657(01)00087-2openalex-snapshot
A modular approach for representing and executing clinical guidelines
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03003-9openalex-snapshot
Chapter 3 Description Logics
inferred← citeshttps://doi.org/10.1016/s1574-9576(06)80009-2openalex-snapshot
Chapter 7 Uncertainty and description logic programs over lattices
inferred← citeshttps://doi.org/10.1017/cbo9780511526664.001openalex-snapshot
Belief revision: An introduction
inferred← citeshttps://doi.org/10.1017/cbo9780511983474.023openalex-snapshot
The dynamics of belief systems: Foundations versus coherence theories
inferred← citeshttps://doi.org/10.1023/a:1005866922570openalex-snapshot
Automated Deduction Techniques for Classification in Description Logic Systems
inferred← citeshttps://doi.org/10.1023/a:1008272013974openalex-snapshot
A Goal-Dependent Abstraction for Legal Reasoning by Analogy
inferred← citeshttps://doi.org/10.1023/a:1008308620177openalex-snapshot
Infobase Change: A First Approximation
inferred← citeshttps://doi.org/10.1023/a:1008731702009openalex-snapshot
Representing and Reasoning on Conceptual Queries Over Image Databases
inferred← citeshttps://doi.org/10.1023/a:1011081305027openalex-snapshot
A Survey on Case-Based Planning
inferred← citeshttps://doi.org/10.1023/a:1013882326814openalex-snapshot
An Overview of Tableau Algorithms for Description Logics
inferred← citeshttps://doi.org/10.1023/a:1014897210525openalex-snapshot
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
inferred← citeshttps://doi.org/10.1023/a:1020145906546openalex-snapshot
A Knowledge-Based Approach to Visual Information
inferred← citeshttps://doi.org/10.1023/a:1022626200450openalex-snapshot
A Polynomial Approach to the Constructive Induction of Structural Knowledge
inferred← citeshttps://doi.org/10.1023/a:1022911730013openalex-snapshot
Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry
showing the first 200 of 298 · page through all 298
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.