DEADLINE FOR SUBMISSION JANUARY 31 2026

All details: https://www.semsys.aau.at/events/iclp2026/

Sergio joined Portland State University’s Maseeh College of Engineering and Computer Science, where he also served as the Associate Chair for Graduate Education. He earned his Ph.D. in Computer Science from the University of Maryland in 1987 and dedicated his career to advancing the science of programming, with particular emphasis on declarative programming languages.

His primary research focused on functional logic programming, with a particular emphasis on the theory and practice of narrowing. He was internationally recognized for his foundational work on “needed narrowing,” an optimal computational strategy that significantly influenced the design and implementation of modern declarative programming languages, most notably the language Curry. He was a prolific author of highly-cited papers and a key contributor to the development of the Portland Aachen Kiel Curry System (PAKCS).

Sergio’s passion for logic and program design inspired countless students and colleagues. His contributions have left a lasting impact on his field, and he will be remembered for his intellectual rigor, his kindness, and his profound commitment to academia. He will also be remembered by all those who knew him for his passion for life and contagious enthusiasm and positivity. The entire Association for Logic Programming joins his family and friends in remembering Sergio. 

Since 1987, the International Conference on Artificial Intelligence and Law (ICAIL) has been the foremost international conference addressing research in Artificial Intelligence and Law. It is organized under the auspices of the International Association for Artificial Intelligence and Law (IAAIL) in cooperation with the Association for the Advancement of Artificial Intelligence (AAAI).
The IAAIL Executive Committee has decided to make ICAIL an annual conference from the 2025 edition onwards. The 21st edition will be the first time an ICAIL will be held a year after the previous edition. For this edition, ICAIL will be in Asia for the first time, hosted by the Yong Pung How School of Law at the Singapore Management University (SMU).
All the ICAIL proceedings have been published by ACM in the conference proceeding series. We invite submissions of papers, technology demonstrations, as well as proposals for workshops and tutorials.

Call for Papers

We invite submission of original papers on Artificial Intelligence & Law, covering foundations, methods, tools, systems and applications. Topics may include, but are not limited to, the following:
Argument mining on legal texts

• Classification and automatic summarization of legal text
• Computational methods for negotiation and contract formation
• Computer-assisted dispute resolution
• Computable representations of legal rules and domain specific languages for the law
• Decision support systems in the legal domain
• Deep learning on data and text from the legal domain
• Dialog systems in the legal domain
• e-discovery and e-disclosure
• e-government, e-democracy and e-justice
• Empirical research (quantitative and qualitative analysis) on the use of AI systems in legal practice (for example in law courts, lawmaking, legal education and legislative/normative or adjudicative activities in public administration)
• Innovative applications in AI and Law
• Philosophical and legal-theoretical analysis of the significance and implications of methodologies or technical features of AI systems (particularly in applications to Law) with respect to fundamental legal concepts and ethical issues. 
• Systems and methods designed for compliance checking with respect to normative principles, rules and standards (legal or ethical)
• Methodologies for the technical design in AI systems of compliance with normative principles, rules and standards of trustworthy or responsible AI 
• Explainable AI for the legal domain
• Formal and computational models of legal reasoning (e.g., argumentation, case-based reasoning), including deontic logics
• Formal and conceptual modeling of fundamental legal concepts
• Formal and computational models of evidential reasoning
• Formal models of norms and norm-governed systems
• Information extraction from legal databases and texts
• Information retrieval, question answering, and literature recommendation in the legal domain
• Intelligent legal tutoring systems
• Intelligent support systems for forensics
• Interdisciplinary applications of legal informatics methods and systems
• Knowledge acquisition techniques for the legal domain, including related applications of natural language processing, argument, and data mining
• Knowledge representation, knowledge engineering, and ontologies in the legal domain
• Legal design involving AI techniques
• Machine learning and data analytics applied to the legal domain
• Natural language processing of legal text, including law-specific standard NLP tasks (e.g., Named Entity Recognition, Semantic Role Labeling, Translation, etc.)
• Applications of generative AI systems (LLMs) to the legal domain in connection to machine learning systems or knowledge representation systems 
• Normative reasoning by autonomous agents
• Neuro-symbolic approaches in the legal domain
• Open and linked data in the legal domain
• Smart contracts and application of blockchain in the legal domain
• Visualization techniques for legal information and data

The Italian Conference on Computational Logic (CILC) is the annual event of the Italian Association for Logic Programming (GULP – Gruppo Ricercatori e Utenti Logic Programming). Since its first edition, held in Genoa in 1986, the conference has served as an important venue for researchers, developers, and users to meet and exchange ideas and experiences in the field of computational logic. Over the years, the scope of the conference has expanded beyond its original focus on logic programming to embrace the broader domain of computational logic. This includes areas such as declarative programming, constraint programming, and applications in closely related fields like artificial intelligence.

The 40th Italian Conference on Computational Logic (CILC 2025) was held in Alghero at the University of Sassari from 25 to 27 June. The event attracted over 43 participants from universities and research institutions across Italy and the United Kingdom.

The program included 35 presentations, comprising invited talks and tutorials, original contributions (both full and short papers), and papers previously published elsewhere. The accepted contributions covered a wide range of topics in computational logic and its applications, including:

• Applications of Computational Logic and System
• Neuro-Symbolic Learning
• Explainability
• Analysis and Verification
• Probabilistic Logic Programming and Process Mining
• Answer Set Programming
• Natural Language Processing
• Data Mining and Data Integration
• Knowledge Representation
• Logic
• Argumentation

All accepted submissions underwent a rigorous peer-review process. Each original contribution was evaluated by two anonymous reviewers from the Program Committee to ensure high scientific quality. Non-original papers, already published elsewhere, were also reviewed to verify their relevance to the aims and scope of the conference. These non-original papers are not included in the CEUR 4003 volume ; however, references to their original publications are provided at the end of the table of contents.
Out of 32 submissions, 32 papers were selected by the Program Committee. Of these, 22 are included in this volume – 20 as regular papers and 2 as short papers – while the remaining 10 were presented at the conference but had already been published elsewhere.

The Best Student Paper Award was conferred to S. Sambri, A. Ghanbari, and F. Riguzzi for their paper entitled “An Evaluation of Open Source LLMs for Neuro-Symbolic Integration”

The conference also featured two invited talks by distinguished researchers: Arguing Together: The Evolution of a Concurrent and Timed Argumentation Language, by Stefano Bistarelli (University of Perugia, Italy) Rough Knowledge and its Refinement, by Rafael Peñaloza (University of Milano-Bicocca, Italy) In addition, the program included an invited tutorial on Answer Set Programming with quantifiers:
ASP with Quantifiers: A Natural and Efficient Way to Tackle Problems Beyond NP, by Giuseppe Mazzotta (University of Calabria, Italy)

We would like to warmly thank everyone who contributed to the success of CILC 2025, especially the University of Sassari for hosting us, with particular appreciation for the Department of Architecture in Alghero. We are also grateful to the University of Sassari for sponsoring the three invited speakers.
Our sincere thanks go to all the authors of the submitted papers, the invited speakers, the members of the Program Committee, and the anonymous reviewers for their invaluable contributions. We also wish to express our gratitude to the President of GULP, Marco Gavanelli, the GULP Secretary, Emanuele De Angelis, and all members of the GULP Board for their ongoing support and insightful suggestions.
Finally, a special thanks to all the attendees who helped make CILC 2025 a vibrant forum for engaging
discussions on key research topics and challenges in computational logic

41st International Conference on Logic Programming (ICLP’25)

University of Calabria, Rende, Italy | September 12-19, 2025

https://iclp25.demacs.unical.it

SCOPE

Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:

Theoretical Foundations:

Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results.

Language Design and Programming Methodologies:

Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Theory reasoning, Answer set programming, Inductive logic programming, Coinductive logic programming.

Program Analysis and Optimization:

Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs.

Implementation Methodologies and Applications:

Compilation, Constraint implementation, Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces.

IMPORTANT DATES

– Paper registration (regular papers): April 13, 2025

– Paper submission (regular papers): April 18, 2025

– Notification (regular papers): May 25, 2025

– Paper submission (TC papers, IJCAI Fast Track papers): June 15, 2025

– Revision submission (TPLP papers): June 15, 2025

– Final notification: July 6, 2025

– Final version: July 27, 2025

– Main conference: September 15-19, 2025

TRACKS AND SPECIAL SESSIONS

In addition to the main track, ICLP’25 will host:

– IJCAI Fast Track: The notification date for IJCAI’25 does not allow authors of rejected papers to submit to ICLP’25. In coordination with the IJCAI’25 program chairs, we have therefore instituted a process by which authors can submit revised versions of such rejected papers directly to ICLP’25. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI’25 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP’25. The submission will then enter the “revision” phase and be considered for publication in TPLP.

– Recently Published Research Track: Detailed information will be announced separately.

AFFILIATED EVENTS

– Workshops: September 12-14, 2025

– Autumn School in Computational Logic: September 12-14, 2025

– Doctoral Consortium: September 12-14, 2025

– Logic Programming Contest: September 16 or 17, 2025

– International Symposium on Principles and Practice of Declarative Programming (PPDP 2025)

– International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025)

SUBMISSION DETAILS

All submissions must be written in English. Papers accepted at ICLP may appear either in

–   The journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials

–   The ICLP 2025 Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at: http://style.eptcs.org

Submissions may have one of two forms:

1) Regular papers and IJCAI Fast Track papers are at most 14 pages in TPLP format, including references. Accepted regular and IJCAI Fast Track papers will be published in a special issue of TPLP. IJCAI Fast Track papers must be accompanied by a PDF cover letter detailing:

–          The improvements made to the paper compared to the previous (IJCAI’25) submission, including clarifications on any perceived errors in the reviewers’ assessments, if applicable

–          The paper ID of the IJCAI’25 submission

–          The authors listed on the IJCAI’25 submission

–          The title of the IJCAI’25 submission

–          The original PDF submitted to IJCAI’25

–          The IJCAI’25 reviews, including scores and text evaluations

The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI’25 to share all submitted information with ICLP’25 to verify its accuracy. ICLP’25 may summarily reject papers for several reasons, including submissions that (a) are outside the thematic scope of ICLP, (b) inaccurately disclosed required information, or (c) omitted original authors without justification.

Regular papers that are not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP’25. The authors can choose to convert a regular paper accepted for the Technical Communication Proceedings into an extended abstract (2 or 3 pages in EPTCS format), which should allow for submitting a long paper version elsewhere.

2) Technical Communication (TC) papers are at most 12 pages in EPTCS format, excluding references. Accepted TC papers will be published in the Technical Communication Proceedings.

Submissions will be made via EasyChair, following the link https://easychair.org/conferences/?conf=iclp25

All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to Recently Published Research Track submissions as well as previously accepted workshop papers with a limited audience and/or without archival proceedings.

All accepted papers will be presented during the conference. Authors of accepted papers will be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost.

VENUE

ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy’s leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy ‘nduja, pasta, potatoes and exquisite desserts.

ORGANIZATION

General Chair: Francesco Ricca

Program Co-chairs: Martin Gebser and Daniela Inclezan

Publicity Chairs: Manuel Borroto and Francesco Calimeri

Local Chairs: Antonio Ielo and Giuseppe Mazzotta

PROGRAM COMMITTEE

TBA

27th International Symposium on Practical Aspects of Declarative Languages
(PADL 2025)

PADL 2025 – : The 27th International Symposium on Practical Aspects of Declarative Languages – POPL 2025 (sigplan.org)

Denver, Colorado, United States, January 20-21, 2025

Co-located with ACM POPL 2025 

Conference Description

Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming.

Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real world situations, ranging from database management to active networks to software engineering to decision support systems.

New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well.

PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving.

Topics of interest include, but are not limited to:

• Innovative applications of declarative languages
• Declarative domain-specific languages and applications
• Practical applications of theoretical results
• New language developments and their impact on applications
• Declarative languages and software engineering
• Evaluation of implementation techniques on practical applications
• Practical experiences and industrial applications
• Novel uses of declarative languages in the classroom
• Practical extensions such as constraint-based, probabilistic, and reactive languages

PADL 2025 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages.

PADL 2025 will take place on January 20th and 21st, 2025, as a physical (in-person) event. For each accepted paper at least one author is required to register for the conference and present the paper in person.

Important Dates

• Abstract submission: October 4, 2024 (AoE)
• Paper submission:    October 11, 2024 (AoE)
• Notification:        November 11, 2024
• Symposium:           January 20-21, 2025

Submissions

PADL 2025 welcomes regular papers (max. 15 pages) and short papers (max. 8 pages) that describe original and previously unpublished research results on

• complex and/or real-world applications in industry or in other areas of research, that rely on an innovative use of declarative languages,
• tools and/or systems developed for such applications, and/or to improve practical aspects of declarative languages,
• technical results related to the practical aspects of declarative languages.

Application and systems descriptions, engineering solutions, and real-world experiences (both positive and negative) are in particular solicited. Regular and short papers will be published in the formal proceedings.

PADL 2025 also welcomes extended abstracts (max. 3 pages) on the topics above, that describe new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication.

Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings.

All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see

Conference Proceedings guidelines | Springer | Springer — International Publisher

The review process of PADL 2025 is double-anonymous. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you.

Additional material intended for reviewers but not for publication in the final version -for example, details of proofs- may be placed in a clearly marked appendix that is not included in the page limit.

Reviewers are at liberty to ignore appendices and papers must be understandable without them.

Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use:

  \pagestyle{plain}

  \usepackage{lineno}

  \linenumbers

The conference proceedings of PADL 2025 will be published by Springer-Verlag in the Lecture Notes in Computer Science series.

Work that already appeared in unpublished or informally published Workshop proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Previous PADL proceedings can be found on SpringerLink.

Papers should be submitted electronically via EquinOCS (registration is required if you do not have an account): EquinOCS (springernature.com)

Distinguished Papers

The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP), and for papers related to functional programming, in Journal of Functional Programming (JFP). The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL.

PADL 2025 PC Co-Chairs

• Esra Erdem, Sabanci University, Turkey
• German Vidal, Universitat Politecnica de Valencia, Spain

Program Committee

TBD

Contact Addresses

esraerdem _AT_ sabanciuniv.edu

gvidal _AT_ dsic.upv.es

ALP has just completed the elections for new EC members and President.

The new ALP EC members are:

• Pedro Cabalar
• Martin Gebser
• Laura Giordano
• Theresa Swift

Enrico Pontelli  was elected as new President.

Congratulations to all and thanks to the EC outgoing members Andrea Formisano, Jose-F Morales, Tran Cao Son, Yuliya Lierler and to the past president Thomas Eiter for their coomittment and guide for the association in the last years.

Of course many thanks to Manuel Hermenegildo that implemented and supervised the election procedures and to all other candidates that were ready to help our association.

Agostino Dovier

October 11-17, University of Texas at Dallas

https://iclp24.utdallas.edu

SCOPE: Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:

• Theoretical Foundations: Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results.
• Language Design and Programming Methodologies: Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Answer Set Programming, Inductive Logic Programming, Coinductive Logic Programming
• Program Analysis and Optimization:
  Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs.
• Implementation Methodologies: Compilation, Parallel/distributed execution, Constraint
  implementation, Tabling, Logic-based prompt engineering, User interfaces.

IMPORTANT DATES

• Paper Registration May 6, 2024
• Submission deadline for regular papers, main/application tracks May 13, 2024
• Notification to authors June 19, 2024
• Revision deadline (when needed) July 8, 2024
• Submission deadline for short papers, main/application tracks, system demos, BOF meetings, and recently published research July 8, 2024
• Final notification July 22, 2024
• Final copy due August 5, 2024
• Main conference October 14-17, 2024

TRACKS AND SPECIAL SESSIONS

In addition to the main track, ICLP 2024 will host:

• Applications Track: invites submissions on emerging and deployed applications of LP, describing aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies, benchmarks, and lessons learned.
• Recently Published Research Track: provides a forum to discuss important recent results related to logic programming that have appeared (from January 2022 onward) in selective journals and conferences, but have not been presented at ICLP.
• System Demonstrations: We invite submissions to showcase logic programming systems in a live setting. This track is not designed for sales pitches. Rather demonstrations are a way for the community to see the relevance, potential, and innovation of the system and to allow time for discussion with its creator(s).
• Birds of a Feather (BoF) Sessions. We invite proposals for break-out sessions during ICLP to provide informal discussions for colleagues with similar interests in inclusive environments. BoFs are not intended to be presentations: proposers of BoF sessions should serve as discussion leaders only.

AFFILIATED EVENTS

• 2024 Autumn School in Computational Logic: October 11-12
• Workshops: October 12-13, 2024
• Doctoral Consortium and Mentoring Sessions: October 12-13, 2024 provides students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts, and participate in mentoring sessions on how to prepare for and succeed in a research career. Leaders in logic programming research from academia and industry give invitedtalks on their research areas. The best paper from the DC will be given the opportunity to make a presentation in the main ICLP conference.
• Logic Programming in Industry: October 14, 2024

SUBMISSION DETAILS

All submissions must be written in English. Papers accepted at ICLP may appear either in

• The journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at
  https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors

• The ICLP 24 Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at http://style.eptcs.org

All accepted papers will be presented during the conference. Authors of accepted papers will by default be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. The forms of submission are as follows.

• Main and Application Tracks All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. (These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings.) Main and Application track submissions may have one of two forms.
  • Regular papers are at most 14 pages in TPLP format, including references. Accepted regular papers will be published either in a special issue of TPLP or in the Technical Communication Proceedings of ICLP â€24. In the latter case, papers must be reformatted into EPTCS format and must not exceed 14 pages. Authors of Regular papers accepted as Technical Communications can convert their submissions into extended abstracts (2 or 3 pages in EPTCS format) which should allow authors to submit a long version elsewhere.
  • Short papers (7 pages in EPTCS format, including references). The accepted short papers will be published in the Technical Communication Proceedings.
• Recently Published Research Track We invite extended abstracts describing previously published research (from January 2022 onwards) in selective journals and conferences, that has not been previously presented at ICLP. The extended abstract should be 2-3 pages in EPTCS format and accompanied by a title page with (i) details on where the original paper appeared, (ii) a link to the original paper, (iii) a paragraph describing why the authors believe this work warrants a presentation at ICLP. The extended abstracts will be published in the Technical Communication Proceedings.
• System Demonstrations We invite extended abstracts (2 or 3 pages in EPTCS format) describing systems to be demonstrated in a session of ICLP. System demonstrations should provide highlights of the novel features of the system, along with information about how to access it. Accepted abstracts will be published in the Technical Communication Proceedings.
• Birds of a Feather (BoF) Proposals Finally we invite extended abstracts (2-3 pages in EPTCS format) that propose breakout sessions that may take place during the ICLP 24 conference. BOF proposals should motivate the relevance of the topic to logic programming, describe the expected audience, identify discussion leaders and their expertise, and provide a brief description of the activities during the session. BoF proposals should also describe the planned practices to promote inclusion and to foster attendee involvement.
  Accepted abstracts will be published in the Technical Communication Proceedings.

Submissions will be made via EasyChair. The submission Web page for ICLP2023 is
https://easychair.org/conferences/?conf=iclp2024

ORGANIZATION:

• Honorary General Chair: Doug DeGroot
• Program Co-chairs: Pedro Cabalar and Theresa Swift
• General Chair: Gopal Gupta

VENUE

ICLP24 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily).
Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience.

Language Features

ErgoAI allows a Prolog-like syntax but because it supports F-logic, it also allows an object-oriented, frame-based syntax with monotonic and non-monotonic inheritance. However, ErgoAI has numerous extensions beyond F-logic including

• Meta-programming, a.k.a. higher-order syntax, in the style of HiLog,
• Logical updates in the style of Transaction Logic, including
  • Support for Update Reactivity: the automatic updating of knowledge when underlying data changes;
  • Integrity constraints for all knowledge; and
  • Alerts that can execute arbitrarily complex actions upon updates.
• Defeasible reasoning over the well-founded semantics /with
  • Both explicit and default negation;
  • Designation of rules as either strict or defeasible; and
  • Prioritization and overriding of rules.
• Extensions of F-logic rule syntax and semantics including
  • General formulas in rule heads and bodies;
  • Annotations of rules through rule ids; and
  • User-defined functions.
• Application-oriented Features
  • Applications include intelligent agents, Semantic Web, knowledge-based networking, ontology management, integration of information, security policy analysis, and more.

ErgoAI can interact with or be embedded in applications written in several major languages, such as Python, Java, and C/C++; it can talk to databases and the Web; and it has connectors to virtually all major data formats like JSON, XML, and CSV.

Documentation, Examples, and Other Resources

ErgoAI comes with comprehensive documentation, tutorials, and Example Bank – a collection of advanced examples.

Getting Started

If you are new to ErgoAI, the best place to start is with the FAQ, ErgoAI Tutorial, and ErgoAI Studio Manual.

• The ErgoAI FAQ: Frequently Asked Questions about ErgoAI.
• The ErgoAI Reasoner User’s Manual is a comprehensive reference manual including ErgoAI language syntax, reasoning engine, debugging tools and more.
• The Guide to ErgoAI Packages provides all the details you will need to connect your ErgoAI knowledge base to the outside world.
• The ErgoAI Examples Bank provides runnable, annotated examples for a variety of tasks using ErgoAI to augment the basic examples found in ErgoAI Tutorial.
• The ErgoAI and XSB Users Forum is the place to post questions, find answers, share projects, and build collaboration.
• The ErgoAI Studio Manual: Explains how to use the graphical UI and the Integrated Development Environment (IDE). The IDE includes an interactive editor, explanation, and query windows, with navigation and debugging tools.

Finally, the XSB manuals are useful to those who need to supplement their knowledge bases with Prolog features that an experienced developer might need.

Tutorials

• The ErgoAI Tutorial: a set of lessons that introduces you to the fundamentals of authoring knowledge bases (a.k.a., rule-bases) in ErgoAI. It includes a number of worked examples with sample executable ErgoAI files. The tutorial provides an overview of the ErgoAI system from the basics to more advanced topics.

• Capturing Real World Knowledge in Ergo: this tutorial illustrates the process of capturing real world knowledge in ErgoAI, with the goal of enabling reasoning and question answering. The initial case study is drawn from the lecture notes of a course on knowledge representation taught at Stanford University in 2011. The knowledge source is the California Driver’s Handbook and the focus of the reasoning task is on knowledge that can be objectively and operationally used by the driver of a vehicle. Example files and step-by-step instructions for knowledge base creation are included.

   

Examples Bank

ErgoAI Example Bank provides users with runnable, annotated examples that illustrate the various advanced features of the Ergo Suite. Each folder contains an “About” document explaining the example as well as the example files themselves with both data and rules.

The examples include:

• Java and Python integration
• Defeasible reasoning
• Connecting ErgoAI to SQL databases
• RDF and OWL import
• Querying SPARQL endpoints
• Importing tabular data
• Importing XML
• Working with JSON
• Doing input and output
• ErgoText and Federal Regulation W

This is a living document and more categories of examples will be added. Suggestions from users on how to improve the examples or what additional examples would be of interest as well as user-contributed examples are welcome! Please email us with your thoughts and ideas. The examples could be both of the HOWTO type as well as domain-specific (e.g., e-commerce, e-learning).

Farmed fish disease diagnosis is an important problem in the fish farming industry, affecting quality of production and financial losses. In this paper, we present a web-based intelligent system that tackles the problem of fish disease diagnosis. To this end, it uses multiple knowledge representation and reasoning methods: rule-based, case-based, weight-based, and voting.
Knowledge, which concerns the diagnosis of sea bass diseases, was acquired from experts in the field and represented in the form of decision trees. The diagnostic process is performed in two stages: a general one and a specialized one. In the general stage, a level-based diagnosis is performed, where environmental parameters, external signs, and internal signs are successively examined, and the three most probable diseases are identified. In the specialized stage, which is optional, a specialized expert system is used for each of the resulting diseases, where additional parameters concerning laboratory tests (microbiological, microscopic, molecular, and chemical) are considered.
The general stage is the most useful, given that it can be performed on-site in real-time, whereas the specialized one requires time-consuming lab tests. The system also provides explanations for its decisions. Evaluation of the general-stage diagnostic process showed a top-3 accuracy of 78.79% on expert test cases and 94% on an artificial dataset.
Keywords: fish disease diagnosis; expert system; intelligent system; hybrid reasoning; rule-based reasoning; case-based reasoning; certainty factors; voting