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.
Jürgen Dix Knihy






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.
Multiagent system technologies
- 220 stránek
- 8 hodin čtení
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
Foundations of information and knowledge systems
- 331 stránek
- 12 hodin čtení
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.
Logic programming and knowledge representation
- 246 stránek
- 9 hodin čtení
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.
Logic programming and nonmonotonic reasoning
- 453 stránek
- 16 hodin čtení
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.
Non-monotonic extensions of logic programming
- 224 stránek
- 8 hodin čtení
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled „Prolegomena to Logic Programming for Non-Monotonic Reasoning“ deserves special mentioning; it contains a bibliography listing 136 entries.