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

Get full text

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

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

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

Subjects: Get full text

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

Subjects: Get full text

Knowledge-Based Decision Support in Healthcare via Near Field Communication by Giuseppe Loseto, Floriano Scioscia, Michele Ruta, Filippo Gramegna, Saverio Ieva, Agnese Pinto, Crescenzio Scioscia

Subjects: Get full text

An Integrated GIS-Expert System Framework for Live Hazard Monitoring and Detection by Steven M. Rozic, Phil A. Graniero, James D. McCarthy

Subjects: Get full text

The "never-proved" triangle inequality: A GeoGebra & CAS approach by Zoltán Kovács, Tomás Recio, Carlos Ueno, Róbert Vajda

Subjects: Get full text

Argument-based inductive logics, with coverage of compromised perception by Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu, John Slowik, James Oswald, Paul Bello, Micah Clark

Subjects: Get full text

Legal linguistic templates and the tension between legal knowledge representation and reasoning by Tomer Libal

Subjects: “…automated reasoning…”
Get full text

‎Role of Fuzzy Sets on Artificial Intelligence Methods‎: ‎A literature Review by Cengiz Kahraman, Sezi Onar, Basar Oztaysi, Selcuk Cebi

Subjects: Get full text

Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers by Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer

Subjects: Get full text

Dealing with Degeneracies in Automated Theorem Proving in Geometry by Zoltán Kovács, Tomas Recio, Luis F. Tabera, M. Pilar Vélez

Subjects: Get full text

Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools by Tomás Recio, Rafael Losada, Zoltán Kovács, Carlos Ueno

Subjects: Get full text

Design Smart Games with requirements, generate them with a Click, and revise them with a GUIs by Rosella GENNARI, Pierpaolo VITTORINI, Tania di MASCIO, Fernando DE LA PRIETA, Vincenza COFINI

Subjects: Get full text

Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival) by Rinard, Martin C.

“…In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, and verification system. …”
Get full text
Get full text

Logical Gene Ontology Annotations (GOAL): exploring gene ontology annotations with OWL by Jupp Simon, Stevens Robert, Hoehndorf Robert

“…OWL in combination with automated reasoning can be effectively used to query across ontologies to ask biologically rich questions. …”

Assumption-based argumentation with preferences and goals for patient-centric reasoning with interacting clinical guidelines by Kristijonas Čyras, Tiago Oliveira, Amin Karamlou, Francesca Toni

“… A paramount, yet unresolved issue in personalised medicine is that of automated reasoning with clinical guidelines in multimorbidity settings. …”
Get full text

An Integrated Proof Language for Imperative Programs by Zee, Karen, Kuncak, Viktor, Rinard, Martin C.

“…Our experience indicates that our proof language makes it possible to successfully prove complex program correctness properties that are otherwise beyond the reach of automated reasoning systems.…”
Get full text
Get full text