bluuebunny/crossref_metadata_2025_split huggingface dataset:
Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut
Authors: Heyninck Jesse , Straßer Christian 
Published: July 2020

Structured argumentation formalisms, such as [Formula: see text], offer a formal model of defeasible reasoning. Usually such formalisms are highly parametrized and modular in order to provide a unifying framework in which different forms of reasoning can be expressed. This generality comes at the price that, in their most general form, formalisms such as [Formula: see text] do not satisfy important rationality postulates, such as non-interference. Similarly, links to other forms of knowledge representation, such as reasoning with maximal consistent sets of rules, are insufficiently studied for [Formula: see text] although such links have been established for other, less complex forms of structured argumentation where defeasible rules are absent. Clearly, for a formal model of defeasible reasoning it is important to understand for which range of parameters the formalism (a) displays a behavior that adheres to common standards of consistency, logical closure and logical relevance and (b) can be adequately described in terms of other well-known forms of knowledge representation. In this paper we answer this question positively for a fragment of [Formula: see text] without the attack form undercut by showing that it satisfies all standard rationality postulates of structured argumentation under stable and preferred semantics and is adequate for reasoning with maximal consistent sets of defeasible rules. The study is general in that we do not impose any other requirements on the strict rules than to be contrapositable and propositional and in that we also consider priorities among defeasible rules, as long as they are ordered by a total preorder and lifted by weakest link. In this way we generalize previous similar results for other structured argumentation frameworks and so shed further light on the close relations between assumption-based argumentation and [Formula: see text].
ANALISIS PIUTANG DAGANG DAN PENERIMAAN KAS DALAM UPAYA PENINGKATAN EFEKTIVITAS PENGENDALIAN PIUTANG CV. DIANA PAPUA MOTOR
Authors: Wijayanti Menik , Martono Stefany Margareta 
Published: July 2020

Tujuan dari penelitian ini adalah untuk mengetahui bagaimana penerapan sistem akuntansi penjualan kredit, penerimaan kas (dari piutang) serta tingkat pengendalian piutang pada CV. Diana Papua Motor. Data yang diperoleh dari data primer dan sekunder. Teknik pengumpulan data mengunakan teknik wawancara, observasi dan kepustakaan. Analisis data dilakukan dengan menganilisis akuntansi penjualan kredit dan sistem akuntansi penerimaan kas yang telah diterapkan pada CV. Diana Papua Motor belum efektif dalam upaya mendukung peningkatan pengendalian piutang. Hal ini disebabkan karena dalam pelaksanaan sistem akuntansi dan penerimaan kas masih ditemukan adanya perangkapan tugas yang dilakukan oleh bagian penjualan kredit dan penerimaan kas. Penulis menyarankan agar perusahaan membentuk bagian kredit dan bagian penagihan tersendiri, perusahaan juga harus membuat kebijakan denda atas setiap keterlambatan pembayaran. Ini bertujuan untuk memperkecil kemungkinan keterlambatan pembayaran dari pelanggan sehingga dapat menciptakan perputaran uang yang sehat pada perusahaan. Sehingga dapat meningkatkan pengendalian piutang pada perusahaan tersebut.
- Effectiveness of Education on Increasing Knowledge, Attitude, and Practice of Hygiene Behavior and Health Attitudes of Preschool-Aged Teachers in North Sumatera. Indonesia
Authors: Rina Amelia  
Published: July 2020

Hygiene Behavior and Health Attitudes (HBHA) in schools is a set of behaviors practiced by students, teachers, and the school community based on awareness as a learning outcome so that they can independently prevent disease, improve their health, and play an active role in creating a healthy environment. The purpose of this study was to analyze the effectiveness of providing education to the level of knowledge, attitudes, and practice of preschool-aged teachers of HBHA in Amanah Preschool-Aged, Langkat Regency, North Sumatera. The research design is a quasi-experimental method with one sample pretest-post design. The population in this study were all Amanah Preschool-Aged teachers in Langkat Regency, North Sumatra. The source of research data is primary data, and data collection is done by interview and observation. Data processing was using SPSS and data analysis using Dependent T-Test. The level of knowledge is the good level with scores before and after the provision of education 80% and 86.7%. The level of attitude category is good, with all the respondents about 15 people (100%), the total score before and after giving the same 100%. The level of practice category is good with scores before and after providing the education 66.7% and 93.3%. The Analysis using dependent T-Test concluded that there is a difference the level of knowledge and practice of HBBA, while for attitudes, no differences found.
TINJAUAN KUALITAS E-BANKING DAN SISTEM PENGENDALIAN INTERN PENERIMAAN KAS (STUDI PADA PT BATAM JAYA PROPERTINDO
Authors: Putra Rizki Eka 
Published: July 2020

perhatian pelanggan, baik pribadi maupun perusahaan. E-Banking juga memberikan kemudahan akses terhadap informasi akuntansi yang dibuat oleh pelanggan untuk mengetahui secara detail transaksi yang terjadi di bank yang bersangkutan. Setiap perusahaan harus memiliki sistem pengendalian internal dari aset yang paling likuid, yaitu uang tunai. Ini dilakukan untuk menghindari penyalahgunaan uang tunai perusahaan. Penelitian berjudul "Tinjauan Kualitas E-Banking dan Penerimaan Kas Studi Kasus Sistem Pengendalian Intern di PT Batam Jaya Propertindo". Tujuan penelitian ini adalah untuk mengetahui kualitas e-banking yang sesuai dengan sistem pengendalian internal perusahaan dan penerimaan kas yang diterapkan oleh perusahaan telah efektif atau tidak. Metode yang digunakan dalam penelitian ini adalah metode observasi langsung. Dengan wawancara dan literatur. Hasil dari penelitian ini adalah pemilihan layanan bank sesuai dengan kebutuhan dan penerimaan sistem pengendalian internal yang baik dan efektif.Kata kunci: Kualitas E-Banking, Sistem Pengendalian Internal Penerimaan Kas
PENGARUH PARTISIPASI ANGGARAN, BUDGET EMPHASIS DAN SELF ESTEEM TERHADAP BUDGETARY SLACK PADA HOTEL BERBINTANG EMPAT DI KOTA BATAM
Authors: HATI RAVIKA PERMATA 
Published: July 2020

Penelitian ini bertujuan untuk mengetahui pengaruh pengaruh partisipasi anggaran, Budget Emphasis, dan Self Esteem terhadap Budgetary Slack pada hotel berbintang empat di kota Batam. Penelitian ini dilakukan dihotel berbintang empat di kota batam. Metode yang digunakan dalam penelitian ini adalah metode teknik survei dengan menyebarkan kuesioner langsung kepada responden (karyawan) pada masing-masing hotel tempat dimana responden bekerja.Berdasarkan hasil penelitian, analisis partisipasi anggaran terhadap budgetary slack menunjukkan bahwa partisipasi anggaran berpengaruh signifikan terhadap budgetary slack, budget emphasis secara parsial atau individu berpengaruh signifikan terhadap budgetary slack, self esteem secara parsial atau individu berpengaruh signifikan terhadap Budgetary Slack, dan pengaruh yang signifikan antara partisipasi anggaran, budget emphasis, dan self esteem secara bersama-sama (simultan) terhadap budgetary slack
ANALISA PENERAPAN PSAK 112 TENTANG TRANSAKSI WAKAF TERHADAP PENERIMAAN, PENGELOLAAN DAN PENGEMBANGAN ASET WAKAF STUDI KASUS PADA BADAN WAKAF INDONESIA KOTA BATAM
Authors: Putri Nina Novitasari eka , Santoso Cahyo Budi 
Published: July 2020

Penelitian ini bertujuan untuk mengetahui apakah perlakuan PSAK 112 tentang pelaporan akuntansi wakaf pada Badan Wakaf Indonesia Kota Batam apakah telah sesuai dengan PSAK 112 atau sebaliknya dengan menggunakan metode deskriptif komparatif yaitu dengan cara mendeskripsikan atau menggambarkan keadaan objek penelitian lalu dibandingkan dengan standar yang ada pada saat itu, denga teknik pengumpulan data observasi, wawancara dan dokumentasi. Dari hasil penelitian penulis menyimpulkan bahwa perlakuan akuntansi wakaf pada pelaporan aset wakaf di Badan Wakaf Indonesia Kota Batam belum sesuai seutuhnya dengan PSAK 112.Secara konseptual beberapa point telah sesuai dan dilakukan namun karena belum terdapat aset wakaf yang sesuai dengan beberapa kriteria khusus menjadikan PSAK 112 belum diterapkan.
ANALISIS DIVIDEND PAYOUT RATIO PADA STUDI PERUSAHAAN MANUFAKTUR SEKTOR INDUSTRI BARANG KONSUMSI
Authors: Martini Rurul Siti 
Published: July 2020

Penelitian ini bertujuan untuk mengetahui pengaruh Current Ratio, Debt to equity dan Return On Assets terhadap Dividend Payout Ratio. Populasi pada penelitian ini adalah perusahaan manufaktur sektor industri barang konsumsi pada Bursa Efek Indonesiakan (BEI) pada tahun 2016-2018. Jenis penelitian ini adalah penelitian kuantitatif dengan Sampel dipilih dari metode purposive sampling yaitu pemilihan anggota sampel berdasarkan kriteria tertentu dan mendapatkan sample 16 perusahaan dari beberapa kriteria. Sumber data adalah data sekunder dari website www.idx.co.id. Riset ini menggunakan analisis regresi linear berganda dengan bantuan program SPSS versi 21. Hasil dari riset ini menunjukan bahwa Current Ratio, Debt to equity dan Return On Assets tidak berpengaruh terhadap Dividend Payout Ratio. Hasil Riset Ini bisa menjadi tambahan informasi bagi investor sebagai pertimbangan keputusan untuk Berinvestasi.
Pemberdayaan Masyarakat Untuk Pengembangan Desa Wisata Di Desa Paku Alam Kecamatan Darmaraja
Authors: Warlina Lia , Aulia Selfa Septiana , Abioso Wanita Subadra , Suheri Tatang , Alamsyah M Indra 
Published: July 2020

ABSTRACT
Paku Alam Village is one of 12 villages in the Darmaraja District, Sumedang Regency. The purpose of community empowerment activities in Paku Alam Village is to see the potency of the community for village tourism development and explore the aspirations of village officials and community leaders. The team consist of lecturers and students from departments of Urban and Regional Planning and Architecture. The implementation of the activities is from December 2018 to March 2019. The activities was carried out by initiation phase, identification of village potentials, gathering aspirations of the community, and explaining the potential of the village to community leaders. Participants in the activity were Paku Alam peoples that the related to the development of the tourism village those were the owner of homestays, restaurants and others . The village community was very enthusiastic in developing this tourism village which is well supported by the district government. The activity by obtaining village potential and community aspirations in the development of a tourism village in the Paku Alam Village was relatively successful.
Key words: community empowerment, tourism village,

ABSTRAK
Desa Paku Alam merupakan salah satu dari 12 desa yang berada di wilayah Kecamatan Darmaraja, Kabupaten Sumedang. Tujuan dari kegiatan pemberdayaan masyarakat dalam pengembangan desa wisata di Desa Paku Alam adalah untuk melihat potensi yang ada di desa tersebut dari aspek lokasi dan masyarakat untuk pengembangan desa sebagai desa wisata, dan menggali aspirasi dari aparat desa dan tokoh masyarakat untuk pengembangan wisata berbasis masyarakat. Tim pelaksana adalah dosen di program studi Perencanaan Wilayah dan Kota (PWK) serta Arsitektur dan beberapa mahasiswa. Pelaksanaan kegiatan adalah dari bulan Desember 2018 sampai Maret 2019. Kegiatan dilaksanakan dengan melaksanakan inisiasi, identifikasi potensi desa, pengumpulan ide dan aspirasi masyarakat, dan pemaparan potensi desa kepada tokoh masyarakat. Peserta kegiatan adalah kepala desa, pelaku usaha yang berkaitan dengan pengembangan desa wisata. Masyarakat desa sangat antusias dalam pengembangan desa wisata ini yang didukung dengan baik oleh pemerintah kabupaten. Kegiatan untuk memperoleh potensi desa dan aspirasi masyarakat dalam pengembangan desa wisata di Desa Paku Alam dapat dikatakan cukup berhasil.
Kata kunci: desa wisata, pemberdayaan masyarakat
SISTEM HUKUM HUBUNGAN INDUSTRIAL PANCASILA DAN PRODUKTIVITAS PERUSAHAAN DAN KESEJAHTERAAN PEKERJA/BURUH
Authors: Zulkarnaen Ahmad Hunaeni 
Published: July 2020

Sistem demokrasi ekonomi Pancasila merupakan sistem demokrasi ekonomi konstitusional dalam sebuah konsep negara hukum modern dengan pola negara kesejahteraan, atau suatu sistem demokrasi ekonomi sebagai hasil pengejawantahan dari konsep integralistik Pancasila, yaitu suatu konsep sistem demokrasi ekonomi yang bukan saja hanya mengejar pertumbuhan untuk sekelompok kecil anggota masyarakat, tetapi juga mengutamakan kesejahteraan bagi seluruh rakyat Indonesia (pemerataan), oleh karenanya suatu perusahaan yang menjalankan pemerasan terhadap pekerja/buruh (exploitation des I’Homme par l’Homme) harus dicegah, dan tidak boleh dikembangkan di Indonesia, karena praktek pemerasan tersebut sangat bertentangan dengan sistem integralistik demokrasi ekonomi Pancasila, yang mengutamakan kesejahteraan bagi seluruh rakyat Indonesia (pemerataan). Guna mengatur hubungan yang terbentuk antara para pelaku dalam proses produksi barang dan jasa yang menyangkut aspek ekonomi, sosial, politik dan budaya, yang berkaitan dengan hubungan pekerja/buruh, pengusaha, dan pemerintah yang didalamnya secara mekanik dan fungsional saling berhubungan antara komponen jiwa bangsa hukum, struktural hukum, subtansi hukum dan budaya hukum dengan tujuan mencapai produktivitas perusahaan dan kesejahteraan pekerja/buruh berdasarkan pada nilai-nilai Pancasila dan UUD 1945.
PROTOTYPE POLA ASUH KELUARGA DAN DAMPAKNYA (Suatu Kajian Pendidikan Hukum Anti Kekerasan dalam Islam )
Authors: Solihah Cucu 
Published: July 2020

Sifat dan karakter anak akan sangat dipengengaruhi oleh pola asuh keluarga, pola asuh dengan kekerasan akan berdampak terhadap sifat dan karakter anak di kemudian hari, bahkan akan melahirkan bentuk kekerasan-kekerasan lainnya dan Islam sangat menentang kekerasan dalam bentuk apapun termasuk dalam kehidupan rumah tangga. Kasus kekerasan dan penindasan yang menimpa kemanusiaan telah memotivasi banyak kalangan termasuk kalangan akademisi untuk menggali cara hidup dan pranata kehidupan yang lebih adil dan penuh kedamaian. Dalam konteks kajian ini, diharapkan menjadi suatu model yang akan dipergunakan masyarakat sekaligus membuka wawasan akan hakikat pola asuh keluarga yang bermartabat dalam proses penyadaran masyarakat dalam hal pola asuh keluarga.
PERLINDUNGAN HUKUM TERHADAP TENAGA KERJA WANITA (TKW) YANG BERMASALAH DI SUKABUMI
Authors: Astri R. Eriska, Haidan, 
Published: July 2020

Kekerasan terhadap terhadap TKW sering terjadi dimana-mana termasuk di luar negeri, hampir setiap hari TKW asal Indonesia yang bekerja diluar negeri mengalami perlakuan yang sangat tidak wajar dari majikannya. Karena masih ada di Negara tujuan yang mengaggap bahwa TKW itu adalah budak dan layak diperlakukan sesuai keinginan dari majikannya. Berbagai perlakuan melanggar hukum yang diterima tenaga kerja wanita memerlukan kajian bagaimana pengaturan hukum tentang perlindungan terhadap tenaga kerja wanita (TKI) di sukabumi serta bagaimana peran Disnakertrans Sukabumi dalam memberikan perlindungan hukum terhadap para tenaga kerja wanita (TKW) yang bermasalah. Salah satu faktor utama penyebab TKW ingin bekerja ke luar negeri adalah faktor ekonomi,walaupun tidak dipungkiri ada beberapa faktor lainnya yang menyebabkan tenaga kerja wanita khususnya memutuskan bekerja diluar negeri. Beberapa negara sudah membuat aturan untuk menghentikan penerimaan tenaga kerja di sektor informal, walaupun untuk beberapa negara Asia masih memerima tenaga kerja wanita untuk bekerja di sektor informal, contohnya, Malayasia, Brunei Darrusalam, Taiwan, Hongkong, dan negara Asia lainnya. Pemerintah sudah berupaya untuk mengawasi dan memberikan perlindungan, tetapi dari sudut pandang pekerja hendaknya harus selalu memahami bentuk isi perjanjian kerja sehingga pekerjaa betul-betul memahami hak dan kewajibannya, selain itu pekerja harus menyimpan perjanjian kerja tersebut.
PERUBAHAN FUNGSI MEDIASI DALAM PRAKTEK DI PENGADILAN NEGERI DAN PENGADILAN AGAMA KAITANNYA DENGAN PERATURAN MAHKAMAH AGUNG REPUBLIK INDONESIA NOMOR 1 TAHUN 2016 TENTANG PROSEDUR MEDIASI DI PENGADILAN
Authors: Pranadita Nugraha 
Published: July 2020

Abstrak
Pada umumnya masyarakat menganggap bahwa penyelesaian sengketa keperdataan yang tidak berhasil “dimusyawarahkan” hanya dapat diselesaikan di pengadilan. Adanya pemikiran tersebut tidak terlepas dari “belum merakyatnya” berbagai lembaga penyelesaian sengketa yang bersifat alternatif yang sesungguhnya sudah tersedia di masyarakat. Salah satu lembaga yang dimaksud adalah lembaga mediasi. Lembaga mediasi mempunyai kelebihan dan kekurangan dibandingkan dengan lembaga peradilan dalam menyelesaikan sengketa keperdataan, Kehadiran lembaga mediasi pada kenyataannya dapat mengurangi “beban kerja” lembaga peradilan. Dalam perkembangannya fungsi lembaga mediasi ini sudah mengalami perubahan dari fungsi asasinya sebagai “penyelesai sengketa” menjadi “pencegah timbulnya sengketa” dengan adanya campur tangan peraturan perundang-undangan.

Kata kunci: sengketa, pengadilan, mediasi, dan mediator, .

Abstract
In people’s daily life, the existence of a market is needed to meet the primary meeds (food). On the issue of “price” and “shopping convenience”, people have a tendency to compare between the traditional with the modern market. In fact what is meant by “price comparison” here is relative because it is associated with the problem of “certainty” the weight or volume of the goods themselves are sometimes not noticed by consumers. On the other hand the government has provided a means to protect the rights of consumers with the consumer protection laws that may still not have been aware of its existence by the majority of the Indonesian people.

Key words: traditinal market, modern market, consumers, and price comparison
ANALISIS INFORMED CONSENT TERHADAP PERLINDUNGAN HUKUM TENAGA KESEHATAN DI RUMAH SAKIT UMUM DAERAH KOTA BANDUNG
Authors: Dhita Annisa Wahyudi, 
Published: July 2020

The research aims to determine the analiysis of informed consent to the health staff legal protection at bandung regional public hospital. Informed consent is an agreement of medical action through a process of communication between the doctor and the patient about the agreement of medical action that the medical staff would do to the patient. The research method used is a juridical normative qualitative research method with a descriptive approach. Data collection techniques used are by way of literature studies related to the subject, interviews and field observations. The results of the research showed that in general the informed consent at bandung regional public hospital had been optimally implemented and in accordance with the SOP (Standard Operating Procedure) in the hospital and there was also a General Consent, it’s a general agreement of the patient. Informed consent that has been optimally implemented and in accordance with the regulations in this hospital could protect the health staff and medical staff in carrying out medical actions on patients. For the suggestion given by researchers about health staff and medical staff have to give the socialization about the procedures of informed consent and medical staff have to understand about statute of law that exist, especially to the health staff and the hospital regulations
Pengembangan Modul dan Trainer Mikrokontroler
Authors: Djunaedi Wildan Zulfikar 
Published: July 2020

Abstrak – Proses belajar mengajar merupakan unsur yang sangat penting dalam dunia Pendidikan, level kompetensi seseorang untuk bersaing di dunia kerja dapat ditunjang dengan proses belajar mengajar yang baik serta sarana yang memadai. Teknologi terbaru memiliki banyak manfaat yang sangat berguna bagi kehidupan sehari – hari seperti teknologi mikrokontroler, teknologi wireless ataupun IoT (Internet of Things). Perancangan trainer dibuat berdasarkan kebutuhan SMK yang mencakup modul dasar dan modul komunikasi agar dapat digunakan untuk program - program yang lebih interaktif. Pengujian modul dasar seperti LED, push button, motor servo, motor dc, motor stepper, relay, lcd, sensor (jarak, suhu dan PIR) setiap program dapat berjalan dengan baik, serta modul komunikasi yang diujicobakan dengan menggunakan program desktop berjalan dengan baik. Pengujian kelayakan dilakukan dengan memberikan kuisoner pada siswa SMK kelas 12, pengolahan data dilakukan dengan menggunakan skala likert, dari 3 kategori yang diberikan lewat kuisoner untuk aspek “Kualitas Isi dan Tujuan” memiliki persentase 80,5% termasuk dalam kategori sangat setuju, untuk aspek “Kualitas Pembelajaran” memiliki persentase 80,1% termasuk dalam kategori sangat setuju, dan untuk aspek “Teknis” memiliki persentase 78,5% termasuk dalam kategori setuju.. Berdasarkan perolehan persentase diatas, dapat disimpulkan bahwa trainer yang dirancang dapat diterima oleh siswa SMK.
Kata kunci : trainer, mikrokontroler, SMK, skala likert, wireless.
Perancangan Dan Implemetasi Sensor GPS Pada Sistem Navigasi Multirotor
Authors: Firdaus Ramadan 
Published: July 2020

Sistem navigasi autonomous merupakan suatu sistem yang sangat dibutuhkan oleh robot untuk dapat bergerak tanpa bantuan manusia, drone adalah salah satu jenis robot terbang yang dapat bergerak tanpa adanya pilot didalamnya. Sistem navigasi autononomous pada sebuah drone dibangun oleh beberapa sensor yang terhubung dengan mikrokontroller untuk diproses menjadi sikap dan gerakan drone untuk dapat bernavigasi sesuai dengan program yang diinginkan. GPS dapat digunakan oleh suatu drone untuk mengetahui lokasi suatu drone pada permukaan bumi karena GPS dapat menerima sinyal yang dipancarkan oleh satelit kemudia merubahnya menjadi suatu titik lokasi yang memiliki nilai. Setiap bagian dimuka bumi saat ini sudah hampir dapat dijangkau oleh sinyal satelit, sehingga setiap lokasi dibagian bumi memiliki titik koordinat longitude dan latitude yang berbeda. Dengan menggunakan GPS dapat dirancang suatu sistem autonomous untuk drone agar dapat bergerak dari satu titik dipermukaan bumi menuju titik yang lainnya atau yang disebut dengan sistem waypoint. Dalam sistem navigasi autonomous ini dibuat suatu sistem navigasi jarak jauh bagi drone berjenis hexacopter, sistem ini dibuat untuk mengetahui kepresisian sensor GPS ketika digunakan untuk bernavigasi dari satu lokasi menuju titik lokasi yang lainnya. Dalam melaksanakan misinya drone akan diberikan beberapa waypoint yang berisikan nilai-nilai longitude dan latitude yang harus dicapai oleh hexacopter dalam menjalakan misi. Dalam penelitian didapatkan hasil yaitu sistem navigasi berbasis GPS dapat membuat drone bernavigasi memasuki area yang diingikan dalam radius 1 meter dari titik koordinat (setpoint) yang dimasukan dengan jumlah satelit yang didapatkan oleh GPS adalah 24 satelit, dan keluar dari radius 1 meter saat jumlah satelit yang diterima adalah 19 satelit.