Publications

Publications

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Author/Editor

Year

Title

Type

data structures

Database query languages

decidability

Decidability of logical theories

decidable classes

decidable first-order fragments

decidable fragments

Decision complexity of logical theories

decision problem

decision procedures

declared logics

deduction-based program synthesis

Deduction Problem

deduction theorem

deductive program development

deductive systems

deductive tableau

default logic

Deontic Logic

derived rules

Description Logic

Description Logics

diagnosis

direct search

directed graphs

Disconnection Calculus

discrete-time hybrid systems

Distributive Lattices

Distributive Lattices with Operators

divisible torsion-free abelian groups