HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:logics

Papers
Smart Garbage Monitoring System
Akshita Goel and Amita Goel
EasyChair Preprint no. 2174
Automated Theorem Proving by Translation to Description Logic
Negin Arhami and Geoff Sutcliffe
EasyChair Preprint no. 126
Automated Theorem Proving by Translation to Description Logic
Negin Arhami and Geoff Sutcliffe
In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Copyright © 2012-2023 easychair.org. All rights reserved.