Searching for "Intersection Logic." – sorted by Relevance.
89 documents found, showing 1 through 10.
Next 10 →
-
Towards
- …Towards an intersection and union logic Anastasia Veneti ∗ and Yiorgos Stavrinos † Abstract A…
- Add To MetaCart
-
Intersection Typed λ-calculus
- …. The logical foundation of all of them is the Intersection Logic IL. 1 Introduction The intersection type…
- Cited by 1 (0 self) – Add To MetaCart
-
AILP: Abductive Inductive Logic Programming
- … (ILP) is often situated as a research area emerging at the intersection of Machine Learning and Logic…
- Cited by 17 (5 self) – Add To MetaCart
-
On the Integration of Learning, Logical Deduction and Probabilistic inductive Inference
- …) as "the intersection of Logic Programming and Machine Learning". Within this field, two themes may…
- Cited by 3 (3 self) – Add To MetaCart
-
Inductive Logic Programming
- … in the intersection of Logic Programming and inductive Machine Learning. Informally speaking the field is concerned…
- Add To MetaCart
-
Least Generalizations under Implication
- … Introduction Inductive Logic Programming (ILP) is the intersection of Logic Programming and Machine Learning…
- Cited by 1 (0 self) – Add To MetaCart
-
Cambridge University Press 978-0-521-86628-6- Constraint Logic Programming using Eclipse
- … at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool…
- Add To MetaCart
-
Probabilistic Logic Learning
- … lying at the intersection of probabilistic reasoning, logical representations, and machine learning. A…
- Cited by 26 (8 self) – Add To MetaCart
-
Efficient Pruning Methods for Relational Learning
- … of Inductive Logic Programming, a new research area at the intersection of Machine Learning and Logic…
- Cited by 6 (3 self) – Add To MetaCart
-
(A)
- …Of kits and atoms Intersection logics Yiorgos Stavrinos Anastasia Veneti PLS'07, July 5-8, 2007…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
