HIERARCHICAL REPRESENTATION OF LEGAL KNOWLEDGE WITH METAPROGRAMMING IN LOGIC (1994)

by Jonas Barklund , Andreas Hamfelt
Venue:J. LOGIC PROGRAMMING
Citations:6 - 2 self

Documents Related by Co-Citation

114 Amalgamating language and metalanguage in logic programming – K A Bowen, R A Kowalski - 1982
11 Logic Meta-Programming Facilities in 'LOG – I. Cervesato, G.F. Rossi - 1992
255 The Gödel Programming Language – Patricia M Hill, John W Lloyd - 1994
48 Problems and promises of computational logic – R Kowalski - 1990
28 A metalogic programming language – S Costantini, G A Lanzarone - 1989
12 Reflective Agents in Metalogic Programming – S Costantini, P Dell'Acqua, G A Lanzarone - 1992
7 What is a Meta-Variable in Prolog – J Barklund - 1989
8 Meta-language in logic programming – K Eshghi - 1986
9 An Application of Amalgamated Logic to Multi-Agent Belief – J S Kim, R A Kowalski - 1990
8 Reasoning about Knowledge and Ignorance – L Carlucci Aiello, D Nardi, M Schaerf - 1988
31 Compositional operators for logic theories – A Borgi, P Mancarella, D Pedreschi, F Turini - 1990
71 Un système de communication homme–machine en français. Technical report, Groupe de Intelligence Artificielle Université de Aix-Marseille – A Colmerauer, H Kanoui, R Pasero, P Roussel - 1973
945 A machine-oriented logic based on the resolution principle – John Alan Robinson - 1965
15 A Meta-Level Extension of Prolog, in – K A Bowen, W Weinberg - 1985
60 Analysis of Metaprograms – P Hill, J W Lloyd - 1989
35 Partial Evaluation of Prolog Programs and Its Application to Meta-Programming – A Takeuchi, K Furukawa - 1986
385 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme.” Monatshefte für Mathematik und Physik – Kurt Gödel - 1931
8 Metalevels in Legal Knowledge and their Runnable Representation in Logic – A Hamfelt, J Barklund - 1989
2 Formalizing Multiple Interpretations of Law as Metalogic Programs – J Barklund, A Hamfelt - 1993