Browsing LERO - The Irish Software Research Centre by Subject "knowledge respresentation"

Now showing items 1-2 of 2

Efficient reasoning with ambient trees for space exploration

Vassev, Emil; Hinchey, Mike (Springer, 2012)

Modern reasoning is based on inference techniques such as induction, deduction, abduction, subsumption, classification and recognition. These inference techniques are very inefficient when applied to large amounts of ...
Soft constraints for KnowLang

Montanari, Ugo; Vassev, Emil (Association for Computing Machinery, 2012)

Constraints are widely used in information technologies and research elds such as programming languages, arti cial in- telligence, databases, information security, web technologies, etc. In this paper, we present our ...

DSpace Repository