• The Journal of the Korea Contents Association
• /
• v.13 no.5
• /
• pp.223-233
• /
• 2013

As the injunctive effect on the real estate gets announced in public once the seizure register gets exercised in terms of auction and the action of disposal by the real estate owner afterwards becomes nullified in the relationship with a seizure creditor or a successful bidder, the register performed by the cause of disposal action that cannot confront with the seizure or provisional seizure, becomes cancelled in virtue of a registration officer's office. Accordingly, in case of being a singular successor who relatively loses property in a relationship toward the successful bidder due to the injunctive effect of provisional seizure, the identity with building owner and land owner as the precondition of establishing legal superficies according to the custom must be decided based on the time of provisional seizure. The Supreme Court Decision 2010Da52140 delivered on October 18, 2012 has great significance from the fact that it has settled inconsistency in existing precedent cases with such purpose.

• Journal of the Korea society of information convergence
• /
• v.5 no.2
• /
• pp.37-47
• /
• 2012

I generalized and analyzed the Supreme Court's judgements sentenced form Cho Sun High Court of Jus-tice to the present. Morever I tried to establish the system of a theory for surface rights from the viewpoint of the conventional law and present the direction in law-making political side. 1. The legal surface rights from the viewpoint of the conventional law have not been admited by the usage. Therefore I studied in detail its history, examples of foreign law-making, recognition authority and application object.

• Journal of the International Relations & Interdisciplinary Education
• /
• v.1 no.1
• /
• pp.61-79
• /
• 2021

In order to implement an artificial intelligence lawyer, this study looked at how to structure legal principles, and then gave specific examples of how structured legal principles can be expressed in predicate logic. While previous studies suggested a method of introducing predicate logic for the reasoning engine of artificial intelligence lawyers, this study focused on the method of expressing legal principles with predicate logic based on the structural appearance of legal principles. Jurisprudence was limited to the content of articles and precedents, and the vertical hierarchy leading to 'law facts - legal requirements - legal effect' and the horizontal hierarchy leading to 'legal effect - defense - defense' were examined. In addition, legal facts were classified and explained that most of the legal facts can be usually expressed in unary or binary predicates. In future research, we plan to program the legal principle expressed in predicate logic and realize an inference engine for artificial intelligence lawyers.