We formalized renvoi in private international law in JURIX 2019 in terms of modal logic fragment. In this demonstration paper, we show an implementation of the formalism by translating modal formula into a logic program
A general framework for translating logical formulae from one logic into another logic is presented....
Invited speaker Session 5: Invited Talk and Complexity I (Chair: Dimiter Vakarelov)International aud...
This paper presents the development of a Prolog rule-based system in the domain of Private Internati...
We formalized renvoi in private international law in JURIX 2019 in terms of modal logic fragment. In...
The paper deals with the problem of formalizing the renvoi in private international law. A rule base...
This paper develops a new comprehensive computational framework for reasoning about private internat...
AbstractWe present an application of metaprogramming in logic that, unlike most metaprogramming appl...
We provide a logical analysis of private international law, a rather esoteric, but increasingly impo...
We provide a logical analysis of private international law, a rather esoteric, but increasingly impo...
Private International law (also called Conflict of laws) treats international affairs which involves...
International audienceThe Handbook of Modal Logic contains 20 articles, which collectively introduce...
Private international law (PIL) addresses overlaps and conflicts between legal systems by distributi...
A general framework for translating logical formulae from one logic into another logic is presented....
Modal logic is a widely applicable method of reasoning for many areas of computer science. These are...
We construct explicit bases of admissible rules for a representative class of normal modal logics (...
A general framework for translating logical formulae from one logic into another logic is presented....
Invited speaker Session 5: Invited Talk and Complexity I (Chair: Dimiter Vakarelov)International aud...
This paper presents the development of a Prolog rule-based system in the domain of Private Internati...
We formalized renvoi in private international law in JURIX 2019 in terms of modal logic fragment. In...
The paper deals with the problem of formalizing the renvoi in private international law. A rule base...
This paper develops a new comprehensive computational framework for reasoning about private internat...
AbstractWe present an application of metaprogramming in logic that, unlike most metaprogramming appl...
We provide a logical analysis of private international law, a rather esoteric, but increasingly impo...
We provide a logical analysis of private international law, a rather esoteric, but increasingly impo...
Private International law (also called Conflict of laws) treats international affairs which involves...
International audienceThe Handbook of Modal Logic contains 20 articles, which collectively introduce...
Private international law (PIL) addresses overlaps and conflicts between legal systems by distributi...
A general framework for translating logical formulae from one logic into another logic is presented....
Modal logic is a widely applicable method of reasoning for many areas of computer science. These are...
We construct explicit bases of admissible rules for a representative class of normal modal logics (...
A general framework for translating logical formulae from one logic into another logic is presented....
Invited speaker Session 5: Invited Talk and Complexity I (Chair: Dimiter Vakarelov)International aud...
This paper presents the development of a Prolog rule-based system in the domain of Private Internati...
DOI
Add to ORKG