Search results for: logic-programs-norms-and-action

Logic Programs Norms and Action

Author : Alexander Artikis
File Size : 33.90 MB
Format : PDF, Kindle
Download : 891
Read : 1158
Download »
This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas including artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics. By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas, and applying to all his capacity to understand the subtleties of social interaction and normative reasoning, Professor Sergot has opened up new directions of research, and has been a reference, an inspiration, and a model for many researchers in the fields to which he has contributed. The Festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.

Logic Programming and Nonmonotonic Reasoning

Author : Francesco Calimeri
File Size : 33.18 MB
Format : PDF, Mobi
Download : 616
Read : 297
Download »
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.

Breaching Norms and Legitimating Action

Author : Marjorie Ellen Sarbaugh-Thompson
File Size : 43.66 MB
Format : PDF, Mobi
Download : 361
Read : 457
Download »

Library of Congress Subject Headings

Author : Library of Congress
File Size : 24.51 MB
Format : PDF, Docs
Download : 334
Read : 1232
Download »

The Philosophy of Georg Henrik Von Wright

Author : Georg Henrik von Wright
File Size : 56.90 MB
Format : PDF, ePub, Mobi
Download : 812
Read : 760
Download »
Georg Henrik von Wright, born in Helsinki in 1916, is the most renowned Scandinavian philosopher of our time, and an outstanding contributor to many fields of philosophy. He has made important contributions to logical theory and extended the application of logic to new areas, making path-breaking discoveries in probability theory, induction, causation and determinism, human action, and ethics. This work contains von Wright's intellectual autobiography, 32 major criticisms of his ideas, and von Wright's replies to each of these papers, followed by a complete bibliography of his works.

Computational Logic in Multi Agent Systems

Author : Joao Leite
File Size : 38.61 MB
Format : PDF, ePub, Mobi
Download : 674
Read : 1229
Download »
This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.

Erotetic Logic Deontic Logic and Other Logical Matters

Author : Andrzej Wiśniewski
File Size : 87.88 MB
Format : PDF, ePub
Download : 670
Read : 1307
Download »

Readings in Artificial Intelligence

Author : Saul Amarel
File Size : 83.42 MB
Format : PDF, Docs
Download : 837
Read : 380
Download »
Search and search representations; Deduction; Problem-solving and planning; Expert systems and AI applications; Advanced topics; Index.

Revue roumaine des sciences sociales

Author :
File Size : 28.43 MB
Format : PDF, Mobi
Download : 819
Read : 907
Download »

The Artificial intelligence compendium

Author :
File Size : 21.1 MB
Format : PDF, ePub
Download : 289
Read : 709
Download »

Legal Norms and Legal Science

Author : Ronald Moore
File Size : 47.69 MB
Format : PDF, ePub, Docs
Download : 190
Read : 219
Download »

MICAI

Author :
File Size : 71.25 MB
Format : PDF, ePub
Download : 333
Read : 336
Download »

Fault tolerant Reasoning

Author : Raymundo Morado
File Size : 75.80 MB
Format : PDF, Docs
Download : 332
Read : 1270
Download »

Logic Artificial Intelligence and Robotics

Author : Jair Minoro Abe
File Size : 64.39 MB
Format : PDF, ePub
Download : 243
Read : 493
Download »

Report of Actions Taken by State Board of Education

Author : California. State Board of Education
File Size : 32.98 MB
Format : PDF, ePub
Download : 672
Read : 1028
Download »

Logic and Dialectics

Author : Petru Ioan
File Size : 66.62 MB
Format : PDF, ePub, Mobi
Download : 173
Read : 1131
Download »

Data Knowledge Engineering

Author :
File Size : 80.28 MB
Format : PDF, Mobi
Download : 210
Read : 637
Download »

Organizing Political Institutions

Author : Morten Egeberg
File Size : 72.65 MB
Format : PDF, Mobi
Download : 525
Read : 1327
Download »

IJCAI 93

Author : Ruzena Bajcsy
File Size : 85.75 MB
Format : PDF, ePub
Download : 870
Read : 957
Download »

Using a Logic Model to Review and Analyze an Environmental Education Program

Author : Thomas Joseph Marcinkowski
File Size : 24.16 MB
Format : PDF, ePub, Docs
Download : 246
Read : 1141
Download »