BibSonomy :: user :: emanuel ::

tag user group author concept BibTeX key search:all search:emanuel

The blue social bookmark and publication sharing system.

RSS BibTeX XML

bookmarks

(20)

<< < 1 > >>

Algorithmic and Automatic Debugging Home Page
to debugging by emanuel on Dec 30, 2008, 8:34 PM
(0)
lhs2TeX
generating Latex from Haskell code
to haskell latex by emanuel on May 2, 2008, 1:04 PM
(0)
Syntax and Semantics of Programming Languages
to book programming semantics syntax by emanuel and 1 other user on Apr 25, 2008, 10:01 AM
(0)
Readscheme.org - Functional Programming Resources
to bibliography functional_programming haskell programming scheme by emanuel and 1 other user on Apr 25, 2008, 9:52 AM
(0)
Lambda the Ultimate | Programming Languages Weblog
to blogs community programming by emanuel and 7 other users on Apr 25, 2008, 9:36 AM
(0)
MagicHaskeller: A Search-based Inductive Functional Programming System
to MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming ip-system program_synthesis by emanuel and 1 other user on Apr 21, 2008, 7:51 PM
(0)
The F L I P System
to analytical_ip experiment flip iflp induction inductive_programming ip-system machine_learning program_synthesis by emanuel on Apr 21, 2008, 7:32 PM
(0)
Kestrel Institute
kids, specware, planware
to applications ase deductive_program_synthesis institute program_synthesis smith software_engineering by emanuel on Apr 16, 2008, 4:02 PM
(0)
The Automated Software Engineering Conference Series Homepage
to ase community by emanuel on Apr 15, 2008, 5:20 PM
(0)
Rewriting Home Page
to community rewriting term_rewriting by emanuel and 3 other users on Apr 15, 2008, 5:11 PM
(0)
Version Control with Subversion
to book subversion svn by emanuel and 35 other users on Feb 19, 2008, 12:08 PM
(0)
Maude
The Maude programming and specification language.
to maude by emanuel and 3 other users on Feb 4, 2008, 5:36 PM
(0)
DBLP: Emanuel Kitzelmann
emanuel's list of publications from dblp
to dblp emanuel igor1 igor2 inductive_programming kitzelmann program_synthesis by emanuel and 1 other user on Dec 19, 2007, 3:12 PM
(0)
Otto-Friedrich-Universität Bamberg: Professur für Angewandte Informatik / Kognitive Systeme
homepage of the cognitive systems group at university of bamberg
to cognition cognitive_systems cogsys inductive_programming program_synthesis by emanuel on Dec 19, 2007, 3:04 PM
(0)
inductive-programming.org • The IP Community
inductive programming community site
to community inductive_programming program_synthesis by emanuel on Dec 19, 2007, 2:59 PM
(0)
Stephen Muggleton
stephen muggleton's homepage
to golem ilp inductive_programming machine_learning muggleton progol program_synthesis by emanuel and 1 other user on Dec 19, 2007, 2:57 PM
(0)
Ross Quinlan's personal homepage
to foil ilp inductive_programming machine_learning program_synthesis quinlan by emanuel and 2 other users on Dec 19, 2007, 2:57 PM
(0)
The ADATE System
homepage of roland olsson's ADATE inductive programming system
to adate ifp inductive_programming olsson program_synthesis by emanuel on Dec 19, 2007, 2:56 PM
(0)
Otto-Friedrich-Universität Bamberg: Kitzelmann
emanuel's university homepage
to bamberg emanuel ifp igor1 igor2 inductive_programming kitzelmann program_synthesis by emanuel on Dec 19, 2007, 2:54 PM
(0)
Pierre Flener
to dialogs flener ilp inductive_programming program_synthesis by emanuel on Dec 19, 2007, 2:48 PM
(0)

<< < 1 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(218)

<< < 1 | 2 | 3 > >>

Bayesian Inductive Logic Programming
Stephen Muggleton COLT'94: Proceedings of the 7th annual Conference on Computational Learning Theory, page 3--11. ACM, (1994)
to ilp by emanuel and 2 other users on May 12, 2010, 1:19 AM
BibTeX (0)
Artificial Intelligence: A Modern Approach
Stuart Russell, and Peter Norvig Prentice Hall, 3 edition, (2010)
to ai by emanuel on May 11, 2010, 3:41 PM
BibTeX (0)
Inductive Programming: A Survey of Program Synthesis Techniques
Emanuel Kitzelmann Approaches and Applications of Inductive Programming, 3rd Workshop AAIP, Revised Papers, volume 5812 of LNCS, page 50--73. Springer-Verlag, (2010)
to inductive_programming by emanuel on May 10, 2010, 7:43 PM
BibTeX (0)
How to Clear a Block: A Theory of Plans
Z. Manna, and R. Waldinger Journal of Automated Reasoning 3(4):343--378 (1987)
to planning by emanuel and 1 other user on May 10, 2010, 7:17 PM
BibTeX (0)
Logic for Computer Scientists
Uwe Schöning Modern Birkhäuser Classics Birkhäuser Boston, (2008)
to logic by emanuel on May 10, 2010, 7:10 PM
BibTeX (0)
I/O Guided Detection of List Catamorphisms
Martin Hofmann, and Emanuel Kitzelmann ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation, Proceedings, page 93--100. ACM Press, (2010)
to higher-order_functions inductive_programming by emanuel on May 10, 2010, 7:08 PM
BibTeX (0)
Natural Language Processing for Prolog Programmers
M. A. Covington Prentice Hall, (1994)
to nlp by emanuel and 1 other user on May 10, 2010, 7:03 PM
BibTeX (0)
Recent Advances of Grammatical Inference
Yasubumi Sakakibara Theoretical Computer Science 185(1):15--45 (1997)
to grammatical-inference by emanuel and 3 other users on May 10, 2010, 7:00 PM
BibTeX (0)
Automated Planning: theory and practice
Malik Ghallab, Dana Nau, and Paolo Traverso Morgan Kaufmann Publishers, (2004)
to planning by emanuel and 2 other users on May 10, 2010, 6:54 PM
BibTeX (0)
The Theory of Learning by Doing
Yuichiro Anzai, and Herbert A. Simon Psychological Review 86(2):124--140 (1979)
to cognition by emanuel on May 10, 2010, 6:48 PM
BibTeX (0)
Macro-Operators: A Weak Method for Learning
Richard E. Korf Artificial Intelligence 26(1):35-77 (1985)
to macro-operators by emanuel and 1 other user on May 10, 2010, 6:45 PM
BibTeX (0)
The Chunking of Goal Hierarchies: A Generalized Model of Practice
Paul S. Rosenbloom, and Alan Newell Machine Learning: An Artificial Intelligence Approach, 2, chapter 10, Morgan Kaufmann Publishers, (1986)
to cognition by emanuel on May 10, 2010, 6:39 PM
BibTeX (0)
The Atomic Components of Thought
John R. Anderson, and Christian Lebiere Lawrence Erlbaum Associates, Inc., (1998)
to cognition by emanuel and 7 other users on May 10, 2010, 6:32 PM
BibTeX (0)
Fundamentals of Algebraic Specification I
Hartmut Ehrig, and Bernd Mahr Springer-Verlag, (1985)
to algebraic_specification by emanuel on May 9, 2010, 5:04 PM
BibTeX (0)
Neural Networks - A Systematic Introduction
Raúl Rojas Springer-Verlag, (1996)
to neuralnetworks by emanuel and 4 other users on May 9, 2010, 4:13 PM
BibTeX (0)
A Deductive Approach to Program Synthesis
Zohar Manna, and Richard Waldinger ACM Transactions on Programming Languages and Systems 2(1):90--121 (1980)
to article ase deductive_program_synthesis program_synthesis by emanuel and 1 other user on May 9, 2010, 3:17 PM
URL | BibTeX (0)
Universal Sequential Search Problems
Leonid A. Levin Problems of Information Transmission (1973)
to universal_search by emanuel and 2 other users on Apr 23, 2010, 9:53 PM
BibTeX (0)
Synthesis of Functions Using Generic Programming
Pieter Koopman, and Rinus Plasmeijer Approaches and Applications of Inductive Programming, 3rd International Workshop, AAIP'09, Revised Papers, volume 5812 of LNCS, page 25--49. Springer-Verlag, (2010)
to gast inductive_programming by emanuel on Apr 23, 2010, 6:27 PM
BibTeX (0)
Recent Improvements of MagicHaskeller
Susumu Katayama Approaches and Applications of Inductive Programming, 3rd International Workshop, AAIP'09, Revised Papers, volume 5812 of LNCS, page 174--193. Springer-Verlag, (2010)
to inductive_programming magichaskeller by emanuel on Apr 23, 2010, 6:13 PM
BibTeX (0)
An Introduction to Inductive Programming
Pierre Flener, and Ute Schmid Artificial Intelligence Review 29(1):45-62 (2008)
to inductive_programming by emanuel and 1 other user on Apr 23, 2010, 11:36 AM
BibTeX (0)

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100