Sebanyak 82 item atau buku ditemukan

Logic, Argumentation and Interpretation

Proceedings of the 22nd IVR World Congress, Granada 2005, Volume V

The volume is divided into five sections. In the first chapter entitled aTheory of argumentationo, contributors debate the idea of a rational modification of beliefs as the basis of rational consensus, the G nther-Alexy debate, Opocher's conception of justice which is taken from a descriptive level to an argumentative one, truth in the field of rhetoric and judicial argumentation as well as sincerity as a necessary condition for effectiveness in legal argumentation. Further sections deal with oAnalysis and representation of argumentso, oContextualized judicial argumentso, oNorms and interpretationso and finally a section on oLogico with contributions on the stit theory and logic problems in the formalization and representation of legal knowledge in constructing an expert system. Contents I. Theory of Argumentation / Teoria de la argumentacion: Jose Manuel Cabra Apalategui: Discurso, racionalidad y persuasion Peng-Hsiang Wang: Coherence and Revision. Critical Remarks on G nther-Alexy Debate Maurizio Manzin: Justice, Argumentation and Truth in Legal Reasoning. In Memory of Enrico Opocher (1914-2004) Federico Puppo: The Problem of Truth in Judicial Argumentation C.E. Smith: Sincerity in Legal Argumentation Theory II. Analysis and Representation of Argumentation /Analisis y representacion de argumentos: Eveline T. Feteris: The Rational Reconstruction of Teleological-Evaluative Arguments Harm Kloosterhuis: Ad Absurdum Arguments in Legal Decisions G nther Kreuzbauer: Visualization of Legal Argumentation III. Contextualized Judicial Argumentation /Argumentacion judicial contextualizada: Marko Novak: Limiting Courts: Towards Greater Consistency of Adjudication in the Civil Law System Sonia Esperanza Rodriguez Boente: Los principios generales del Derecho en la argumentacion juridica Thomas da Rosa de Bustamante / Denis Franco Silva: Prospective Overruling: Why and How it Should be Applied (The example of the Brazilian Legal Systen) Stanislovas Tomas: Theory of Judicial Shamanism Derk Venema: Formalism and Non-formalism in Occupied Holland and Belgium 1940-1945 IV. Norms and Interpretation / Normas e interpretacion: Jaap Hage: Why Norms are not Imperatives Raymundo Gama Leyva: Some ideas about the nature of presumption rules Josep Aguilo-Regla: On presumptions and Legal Argumentation Marijan Pavcnik: Constitutional Interpretation V. Logic / Logica Mateusz Klinowski: Theory of Action on a Tree Jose Pedro Ubeda Rives: Problemas que el Derecho plantea a la logica.

The volume is divided into five sections.

Logic Programming '86

Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.

LEGAL EXPERT SYSTEM LES - 2 H. Yoshino , S. Kagayama , S. Ohta , M. Kitahara , H. Kondoh , M. Nakakawaji ... It was the 1st version of this system and it was developed as a reasoning system for substantial law ( Japanese civil law ) .

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992.

Law and Logic - Making Legal Science a Genuine Science

Proceedings of the Special Workshop Held at the 28th World Congress of the International Association for Philosophy of Law and Social Philosophy in Lisbon, Portugal, 2017

This book focuses on the analysis of law from a logical point of view, that is, on a tradition that is distinctively based on the application of logic as an indispensable device to endorse the scientific claims of legal thought. According to this approach, the obstacles that have prevented the development of law as a science can now be overcome with the use of modern mathematical logic as a formal science of thought. This formal science constitutes an essential tool for analyzing and systematizing the language of which law is made. Using mathematical logic makes it possible to clarify not only the structure of law, but also the structure of legal reasoning. This clarification is the basis for the operability of legal reasoning through computational devices, which constitutes the core of the artificial intelligence (AI) of law. The first part of this book aims to compare this model of legal science with the Kelsenian approach as well as with a model based on theories of knowledge representation found in the field of cognitive science. The second part of the present book deals with the problem of legal science's object from a logical approach.

This book focuses on the analysis of law from a logical point of view, that is, on a tradition that is distinctively based on the application of logic as an indispensable device to endorse the scientific claims of legal thought.

ICIIS and ICESTIIS 2021

Proceedings of the 4th International Colloquium on Interdisciplinary Islamic Studies in conjunction with the 1st International Conference on Education, Science, Technology, Indonesian and Islamic Studies, ICIIS and ICESTIIS 2021, 20-21 October 2021, Jambi, Indonesia

This book is the proceedings of the 4th International Colloquium on Interdisciplinary Islamic Studies (ICIIS), which was held in conjunction with the 1st International Conference on Education, Science, Technology, Indonesian, and Islamic Studies (ICESTIIS) in Jambi, Indonesia, on 20-21 October 2021, using blended platforms, in person and online. The Graduate School of UIN Syarif Hidayatullah Jakarta and UIN Sulthan Thaha Saifuddin, Jambi jointly organized the conference. This conference brought together academic researchers, business professionals, and graduate students to share their experiences and research findings on a wide variety of topics related to interdisciplinary Islamic studies. The proceedings are comprised of 52 high-quality papers chosen from more than 250 submissions. Islam and medicine, Islamic education, Islamic studies, psychology, the Qur'an and Hadith, and science and technology are the six issues covered in the papers. This publication is made possible by the committed steering and organizing committees who oversaw and organized the conference, as well as the reviewers for their academic contributions and commitment to assessing papers.

This book is the proceedings of the 4th International Colloquium on Interdisciplinary Islamic Studies (ICIIS), which was held in conjunction with the 1st International Conference on Education, Science, Technology, Indonesian, and Islamic ...

Islamic perspectives relating to business, arts, culture and communication

Proceedings of the 1st ICIBACC 2014

This timely book explores how the Malays and Muslims in general are faced with challenges in the fields of business, economy and politics, in the modern era of globalisation. These research findings can help the Muslim community to enhance international integration, particularly in Malaysia and Southeast Asia. In this work, scholarly and expert authors explore Islamic perspectives on communication, art and culture, business, and law and policy. They respond to the need to uphold and strengthen the culture, arts and heritage of the Malays. Readers are invited to explore the challenges for the Malay and Muslim world and to evolve strategies to ensure competitiveness, dynamism and sustainability. Topics such as Islamophobia, drug trafficking, savings behaviours and the role of social media are addressed. These reviewed papers were presented at the International Conference on Islamic Business, Art, Culture & Communication 2014, held in Melaka, Malaysia. They have the potential to strengthen aspects of Islamic economy and leadership, if translated into action plans. This book represents essential reading for scholars of Islamic studies and will be of interest to those examining Southeast Asia and the Malay world.

The non-Islamic business practices have led to many problems. ... has also exerted many efforts to encourage sustainable management in entrepreneurship; one of them was the establishment of the National Green Technology Policy.

EC '04

Proceedings of the 5th ACM Conference on Electronic Commerce, New York, New York, USA, May 17-20, 2004

In Proceedings of the 22nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval ... In Proceedings of the 14th Irish International Conference on Artificial Intelligence and Cognitive Science ...

Information and Communication Technology

Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings

This book constitutes the refereed proceedings of the Second IFIP TC 5/8 International Conference on Information and Communication Technology, ICT-Eur Asia 2014, with the collocation of Asia ARES 2014 as a special track on Availability, Reliability and Security, held in Bali, Indonesia, in April 2014. The 70 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers have been organized in the following topical sections: applied modeling and simulation; mobile computing; advanced urban-scale ICT applications; semantic web and knowledge management; cloud computing; image processing; software engineering; collaboration technologies and systems; e-learning; data warehousing and data mining; e-government and e-health; biometric and bioinformatics systems; network security; dependable systems and applications; privacy and trust management; cryptography; multimedia security and dependable systems and applications.

This book constitutes the refereed proceedings of the Second IFIP TC 5/8 International Conference on Information and Communication Technology, ICT-Eur Asia 2014, with the collocation of Asia ARES 2014 as a special track on Availability, ...

Information and Communication Technology

International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013, Proceedings

This book constitutes the refereed proceedings of the International Conference on Information and Communication Technology, ICT-EurAsia 2013, and the collocation of AsiaARES 2013 as a special track on Availability, Reliability, and Security, held in Yogyakarta, Indonesia, in March 2013. The 62 revised full papers presented were carefully reviewed and selected from a numerous submissions. The papers are organized in topical sections on e-society, software engineering, security and privacy, cloud and internet computing, knowledge management, dependable systems and applications, cryptography, privacy and trust management, network analysis and security, and multimedia security.

This book constitutes the refereed proceedings of the International Conference on Information and Communication Technology, ICT-EurAsia 2013, and the collocation of AsiaARES 2013 as a special track on Availability, Reliability, and Security ...

Exploratory Data Analysis in Empirical Research

Proceedings of the 25th Annual Conference of the Gesellschaft für Klassifikation e.V., University of Munich, March 14–16, 2001

This volume presents a selection of new methods and approaches in the field of Exploratory Data Analysis. The reader will find numerous ideas and examples for cross disciplinary applications of classification and data analysis methods in fields such as data and web mining, medicine and biological sciences as well as marketing, finance and management sciences.

This volume presents a selection of new methods and approaches in the field of Exploratory Data Analysis.