AbstractWe discuss a very general semantic operator arising within logic-based programming systems from an algebraic point of view, and show how it connects four interesting aspects of computation: neural networks, conventional logic programming, constraint logic programming, and simple models of uncertainty in logic-based systems
Abstract. This paper studies generality relations on logic programs. Intuitively, a program P1 is mo...
AbstractIntensional Logic Programming is a new form of logic programming based on intensional logic ...
Taxonomic hierarchical networks or semantic networks have been widely used in representing knowledge...
We discuss a very general semantic operator arising within logic-based programming systems from an a...
AbstractWe discuss a very general semantic operator arising within logic-based programming systems f...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
We discuss the computation by neural networks of semantic operators TP determined by propositional l...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
One facet of the question of integration of Logic and Connectionist Systems, and how these can compl...
We consider rather general operators mapping valuations to (sets of) valuations in the context of th...
AbstractOne facet of the question of integration of Logic and Connectionist Systems, and how these c...
We discuss the computation by neural networks of semantic operators TP determined by propositional l...
AbstractIt is a long-standing and important problem to integrate logic-based systems and connectioni...
AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...
We present simple and powerful generalized algebraic semantics for constraint logic programs that ar...
Abstract. This paper studies generality relations on logic programs. Intuitively, a program P1 is mo...
AbstractIntensional Logic Programming is a new form of logic programming based on intensional logic ...
Taxonomic hierarchical networks or semantic networks have been widely used in representing knowledge...
We discuss a very general semantic operator arising within logic-based programming systems from an a...
AbstractWe discuss a very general semantic operator arising within logic-based programming systems f...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
We discuss the computation by neural networks of semantic operators TP determined by propositional l...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
One facet of the question of integration of Logic and Connectionist Systems, and how these can compl...
We consider rather general operators mapping valuations to (sets of) valuations in the context of th...
AbstractOne facet of the question of integration of Logic and Connectionist Systems, and how these c...
We discuss the computation by neural networks of semantic operators TP determined by propositional l...
AbstractIt is a long-standing and important problem to integrate logic-based systems and connectioni...
AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...
We present simple and powerful generalized algebraic semantics for constraint logic programs that ar...
Abstract. This paper studies generality relations on logic programs. Intuitively, a program P1 is mo...
AbstractIntensional Logic Programming is a new form of logic programming based on intensional logic ...
Taxonomic hierarchical networks or semantic networks have been widely used in representing knowledge...
DOI
Add to ORKG