Search open-access research in Arabic and English

arXiv 2003-12-12 EN

Modeling Object Oriented Constraint Programs in Z

Henocque, Laurent

arXiv 2002-01-23 EN

A Modal Logic Framework for Multi-agent Belief Fusion

Liau, Churn-Jung

arXiv 2000-03-07 EN

ACLP: Integrating Abduction and Constraint Solving

Kakas, Antonis