Showing 1 - 20 results of 137 for search '"automated reasoning"', query time: 0.46s Refine Results
  1. 1
    Automated reasoning : introduction and applications /

    Automated reasoning : introduction and applications / by Wos, Larry

    Published 1984
  2. 2
    Automated reasoning-alternative methods

    Automated reasoning-alternative methods by Perović Aleksandar, Stefanović Nedeljko, Milošević Miloš, Ilić Dejan

    Published 2004-01-01
    Get full text
    Article
  3. 3
    Handbook of practical logic and automated reasoning /

    Handbook of practical logic and automated reasoning / by 405883 Harrison, J. (John), 1966-

    Published 2009
  4. 4
    Automated reasoning about classical mechanics

    Automated reasoning about classical mechanics by Wong, Leon Chih Wen

    Published 2007
    Get full text
    Thesis
  5. 5
    Automated Reasoning About Classical Mechanics

    Automated Reasoning About Classical Mechanics by Wong, Leon

    Published 2004
    Get full text
  6. 6
    Automated reasoning : 33 basic research problems /

    Automated reasoning : 33 basic research problems / by 227665 Wos, Larry

    Published 1988
  7. 7
    Materialisation and data partitioning algorithms for distributed RDF systems

    Materialisation and data partitioning algorithms for distributed RDF systems by Ajileye, T

    Published 2021
    Subjects: “…Automated Reasoning…”
    Thesis
  8. 8
    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / by Kerber, Manfred, Kohlhase, Michael

    Published 2001
  9. 9
    Identifying novel drug indications through automated reasoning.

    Identifying novel drug indications through automated reasoning. by Luis Tari, Nguyen Vo, Shanshan Liang, Jagruti Patel, Chitta Baral, James Cai

    Published 2012-01-01
    “…However, this kind of approaches tends to generate too many hypotheses, and identifying new drug indications from large networks can be a time-consuming process.In this work, we developed a method that acquires the necessary facts from literature and knowledge bases, and identifies new drug indications through automated reasoning. This is achieved by encoding the molecular effects caused by drug-target interactions and links to various diseases and drug mechanism as domain knowledge in AnsProlog, a declarative language that is useful for automated reasoning, including reasoning with incomplete information. …”
    Get full text
    Article
  10. 10
    Automated Reasoning over Deontic Action Logics with Finite Vocabularies

    Automated Reasoning over Deontic Action Logics with Finite Vocabularies by Pablo F. Castro, Thomas S. E. Maibaum

    Published 2014-01-01
    Get full text
    Article
  11. 11
    Automated Reasoning Across Tactical Stories to Derive Lessons Learned

    Automated Reasoning Across Tactical Stories to Derive Lessons Learned by J. Wesley Regian, Michael Denny, Bill Desmedt, Laurie Waisel

    Published 2008-06-01
    Get full text
    Article
  12. 12
    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

    Published 2010
    Conference item
  13. 13
    Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure

    Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure by Christoph Benzmueller, Geoff Sutcliffe

    Published 2010-01-01
    Get full text
    Article
  14. 14
    Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies

    Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies by Luke T. Slater, Georgios V. Gkoutos, Robert Hoehndorf

    Published 2020-12-01
    Subjects:
    Get full text
    Article
  15. 15
    A String of Pearls: Proofs of Fermat's Little Theorem

    A String of Pearls: Proofs of Fermat's Little Theorem by Hing Lun Chan, Michael Norrish

    Published 2013-01-01
    Subjects:
    Get full text
    Article
  16. 16
    Consequence-based reasoning for the Description Logic SROIQ

    Consequence-based reasoning for the Description Logic SROIQ by Tena Cucala, DJ

    Published 2019
    Subjects: “…Knowledge Representation and Automated Reasoning…”
    Thesis
  17. 17
    K-NN based automated reasoning using bilateral filter based texture descriptor for computing texture classification

    K-NN based automated reasoning using bilateral filter based texture descriptor for computing texture classification by Sonali Dash, Manas Ranjan Senapati, Uma Ranjan Jena

    Published 2018-07-01
    Get full text
    Article
  18. 18
    Hammering towards QED

    Hammering towards QED by Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban

    Published 2016-01-01
    Subjects: “…Automated Reasoning…”
    Get full text
    Article
  19. 19
    Proofs to two inequality conjectures for a point on the plane of a triangle

    Proofs to two inequality conjectures for a point on the plane of a triangle by Fangjian Huang

    Published 2016-02-01
    Subjects:
    Get full text
    Article
  20. 20
    GEAR: A General Inference Engine for Automated MultiStrategy Reasoning

    GEAR: A General Inference Engine for Automated MultiStrategy Reasoning by Stefano Ferilli

    Published 2023-01-01
    Subjects: “…automated reasoning…”
    Get full text
    Article

Search Tools: