|
17
|
Metaprogramming in Logic
– Jonas Barklund, Computer Science, Edited Allen Kent
- 1994
|
|
9
|
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
|
|
43
|
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
|
|
163
|
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
|
|
28
|
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
|
|
87
|
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
|
