Search Results - "Theory and Practice of Logic Programming"

ASP-Core-2 Input Language Format by CALIMERI, FRANCESCO, FABER, WOLFGANG, GEBSER, MARTIN, IANNI, GIOVAMBATTISTA, KAMINSKI, ROLAND, KRENNWALLNER, THOMAS, LEONE, NICOLA, MARATEA, MARCO, RICCA, FRANCESCO, SCHAUB, TORSTEN

“…Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the…”
Get full text

Multi-shot ASP solving with clingo by GEBSER, MARTIN, KAMINSKI, ROLAND, KAUFMANN, BENJAMIN, SCHAUB, TORSTEN

“…We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its…”
Get full text

Constraint Answer Set Programming without Grounding by ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in…”
Get full text

Inference and learning in probabilistic logic programs using weighted Boolean formulas by FIERENS, DAAN, VAN DEN BROECK, GUY, RENKENS, JORIS, SHTERIONOV, DIMITAR, GUTMANN, BERND, THON, INGO, JANSSENS, GERDA, DE RAEDT, LUC

“…Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. This paper investigates how classical inference…”
Get full text

Fifty Years of Prolog and Beyond by KÖRNER, PHILIPP, LEUSCHEL, MICHAEL, BARBOSA, JOÃO, COSTA, VÍTOR SANTOS, DAHL, VERÓNICA, HERMENEGILDO, MANUEL V., MORALES, JOSE F., WIELEMAKER, JAN, DIAZ, DANIEL, ABREU, SALVADOR, CIATTO, GIOVANNI

“…Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from…”
Get full text

SWI-Prolog by WIELEMAKER, JAN, SCHRIJVERS, TOM, TRISKA, MARKUS, LAGER, TORBJÖRN

“…SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its…”
Get full text

An ASP-based Solution to the Chemotherapy Treatment Scheduling problem by DODARO, CARMINE, GALATÁ, GIUSEPPE, GRIONI, ANDREA, MARATEA, MARCO, MOCHI, MARCO, PORRO, IVAN

“…The problem of scheduling chemotherapy treatments in oncology clinics is a complex problem, given that the solution has to satisfy (as much as possible)…”
Get full text

Answer Set Planning: A Survey by CAO TRAN, SON, PONTELLI, ENRICO, BALDUCCINI, MARCELLO, SCHAUB, TORSTEN

“…Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans , that is, solutions to planning problems, that transform a given state…”
Get full text

How to Build Your Own ASP-based System? by KAMINSKI, ROLAND, ROMERO, JAVIER, SCHAUB, TORSTEN, WANKO, PHILIPP

“…Answer Set Programming, or ASP for short, has become a popular and sophisticated approach to declarative problem solving. Its popularity is due to its…”
Get full text

Clingo goes linear constraints over reals and integers by JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTEN

“…The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We…”
Get full text

A Neuro-Symbolic ASP Pipeline for Visual Question Answering by EITER, THOMAS, HIGUERA, NELSON, OETSCH, JOHANNES, PRITZ, MICHAEL

“…We present a neuro-symbolic visual question answering (VQA) pipeline for CLEVR, which is a well-known dataset that consists of pictures showing scenes with…”
Get full text

Answering the “why” in answer set programming – A survey of explanation approaches by FANDINNO, JORGE, SCHULZ, CLAUDIA

“…Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming more and more complex, leading to a decrease in the…”
Get full text

sm ProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation by TOTIS, PIETRO, DE RAEDT, LUC, KIMMIG, ANGELIKA

“…Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information…”
Get full text

Analysis and Transformation of Constrained Horn Clauses for Program Verification by DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, GALLAGHER, JOHN P., HERMENEGILDO, MANUEL V., PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

“…This paper surveys recent work on applying analysis and transformation techniques that originate in the field of constraint logic programming (CLP) to the…”
Get full text

Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications by CAUTERUCCIO, FRANCESCO, TERRACINA, GIORGIO

“…Detecting sets of relevant patterns from a given dataset is an important challenge in data mining. The relevance of a pattern, also called utility in the…”
Get full text

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL by Giordano, Laura, Theseider Dupré, Daniele

“…In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with…”
Get full text

The Seventh Answer Set Programming Competition: Design and Results by GEBSER, MARTIN, MARATEA, MARCO, RICCA, FRANCESCO

“…Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP…”
Get full text

Verifying Tight Logic Programs with anthem and vampire by FANDINNO, JORGE, LIFSCHITZ, VLADIMIR, LÜHNE, PATRICK, SCHAUB, TORSTEN

“…This paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories. We extend the definition of…”
Get full text

Abstract gringo by GEBSER, MARTIN, HARRISON, AMELIA, KAMINSKI, ROLAND, LIFSCHITZ, VLADIMIR, SCHAUB, TORSTEN

“…This paper defines the syntax and semantics of the input language of the ASP grounder gringo. The definition covers several constructs that were not discussed…”
Get full text

Conflict-Driven Inductive Logic Programming by LAW, MARK

“…The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples. Until recently, most research on ILP targeted learning…”
Get full text