Showing 1 - 11 results of 11 for search '"Automated Reasoning"', query time: 0.04s Refine Results
  1. 1
    Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Published 2017
    Subjects: “…Automated reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Knowledge representation and reasoning
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  3. 3
    Οντολογίες και Περιγραφικές Λογικές
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  4. 4
    Οντολογίες και μοντέλα
    Subjects: “…Automated Reasoning…”
    Get full text
    Experiment
  5. 5
    Πρόσβαση σε δεδομένα με χρήση οντολογιών
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  6. 6
    Αυτόματη συλλογιστική σε οντολογίες
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  7. 7
    Σημασιολογικά δεδομένα και Παγκόσμιος Ιστός
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  8. 8
    Αναπαράσταση οντολογικής γνώσης και συλλογιστική
    Subjects: “…Automated Reasoning…”
    Get full text
    Get full text
    1
  9. 9
    Design, implementation, and evaluation of a framework for applying answer set programming in games
    Subjects: “…Automated reasoning…”
    Get full text
  10. 10
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Automated reasoning…”
    Get full text
    Technical Report
  11. 11
    Elementary engineering mechanics applications of the OTTER automated reasoning system
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Automated reasoning…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search