Attribut:Title
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
A Database Approach for Modeling and Querying Video Data +
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions +
A Description Logic Based Approach to Reasoning about Web Services +
A Description Logic Primer +
A Description Logic Primer +
A Description Logic for Vague Knowledge +
A Description Logic for Vague Knowledge +
A Description Logic of Change +
A Description Logic with Concrete Domains and Role-forming Predicates +
A Description Logic with Transitive and Converse Roles and Role Hierarchies +
A Description Logic with Transitive and Converse Roles and Role Hierarchies +
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem +
A Finitary System for First Order Logic +
A Finite Basis for the Set of EL-Implications Holding in a Finite Model +
A First Order System with Finite Choice of Premises +
