A Simple and Practical Valuation Tree Calculus for First-Order Logic
Modely konkurentnÃ½ch systÃ©mov FormÃ¡lne metÃ³dy tvorby softvÃ©ru
Towards Typed Higher-Order Description Logics
Rethinking Semantics of Dynamic Logic Programming
Enhancing a Multi-Agent System with Evolving Logic ... - centria
Towards Formal Comparison of Ontology Linking, Mapping and ...
Rapid Object Detection using a Boosted Cascade of Simple Features