Results 261 to 268 of about 4,114 (268)

Expressive Description Logics

2007
DIEGO CALVANESE, DE GIACOMO, Giuseppe
openaire   +2 more sources

A survey on temporal logics for specifying and verifying real-time systems

Frontiers of Computer Science, 2013
Savas KONUR
exaly  

A logic for data description

1989
Dmitry A. Archangelsky, Mikhail A. Taitslin   +1 more
openaire   +1 more source

Logics of Justification and Logics of Action

Journal of Economic Issues, 2008
David Dequech
exaly  

Description Logics with Circumscription.

2006
BONATTI, PIERO ANDREA, CARSTEN LUTZ, FRANK WOLTER   +2 more
openaire   +2 more sources

Description and/or Hybrid Logics

2000
Areces, C.E., de Rijke, M.
openaire   +2 more sources

Classifying Description Logics.

1997
Kurtonina, N., de Rijke, M.
openaire   +2 more sources

Hybridization of Description Logics and Logic Programming

openaire   +1 more source