Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Hamfelt, Andreas - Institutionen för Informationsvetenskap, Uppsala Universitet
Inductive Logic Programming with WellModedness Constraints
Towards a Logic Programming Methodology based on Higherorder Predicates 1
A Combinatory Form of Pure Logic Programs and its Compositional Semantics
Declarative Logic Programming with Primitive Recursive Relations
J. LOGIC PROGRAMMING 1994:18:55-80 5.5 HIERARCHICAL REPRESENTATION OF LEGAL
Representation of Fragmentary Multilayered Knowledge Andreas Hamfelt and A ke Hansson
Automated Software Engineering, 8, 167193, 2001 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
Constructing Logic Programs with HigherOrder Predicates 1
Synthesis of Programs in Computational Logic David Basin1
Formalizing Multiple Interpretation of Legal Knowledge ANDREAS HAMFELT
Inductive Metalogic Programming 1 Andreas Hamfelt
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
