paper-with-me

Papers

Declarative Learning-Based Programming as an Interface to AI Systems

2019-06-18 · Parisa Kordjamshidi, Dan Roth, Kristian Kersting

Data-driven approaches are becoming more common as problem-solving techniques in many areas of research and industry. In most cases, machine learning models are the key component of these solutions, but a solution involves multiple such models, along with significant levels of reasoning with the models' output and input. Current technologies do not make such techniques easy to use for application experts who are not fluent in machine learning nor for machine learning experts who aim at testing ideas and models on real-world data in the context of the overall AI system. We review key efforts made by various AI communities to provide languages for high-level abstractions over learning and reasoning techniques needed for designing complex AI systems. We classify the existing frameworks based on the type of techniques and the data and knowledge representations they use, provide a comparative study of the way they address the challenges of programming real-world applications, and highlight some shortcomings and future directions.

📄 PDF Abstract BibTeX arXiv:1906.07809

Code (0)

등록된 구현이 없습니다.

Tasks

BIG-bench Machine Learning

Similar Papers 제목 키워드 기반

From Imperative to Declarative: Towards LLM-friendly OS Interfaces for Boosted Computer-Use Agents

2025-10-06 · Yuan Wang, Mingyu Li, Haibo Chen arxiv

Computer-use agents (CUAs) powered by large language models (LLMs) have emerged as a promising approach to automating computer tasks, yet they struggle with the existing human-oriented OS interfaces - graphical user inte…

The External Interface for Extending WASP

2018-11-05 · Carmine Dodaro, Francesco Ricca

Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the Conflict-Driven Clause Learning (CDCL) backtracking s…

Proceedings 35th International Conference on Logic Programming (Technical Communications)

2019-09-17 · Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano 외

Since the first conference held 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 …

Automated Theorem ProvingData IntegrationInductive logic programmingManagement

Lowering the learning curve for declarative programming: a Python API for the IDP system

2015-11-03 · Joost Vennekens

Programmers may be hesitant to use declarative systems, because of the associated learning curve. In this paper, we present an API that integrates the IDP Knowledge Base system into the Python programming language. IDP i…

Proceedings 36th International Conference on Logic Programming (Technical Communications)

2020-09-19 · Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone 외

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related …

Automated Theorem ProvingData IntegrationInductive logic programming