Sebanyak 1549 item atau buku ditemukan

Logic, Language, Information, and Computation

21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, ...

Logic, Language, Information, and Computation

20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, ...

Logic Based Program Synthesis and Transformation

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development.

Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010.

Logic and Argumentation

Proceedings of the Colloquium, 'Logic and Argumentation', Amsterdam, 14-17 June 1994

Paperback. This volume finds its origin in a colloquium on Logic and Argumentation, held in June 1994 in Amsterdam and sponsored by the Royal Netherlands Academy of Arts and Sciences. The papers included have been selected for the role they can play in illuminating current thinking about the various kinds of relations between logic and argumentation.Aiming to provide some background to the academic endeavour of exploring the connections between logic and argumentation this volume offers the reader some representative specimina of current thinking about this subject.

Non - monotonic Reasoning . Logical foundations of Common - sense . ... Amsterdam : Compute - Law Institute VU , pp . 10-20 . ... A dialogical model of legal reasoning ' . In : C. Gruetters e.a. ( eds . ) . Legal Knowledge Based Systems ...

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.

Indeterminacy

A Challenge to Logic-based Models of Legal Reasoning

An Essay on the Principle of Population

Influences on Malthus, Selections from Malthus' Work, Nineteenth-century Comment, Malthus in the Twenty-first Century

While millions face hunger, malnutrition, and starvation, the world s population is increasing by over 225,000 people per day, 80 million per year."

While millions face hunger, malnutrition, and starvation, the world's population is increasing by over 225,000 people per day, 80 million per year.

Self-Complementary Antennas

Principle of Self-Complementarity for Constant Impedance

An antenna with a self-complementary structure has a constant input impedance, independent of the source frequency and of the shape of the structure. The principle for this property of constant impedance was discovered by Professor Mushiake himself. This is the first study which comprehensively describes the principles of self-complementarity in antennas. It explains the theory which was the basis of the development of this principle and presents various engineering applications with an emphasis on extremely broadband self-complementary antennas. Self-Complementary Antennas will be of particular interest to antenna engineers working with extremely large bandwidths and more generally to electrical engineers with an interest in the development of the field since 1948.

The principle for this property of constant impedance was discovered by Professor Mushiake himself. This is the first study which comprehensively describes the principles of self-complementarity in antennas.