Výsledky vyhľadávania - Logic, Symbolic and mathematical Data processing

Commonsense reasoning Autor Mueller, Erik T.

“…The only up-to-date book on logic-based commonsense reasoning…”
Získať plný 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…”
Získať plný text

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings Autor 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…”
Získať plný 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 Autor Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Získať plný 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 Autor Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Získať plný text

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

“…Apply MATLAB programming to the mathematical modeling of real-life problems from a wide range of topics…”
Získať plný text

The Everyday Life of an Algorithm Autor Neyland, Daniel

“…This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport…”
Získať plný text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I Autor 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…”
Získať plný text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II Autor 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…”
Získať plný text

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

“…The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs…”
Získať plný text

Data Clustering: Algorithms and Applications Autor Aggarwal, Charu C., Reddy, Chandan K.

“…In this book, top researchers from around the world cover the entire area of clustering, from basic methods to more refined and complex data clustering approaches…”
Získať plný text

HermiT: An OWL 2 Reasoner Autor 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…”
Získať plný text

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

Získať plný text

Practical MATLAB Modeling with Simulink - Programming and Simulating Ordinary and Partial Differential Equations Autor 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…”
Získať plný text

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods Autor 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…”
Získať plný text

Human-Centered AI Autor 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…”
Získať plný 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 Autor Goubault-Larrecq, Jean, König, Barbara

“… The papers cover topics such as categorical models and logics; language theory, automata, and games…”
Získať plný text

Logical Foundations of Proof Complexity Autor Cook, Stephen, Nguyen, Phuong

“…This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the…”
Získať plný text

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

Získať plný text

Scalable Fine-Grained Proofs for Formula Processing Autor 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…”
Získať plný text