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

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

Active Bibliography

17 Metaprogramming in Logic – Jonas Barklund, Computer Science, Edited Allen Kent - 1994
10 Meta-reasoning: a Survey – Stefania Costantini - 2002
8 A Basis for a Multilevel Metalogic Programming Language – Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua - 1994
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
46 Meta-Programming in Logic Programming – P.M. Hill, J.G. Gallagher, P. M. Hill, J. Gallagher - 1994
Theories and Proofs in Fault Diagnosis – Ilyas Cicekli
178 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
1 Structural Properties of Logic Programs – James Harland, Key Centre, Knowledge Based Systems
22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
3 Extending Horn Clause Theories by Reflection Principles – Stefania Costantini, Pierangelo Dell'Acqua, Gaetano A. Lanzarone - 1995
4 Meta-Programming in CLP(R) – Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap - 1994
22 Prolegomena to Logic Programming for Non-Monotonic Reasoning – Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
35 The Role of Logic in Computational Models of Legal Argument - a Critical Survey – Henry Prakken, Giovanni Sartor - 2001
5 Meta-programming with Theory Systems – Jonas Barklund, Katrin Boberg, Margus Veanes - 1995
1 Parallel Logic Programming With Extensions – Luís Moniz Pereira, Lu'is Moniz Pereira, Luís Damas, José C. Cunha, Ciencia Dos Computadores - 1995
108 A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning – H. Prakken, G. Sartor - 1996
Legal Knowledge Based Systems – Jurix The Relation, H. Prakken, A. J. Muntjewerff, A. Soeteman, Mr. C. N. J, Vey Mestdagh, Nienke Den Haan, Radboud Winkels
5 Formalizing Multiple Interpretation of Legal Knowledge – Andreas Hamfelt - 1996
3 On the Declarative and Procedural Semantics of Definite Metalogic Programs – Christopher P. Higgins, Nathan Qld - 1994