Jürgen Dix Bücher

This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.

In recent years, the concept of agency has significantly influenced modern research across various disciplines, including sociology, psychology, and philosophy. This agent paradigm has permeated computer science, particularly in its applications for the Internet and robotics. Multi-agent systems (MAS) consist of entities that can perceive and act within their environments to achieve both individual and collective goals. The development of such systems integrates a range of technologies and concepts from artificial intelligence and computing. MAS applications are diverse, spanning search engines, educational tools, and electronic commerce. While often implemented using imperative languages for efficiency, the agent concept has increasingly impacted the research and development of computational logic-based systems. Computational logic offers a well-defined and rigorous framework for systematically studying computation, encompassing syntax, semantics, procedures, and implementations. This approach addresses problems at a sufficient level of abstraction, allowing for generalization across different domains. The foundational nature of logic in both substance and method is one of the major strengths of computational logic, enabling it to provide effective solutions across various problem areas.

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. The 14 papers included in this volume were carefully reviewed and selected from 31 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. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning. 

The content includes a series of invited talks and discussions focused on multi-agent systems and their applications. Key topics cover tournament solutions, simulation-aided design challenges, and model-driven development for platform-neutral agents. It addresses formal specification methods for real-time multi-agent systems and explores user-evaluated explainable BDI agents, emphasizing trust, norms, and reputation in these systems. The role of feedback in multi-agent reputation systems and normative deliberation in graded BDI agents is examined, alongside strategies for inducing desirable behavior through incentive infrastructures. The text also discusses various models, tools, and architectures, including SONAR/OREDI, which facilitates the creation and deployment of organizational models. It highlights the importance of enhancing interoperability between multi-agent systems and service-oriented architectures through a model-driven approach and unifying agent and component concepts. Applications are explored in two sections, with the first focusing on the impact of competition on service quality in demand-responsive transit, distributed agent environments for pervasive healthcare, and context-aware route planning. The second section addresses price prediction in sports betting markets and modeling distributed network security using Petri net- and agent-based approaches. Additionally, it covers social conformity in reinforc

InhaltsverzeichnisInvited Presentation.The Semijoin Algebra.Regular Papers.Equational Constraint Solving Via a Restricted Form of Universal Quantification.Modeling the Evolution of Objects in Temporal Information Systems.Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel.Iterative Modification and Incremental Evaluation of Preference Queries.On the Number of Independent Functional Dependencies.Arity and Alternation: A Proper Hierarchy in Higher Order Logics.Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results.The Nested List Normal Form for Functional and Multivalued Dependencies.Axiomatising Functional Dependencies for XML with Frequencies.Guarded Open Answer Set Programming with Generalized Literals.Reasoning Support for Expressive Ontology Languages Using a Theorem Prover.Consistency Checking Algorithms for Restricted UML Class Diagrams.Some Contributions to the Minimum Representation Problem of Key Systems.On Multivalued Dependencies in Fixed and Undetermined Universes.Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context.Processing Ranked Queries with the Minimum Space.Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm.

This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 submissions from 17 countries. The rst JELIA meeting was in Rosco , France, ten years ago. Afterwards, it took place in the Netherlands, Germany, United Kingdom, Portugal, and now again in Germany. The proceedings of the last four meetings appeared in the Springer-Verlag LNCS series, and a selected series of papers of the English and the Portuguese meeting appeared as special issues in the Journal of Applied Non-Classical Logics and in the Journal of Automated Reasoning, respectively. The aim of JELIA was and still is to provide a forum for the exchange of ideas and results in the domain of foundations of AI, focusing on rigorous descriptions of some aspects of intelligence. These descriptions are promoted by applications, and produced by logical tools and methods. The papers contained in this volume cover the following topics: 1. Logic programming 2. Epistemic logics 3. Theorem proving 4. Non-monotonic reasoning 5. Non-standard logics 6. Knowledge representation 7. Higher order logics We would like to warmly thank the authors, the invited speakers, the m- bers of the program committee, and the additional reviewers listed below. They all have made these proceedings possible and ensured their quality.

This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997. The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.