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

Self-reported data for mental workload modelling in human-computer interaction and third-level education by Lucas Rizzo, Luca Longo

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

Grammar Rewriting by McAllester, David

Subjects: Get full text

Formal methods in software development: A road less travelled by John A van der Poll

Subjects: “…Automated reasoning…”
Get full text

α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems by Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu, Xiaodong Pan

Subjects: “…automated reasoning…”
Get full text

Computer Science and Metaphysics: A Cross-Fertilization by Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.

Subjects: Get full text

Tractable Inference Relations by Givan, Robert, McAllester, David

Subjects: 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

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X) by Jiafeng Zhang, Yang Xu, Xingxing He

Subjects: “…Automated reasoning…”
Get full text

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic by Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Subjects: “…Automated reasoning…”
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

α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic by Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen

Subjects: “…resolution-based automated reasoning…”
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

α-Minimal Resolution Principle For A Lattice-Valued Logic by Hairui Jia, Yang Xu, Yi Liu, Jun Liu

Subjects: “…Automated reasoning…”
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

Interoperability between biomedical ontologies through relation expansion, upper-level ontologies and automatic reasoning. by Robert Hoehndorf, Michel Dumontier, Anika Oellrich, Dietrich Rebholz-Schuhmann, Paul N Schofield, Georgios V Gkoutos

“…Formal ontologies make the semantics of terms and relations explicit such that automated reasoning can be used to verify the consistency of knowledge. …”
Get full text