CHR(PRISM)-based probabilistic logic learning (English)
- New search for: SNEYERS, JON
- New search for: SNEYERS, JON
- New search for: MEERT, WANNES
- New search for: VENNEKENS, JOOST
- New search for: KAMEYA, YOSHITAKA
- New search for: SATO, TAISUKE
In:
Theory and practice of logic programming
;
10
, 4
; 433-448
;
2010
-
ISSN:
- Article (Journal) / Print
-
Title:CHR(PRISM)-based probabilistic logic learning
-
Contributors:
-
Published in:Theory and practice of logic programming ; 10, 4 ; 433-448
-
Publisher:
- New search for: Cambridge Univ. Press
-
Place of publication:Cambridge
-
Publication date:2010
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.71 / 54.71
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 10, Issue 4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 361
-
Introduction to the 26th international conference on logic programming special issueHERMENEGILDO, MANUEL et al. | 2010
- 365
-
Automated termination analysis for logic programs with cut*SCHNEIDER-KAMP, PETER et al. | 2010
- 383
-
Transformations of logic programs on infinite listsPETTOROSSI, ALBERTO et al. | 2010
- 401
-
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling*DE GUZM'AN, PABLO CHICO et al. | 2010
- 417
-
Threads and or-parallelism unifiedSANTOS COSTA, VíTOR et al. | 2010
- 433
-
CHR(PRISM)-based probabilistic logic learningSNEYERS, JON et al. | 2010
- 449
-
Inference with constrained hidden Markov models in PRISMCHRISTIANSEN, HENNING et al. | 2010
- 465
-
A translational approach to constraint answer set solvingDRESCHER, CHRISTIAN et al. | 2010
- 481
-
A decidable subclass of finitary programsBASELICE, SABRINA et al. | 2010
- 497
-
Disjunctive ASP with functions: Decidable queries and effective computation*ALVIANO, MARIO et al. | 2010
- 513
-
Catching the Ouroboros: On debugging non-ground answer-set programsOETSCH, JOHANNES et al. | 2010
- 531
-
Loop formulas for description logic programsWANG, YISONG et al. | 2010
- 547
-
Towards closed world reasoning in dynamic open worldsSLOTA, MARTIN et al. | 2010
- 565
-
A program-level approach to revising logic programs under the answer set semanticsDELGRANDE, JAMES P. et al. | 2010
- 581
-
FO(FD): Extending classical logic with rule-based fixpoint definitionsHOU, PING et al. | 2010
- 597
-
A complete and terminating execution model for Constraint Handling RulesBETZ, HARIOLF et al. | 2010
- 611
-
Decidability properties for fragments of CHRGABBRIELLI, MAURIZIO et al. | 2010
- 627
-
A declarative semantics for CLP with qualification and proximity*RODRÍGUEZ-ARTALEJO, MARIO et al. | 2010
- 643
-
Logic–based decision support for strategic environmental assessmentGAVANELLI, MARCO et al. | 2010
- 659
-
Test case generation for object-oriented imperative languages in CLP*GÓMEZ-ZAMALLOA, MIGUEL et al. | 2010
- 675
-
Logic programming for finding models in the logics of knowledge and its applications: A case studyBARAL, C. et al. | 2010
- 691
-
Applying Prolog to develop distributed systemsLOPES, NUNO P. et al. | 2010
- 709
-
CLP-based protein fragment assembly*DAL PALÙ, ALESSANDRO et al. | 2010
- 725
-
Formalization of psychological knowledge in answer set programming and its applicationBALDUCCINI, MARCELLO et al. | 2010
- 741
-
Testing and debugging techniques for answer set solver developmentBRUMMAYER, ROBERT et al. | 2010
- 759
-
The system Kato: Detecting cases of plagiarism for answer-set programsOETSCH, JOHANNES et al. | 2010
-
TLP volume 10 issue 4-6 Cover and Back matter| 2010
-
TLP volume 10 issue 4-6 Cover and Front matter| 2010