Results 11 to 20 of about 1,200,969 (291)
Intelligenza Artificiale, 2006 Automated reasoning and knowledge representation are intertwined, as reasoning engines need to take into account representation formalisms and vice versa. The chapter entitled "Automated Reasoning" surveys both. It covers classical and non-classical logics, illustrating relevant trade-offs between expressivity and decidability.
M. BONACINA, MARTELLI, Alberto
core +5 more sources
Proceedings of the Automated Reasoning Workshop (ARW 2019) [PDF]
, 2019 Preface This volume contains the proceedings of ARW 2019, the twenty sixths Workshop on Automated Rea- soning (2nd{3d September 2019) hosted by the Department of Computer Science, Middlesex University, England (UK).
Bolotov, A., Kammueller, F.
core +6 more sources
On Practical Reasoning and Automated Planning [PDF]
, 2012 Practical reasoning and automated planning are strictly related as they strive to answer to the same question: “which is the best course of action for an agent?” While the first research field addressed this topic mainly from an epistemological point of ...
Vallati, Mauro, Cerutti, Federico
core +3 more sources
Handling Transitive Relations in First-Order Automated Reasoning [PDF]
, 2021 We present a number of alternative ways of handling transitive binary relations that commonly occur in first-order problems, in particular equivalence relations, total orders, and transitive relations in general.
Claessen, Koen, +3 more
core +1 more source
Automated reasoning-alternative methods [PDF]
Serbian Journal of Electrical Engineering, 2004 Our main goal is to describe a potential usage of the interpretation method (i.e. formal representation of one first order theory into another) together with quantifier elimination procedures developed in the GIS.
Perović Aleksandar +3 more
doaj +1 more source
Frontiers in Artificial Intelligence, 2023 It is well-known that Artificial Intelligence (AI), and in particular Machine Learning (ML), is not effective without good data preparation, as also pointed out by the recent wave of data-centric AI.
Gianluca Cima +3 more
doaj +1 more source
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) [PDF]
International Journal of Computational Intelligence Systems, 2013 One of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals.
Yi Liu, Hairui Jia, Yang Xu
doaj +1 more source
Legal linguistic templates and the tension between legal knowledge representation and reasoning
Frontiers in Artificial Intelligence, 2023 There is an inherent tension between knowledge representation and reasoning. For an optimal representation and validation, an expressive language should be used. For an optimal automated reasoning, a simple one is preferred.
Tomer Libal
doaj +1 more source
Combining Task and Motion Planning: Challenges and Guidelines
Frontiers in Robotics and AI, 2021 Combined Task and Motion Planning (TAMP) is an area where no one-fits-all solution can exist. Many aspects of the domain, as well as operational requirements, have an effect on how algorithms and representations are designed.
Masoumeh Mansouri +2 more
doaj +1 more source
α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [PDF]
International Journal of Computational Intelligence Systems, 2015 In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra.
Weitao Xu +4 more
doaj +1 more source