Search Results - Logic, Symbolic and mathematical Data processing

Commonsense reasoning by Mueller, Erik T.

“…The only up-to-date book on logic-based commonsense reasoning…”
Get full text

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

“…This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS…”
Get full text

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings by Cimiano, Philipp, Frank, Anette, Kohlhase, Michael, Stein, Benno

“…This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in…”
Get full text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I by Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Get full text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Get full text

Practical MATLAB - With Modeling, Simulation, and Processing Projects by Turk, Irfan

“…Apply MATLAB programming to the mathematical modeling of real-life problems from a wide range of topics…”
Get full text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I by Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models…”
Get full text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II by Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models…”
Get full text

Learning-Assisted Automated Reasoning with Flyspeck by Kaliszyk, Cezary, Urban, Josef

“…The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs…”
Get full text

HermiT: An OWL 2 Reasoner by Glimm, Birte, Horrocks, Ian, Motik, Boris, Stoilos, Giorgos, Wang, Zhe

“…This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the…”
Get full text

Schaum's outline of discrete mathematics by Lipschutz, Seymour, Lipson, Marc Lars

Get full text

Practical MATLAB Modeling with Simulink - Programming and Simulating Ordinary and Partial Differential Equations by Eshkabilov, Sulaymon L

“…Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which…”
Get full text

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods by Alama, Jesse, Heskes, Tom, Kühlwein, Daniel, Tsivtsivadze, Evgeni, Urban, Josef

“… This work develops learning-based premise selection in two ways. First, a fine-grained dependency analysis of existing high-level formal mathematical proofs is used…”
Get full text

Human-Centered AI by SHNEIDERMAN, BEN

“…Shneiderman discusses the Human-Centered AI (HCAI). HCAI is a vision of how machines might augment humans, and even encourage our best impulses toward each…”
Get full text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Goubault-Larrecq, Jean, König, Barbara

“… The papers cover topics such as categorical models and logics; language theory, automata, and games…”
Get full text

Hands-On Julia Programming: An Authoritative Guide to the Production-Ready Systems in Julia by Kumar Dash, Sambit

Get full text

Scalable Fine-Grained Proofs for Formula Processing by Barbosa, Haniel, Blanchette, Jasmin Christian, Fleury, Mathias, Fontaine, Pascal

“…We present a framework for processing formulas in automatic theorem provers, with generation of detailed proofs…”
Get full text

Finding the Pareto Frontier of Low-Precision Data Formats and MAC Architecture for LLM Inference by Crafton, Brian, Peng, Xiaochen, Sun, Xiaoyu, Lele, Ashwin, Zhang, Bo, Khwa, Win-San, Akarvardar, Kerem

“…To accelerate AI applications, numerous data formats and physical implementations of matrix multiplication have been proposed, creating a complex design space…”
Get full text

Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers by Cochez, Michael, Croitoru, Madalina, Marquis, Pierre, Rudolph, Sebastian

“…This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge…”
Get full text

Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework by Mitchener, Ludovico, Tuckey, David, Crosby, Matthew, Russo, Alessandra

“…In this paper we introduce Detect, Understand, Act (DUA), a neuro-symbolic reinforcement learning framework…”
Get full text