Searching for "A Constructive Semantics for ALC." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A constructive semantics for ALC
by Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
…A constructive semantics for ALC Loris Bozzato 1 , Mauro Ferrari 1 , Camillo Fiorentini 2 , Guido…
Cited by 2 (1 self) – Add To MetaCart

Actions over a constructive semantics for ALC
by Loris Bozzato, Mauro Ferrari, Paola Villa
…Actions over a constructive semantics for ALC Loris Bozzato, Mauro Ferrari, and Paola Villa…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB