Add to ORKGComputing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers (also called \anti-uni ers") of two structures in a typed language modulo a set of equational axioms. By supporting types and any combination of associativity (A), commutativity (C), and unity (U) algebraic axioms for function symbols, ACUOS allows reasoning about typed data structures, e.g. lists, trees, and (multi-)sets, and typical hierarchical/structural relations such as is a and part of. This paper discusses the modular ACU generalization tool ACUOS and illustrates its use in a classical arti ficial intel...
Default Logic and Logic Programming with stable model semantics are recognized as powerful framework...
In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theore...
International audienceThe λΠ-calculus modulo theory is a logical framework in which many logical sys...
Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical...
Generalization in order-sorted theories with any combination of associativity (A), commutativity (C)...
Abstract. An important component for ensuring termination of many pro-gram manipulation techniques i...
Generalization, also called anti-unification, is the dual of unification. Given terms t and t', a ge...
The Formal Axiomatic Systems are used in Artificial Intelligence and Mathematics to indicate any set...
Cardelli and Wegner developed a simple theory of object subtyping which was later to form the basis ...
The APE (Automatic Programming Expert) system constructs executable and efficient programs from alge...
The algebraic calculus for reasoning about the complete behavior of object types and the effects of ...
This Agda code contains a formal development of some of the proofs in the paper Ian Orton and Andr...
We introduce the notion of well-founded recursive order-sorted equational logic (OS) theories modu...
AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: proced...
We introduce the notion of well-founded recursive order-sorted equational logic (OS) theories modu...
Default Logic and Logic Programming with stable model semantics are recognized as powerful framework...
In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theore...
International audienceThe λΠ-calculus modulo theory is a logical framework in which many logical sys...
Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical...
Generalization in order-sorted theories with any combination of associativity (A), commutativity (C)...
Abstract. An important component for ensuring termination of many pro-gram manipulation techniques i...
Generalization, also called anti-unification, is the dual of unification. Given terms t and t', a ge...
The Formal Axiomatic Systems are used in Artificial Intelligence and Mathematics to indicate any set...
Cardelli and Wegner developed a simple theory of object subtyping which was later to form the basis ...
The APE (Automatic Programming Expert) system constructs executable and efficient programs from alge...
The algebraic calculus for reasoning about the complete behavior of object types and the effects of ...
This Agda code contains a formal development of some of the proofs in the paper Ian Orton and Andr...
We introduce the notion of well-founded recursive order-sorted equational logic (OS) theories modu...
AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: proced...
We introduce the notion of well-founded recursive order-sorted equational logic (OS) theories modu...
Default Logic and Logic Programming with stable model semantics are recognized as powerful framework...
In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theore...
International audienceThe λΠ-calculus modulo theory is a logical framework in which many logical sys...