Logic Programming and Nonmonotonic Reasoning More Books Like This

Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2022
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
2011
Logic Programming Logic Programming
Logic Programming
2009
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2021
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
2011
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2009
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2019
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
2011
Theoretical Aspects of Computing – ICTAC 2020 Theoretical Aspects of Computing – ICTAC 2020
Theoretical Aspects of Computing – ICTAC 2020
2020
Automated Deduction – CADE 27 Automated Deduction – CADE 27
Automated Deduction – CADE 27
2019
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2008
Theoretical Aspects of Computing – ICTAC 2022 Theoretical Aspects of Computing – ICTAC 2022
Theoretical Aspects of Computing – ICTAC 2022
2022
Reasoning Web. Declarative Artificial Intelligence Reasoning Web. Declarative Artificial Intelligence
Reasoning Web. Declarative Artificial Intelligence
2020
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
2021
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011