Found: 24
Select item for more details and to access through your institution.
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 4, p. 523, doi. 10.1017/S1471068422000126
- By:
- Publication type:
- Article
First-Order Logic with Inductive Definitions for Model-Based Problem Solving.
- Published in:
- AI Magazine, 2016, v. 37, n. 3, p. 69, doi. 10.1609/aimag.v37i3.2679
- By:
- Publication type:
- Article
Mining rooted ordered trees under subtree homeomorphism.
- Published in:
- Data Mining & Knowledge Discovery, 2016, v. 30, n. 5, p. 1249, doi. 10.1007/s10618-015-0439-5
- By:
- Publication type:
- Article
On local domain symmetry for model expansion.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 636, doi. 10.1017/S1471068416000508
- By:
- Publication type:
- Article
Bootstrapping Inference in the IDP Knowledge Base System.
- Published in:
- New Generation Computing, 2016, v. 34, n. 3, p. 193, doi. 10.1007/s00354-016-0301-3
- By:
- Publication type:
- Article
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 6, p. 783, doi. 10.1017/S147106841400009X
- By:
- Publication type:
- Article
Simulating Dynamic Systems Using Linear Time Calculus Theories.
- Published in:
- Theory & Practice of Logic Programming, 2014, v. 14, n. 4/5, p. 477, doi. 10.1017/S1471068414000155
- By:
- Publication type:
- Article
Detection and exploitation of functional dependencies for model generation.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 471, doi. 10.1017/S147106841300029X
- By:
- Publication type:
- Article
An Approximative Inference Method for Solving ∃∀SO Satisfiability Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 45, p. 79, doi. 10.1613/jair.3658
- By:
- Publication type:
- Article
The magic of logical inference in probabilistic programming.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 663, doi. 10.1017/S1471068411000238
- By:
- Publication type:
- Article
Computerized prediction of intensive care unit discharge after cardiac surgery: development and validation of a Gaussian processes model.
- Published in:
- 2011
- By:
- Publication type:
- journal article
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 279, doi. 10.1007/s10836-009-5140-4
- By:
- Publication type:
- Article
A comparison of pruning criteria for probability trees.
- Published in:
- Machine Learning, 2010, v. 78, n. 1-2, p. 251, doi. 10.1007/s10994-009-5147-1
- By:
- Publication type:
- Article
CP-logic: A language of causal probabilistic events and its relation to logic programming.
- Published in:
- Theory & Practice of Logic Programming, 2009, v. 9, n. 3, p. 245, doi. 10.1017/S1471068409003767
- By:
- Publication type:
- Article
Learning ( k , l )-contextual tree languages for information extraction from web pages.
- Published in:
- Machine Learning, 2008, v. 71, n. 2-3, p. 155, doi. 10.1007/s10994-008-5049-7
- By:
- Publication type:
- Article
Generalized ordering-search for learning directed probabilistic logical models.
- Published in:
- Machine Learning, 2008, v. 70, n. 2-3, p. 169, doi. 10.1007/s10994-007-5033-7
- By:
- Publication type:
- Article
Well-founded and stable semantics of logic programs with aggregates.
- Published in:
- Theory & Practice of Logic Programming, 2007, v. 7, n. 3, p. 301, doi. 10.1017/S1471068406002973
- By:
- Publication type:
- Article
Compact Representation of Knowledge Bases in Inductive Logic Programming.
- Published in:
- Machine Learning, 2004, v. 57, n. 3, p. 305, doi. 10.1023/B:MACH.0000039780.84966.04
- By:
- Publication type:
- Article
Enhancing a search algorithm to perform intelligent backtracking.
- Published in:
- Theory & Practice of Logic Programming, 2004, v. 4, n. 3, p. 371, doi. 10.1017/S1471068403001893
- By:
- Publication type:
- Article
Coherent Integration of Databases by Abductive Logic Programming.
- Published in:
- Journal of Artificial Intelligence Research, 2004, v. 21, p. 245, doi. 10.1613/jair.1322
- By:
- Publication type:
- Article
Offline specialisation in Prolog using a hand-written compiler generator.
- Published in:
- Theory & Practice of Logic Programming, 2004, v. 4, n. 1/2, p. 139, doi. 10.1017/S1471068403001662
- By:
- Publication type:
- Article
Logic program specialisation through partial deduction: Control issues.
- Published in:
- Theory & Practice of Logic Programming, 2002, v. 2, n. 4/5, p. 461, doi. 10.1017/S147106840200145X
- By:
- Publication type:
- Article
A polynomial time computable metric between point sets.
- Published in:
- Acta Informatica, 2001, v. 37, n. 10, p. 765, doi. 10.1007/PL00013304
- By:
- Publication type:
- Article
A unifying framework for concept-learning algorithms.
- Published in:
- Knowledge Engineering Review, 1992, v. 7, n. 3, p. 251, doi. 10.1017/S0269888900006366
- By:
- Publication type:
- Article