1
AI-generated Content [E-Book] : First International Conference, AIGC 2023, Shanghai, China, August 25-26, 2023, Revised Selected Papers /
Table of Contents: ... and Chinese Traditional Culture -- Strong-AI Autoepistemic Robots Build on Intensional First Order Logic -- Divide and Control: Generation of Multiple Component Comic Illustrations with Diffusion Models based on Regression -- Enhancing EFL Vocabulary Acquisition...

Full text 
2
Concrete Abstractions [E-Book] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
3
Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
4
Discovery Science [E-Book] : 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings /
Table of Contents: ... limit in basketball (both college and professional) -- Exploring Label Correlations for Quantification of ICD Codes -- LGEM+: a first-order logic framework for automated improvement of metabolic network models through abduction -- Predicting age from human...

Full text 
5
Concise Guide to Software Verification [E-Book] : From Model Checking to Annotation Checking /
Table of Contents: ...1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking...

Full text 
6
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Table of Contents: ... -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness....

Full text 
7
Frontiers of Algorithmics [E-Book] : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings /
Chen, Jing
2022
Table of Contents: ..., First-Order Logic, and Well-Structured graphs -- Model-Based Digital Engineering and Verification of Intelligent Systems -- Tight Online Algorithms for Unrelated Machine Load Balancing with Predictions -- Fast Sampling Constraint Satisfaction Solutions via...

Full text 
8
Inductive Logic Programming [E-Book] : 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings /
9
R-CALCULUS: A Logic of Belief Revision [E-Book] /
Li, Wei
2021
Table of Contents: ...Introduction -- Preliminaries -- R-calculi for Propositional Logic -- R-calculi for Description Logics -- R-calculi for Modal Logic -- R-calculi for Logic Programming -- R-calculi for First-order Logic -- Nonmonotonicity of R-calculus -- Approximate R...

Full text 
10
Fundamentals of Logic and Computation [E-Book] : With Practical Automated Reasoning and Verification /
Hou, Zhe
2021
Table of Contents: ...1. Introduction to Logic -- 2. First-order Logic -- 3. Non-classical Logics -- 4. Automata Theory and Formal Languages -- 5. Turing Machines and Computability -- 6. Logic is Computation....

Full text 
11
Modelling Puzzles in First Order Logic [E-Book] /
12
Fundamentals of Computation Theory [E-Book] : 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings /
Table of Contents: ...Invited papers -- Two sided matching markets with strongly correlated random preferences -- Communicating Finite state machines and an extensible toolchain for multiparty session types -- Contributed papers -- First-Order logic and its Infinitary...

Full text 
13
Artificial Intelligence [E-Book] : A Textbook /
Table of Contents: ...1 An Introduction to Artificial Intelligence -- 2 Searching State Spaces -- 3 Multiagent Search -- 4 Propositional Logic -- 5 First-Order Logic -- 6 Machine Learning: The Inductive View -- 7 Neural Networks -- 8 Domain-Specific Neural Architectures -- 9...

Full text 
14
Protocols, Strands, and Logic [E-Book] : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday /
15
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
Table of Contents: ...Satisfiabiliy of Boolean Formulas -- Satisfiability Modulo Theory -- Rewriting -- Arithmetic Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving -- Higher-order Theorem Proving -- Modal and Temporal...

Full text 
16
Theory and Applications of Satisfiability Testing – SAT 2016 [E-Book] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
Table of Contents: ...-Based Method in Difference Logic -- Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers -- Finding Finite Models in Multi-Sorted First Order Logic -- MCS Extraction with Sublinear Oracle Queries -- Predicate Elimination for Preprocessing in First...

Full text 
17
Abstract State Machines, Alloy, B, TLA, VDM, and Z [E-Book] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
Table of Contents: ...Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets -- A Universal Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic -- Proving Determinacy of PharOS in TLA+ -- A Rigorous...

Full text 
18
Computer Science -- Theory and Applications [E-Book] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
Table of Contents: ... -- Circuit Lower Bounds for Average-Case MA -- Making Randomness Public in Unbounded-Round Information Complexity -- First-Order Logic Definability of Free Languages -- Representation of (Left) Ideal Regular Languages by Synchronizing Automata -- Some Properties...

Full text 
19
Advances in Intelligent Data Analysis XIV [E-Book] : 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings /
Table of Contents: ... Social Network of Companies -- A first+-order-logic based model for grounded language learning -- A parallel distributed processing algorithm for image feature extraction -- Modeling concept drift: A probabilistic graphical model based approach -- Diversity...

Full text 
20
Knowledge Representation for Health Care [E-Book] : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers /
Table of Contents: ...Knowledge-intensive medical process similarity -- Preliminary result on finding treatments for patients with comorbidity -- Towards a conceptual model for enhancing reasoning about clinical guidelines -- Using first-order logic to represent clinical...

Full text