Search
Search Results
-
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024,...
-
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
Infotext (nur auf Basis des Vorgängers):
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference...
-
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
Research in automated planning traditionally focuses on model-based approaches that often sacrifice expressivity for computational efficiency. For...
-
Automated legal reasoning with discretion to act using s(LAW)
Automated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context,...
-
Larry Wos: Visions of Automated Reasoning
This paper celebrates the scientific discoveries and the service to the automated reasoning community of Lawrence (Larry) T. Wos, who passed away in...
-
Prolog in Automated Reasoning in Geometry
In this paper a brief overview of tools for automated reasoning in geometry developed in Prolog is given. We argue that Prolog is as a good choice...
-
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in...
-
Extracting optimal explanations for ensemble trees via automated reasoning
Ensemble trees are a popular machine learning model which often yields high prediction performance when analysing structured data. Although...
-
Symbolic Computation in Automated Program Reasoning
We describe applications of symbolic computation towards automating the formal analysis of while-programs implementing polynomial arithmetic. We...
-
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic...
-
Report on “Axiomatizing Conditional Normative Reasoning”
This is a report on the project “Axiomatizing Conditional Normative Reasoning” (ANCoR, M 3240-N) funded by the Austrian Science Fund (FWF). The...
-
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)
We describe an experimental implementation of a logic-based end-to-end pipeline of performing inference and giving explained answers to questions...
-
VizAR: Visualization of Automated Reasoning Proofs (System Description)
We present a system for the visualization of proofs originating from Automated Theorem Provers for first-order logic. The system can hide...
-
Handling Transitive Relations in First-Order Automated Reasoning
We present a number of alternative ways of handling transitive binary relations that commonly occur in first-order problems, in particular equivalence...
-
Services in Smart Manufacturing: Comparing Automated Reasoning Techniques for Composition and Orchestration
In recent years, there has been an increase interest in using intelligent methods to control manufacturing processes. Tens of resources to be modeled...
-
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on...
-
Automated requirement contradiction detection through formal logic and LLMs
This paper introduces ALICE (Automated Logic for Identifying Contradictions in Engineering), a novel automated contradiction detection system...
-
Automated quantum software engineering
As bigger quantum processors with hundreds of qubits become increasingly available, the potential for quantum computing to solve problems intractable...