M. Truszczynski | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

L. Liu
4 publications
M. Denecker
2 publications
V. Marek
1 publication

research

∙ 09/30/2011

Properties and Applications of Programs with Monotone and Convex Constraints

We study properties of programs with monotone and convex constraints. We...

0 L. Liu, et al. ∙

research

∙ 01/12/1999

Fixpoint 3-valued semantics for autoepistemic logic

The paper presents a constructive fixpoint semantics for autoepistemic l...

0 M. Denecker, et al. ∙