Automated reasoning : introduction and applications / by Wos, Larry

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

Get full text

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

Automated reasoning about classical mechanics by Wong, Leon Chih Wen

Get full text

Automated Reasoning About Classical Mechanics by Wong, Leon

Get full text

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

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

Subjects: “…Automated Reasoning…”

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

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

“…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

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

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

Subjects: “…Knowledge Representation and Automated Reasoning…”

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

Subjects: “…automated reasoning…”
Get full text

Inferring ontology graph structures using OWL reasoning by Miguel Ángel Rodríguez-García, Robert Hoehndorf

Subjects: Get full text

Ontology module extraction and applications to ontology classification by Armas Romero, A

Subjects:

A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1) by Kazakov, Y, Motik, B

A review of data abstraction by Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi

Subjects: Get full text

A labelled sequent calculus for BBI : proof theory and proof search by Hóu, Zhé, Goré, Rajeev, Tiu, Alwen

Subjects: Get full text

Consequence-based reasoning for SRIQ ontologies by Bate, A

Subjects:

LPG-Based Knowledge Graphs: A Survey, a Proposal and Current Trends by Davide Di Pierro, Stefano Ferilli, Domenico Redavid

Subjects: Get full text

Lifting Transformations by McAllester, David, Siskind, Jeffrey

Subjects: Get full text